Longtime friends Max von Hippel and Juan Castaño created Benchify to make code debugging easier. And after securing more than half a million dollars in startup funding in 2024, they're well on their way. Read more at: khoury.northeastern.edu/this-tool-find…

Benchify (YC S24) used Porter to seamlessly migrate from GCP to AWS and now run their apps on scalable infra with no DevOps overhead. Looking to reduce time spent on DevOps so you can focus on product engineering? Redeem the Porter startup deal 👉porter.run/for-seed-stage…

Gonna set up some test with Benchify)

The #BostonComputationClub just hosted Joshua Ramette for a discussion about Undermind, his new search engine for academic research. Check out the talk here: youtu.be/abq7hNMbhfY and you can see a demo in my (very niche) research area here: undermind.ai/query_app/disp…

This is the most exciting FM problem I've worked on in the last 5+ years. Very excited to get this into customers' hands -- particular customers who don't know, and don't even want to know, what FM is! #FormalMethods

Thank you Galois! I'm excited to see what's next :)