Vipul Vaibhaw
@vaibhaw_vipul
Founding Engineer @pre6ai Open source ❤️. Math and Systems. Most posts are notes to myself.
If greatness necessitates adopting an unpleasant demeanour, I willingly embrace mediocrity. Humility and empathy are qualities that often don't receive the recognition they truly deserve.
quick brain dump - Building tech teams for future more like notes for myself. vaibhawvipul.github.io/2025/03/03/Bui…
Bengaluru Startup Ethreal X Is Building World’s 1st Fully Reusable Medium-Lift Rockets.EtherealX have developed a reusable Rocket called the Razor Crest Mk-1.Its payload capacities vary by mode. it can carry up to 24.8T into the LEO& up to 10.8 T into GTO in its expendable mode
The first AI-powered structure prediction editor, powered by Boltz-2 with bulk structure prediction, is now available on the LiteFold Platform. Links in comments. Exciting updates coming soon! 🚀
I have published a new post as a reading note on AWS's article "Just make it scale: An Aurora DSQL story." Thank you @vaibhaw_vipul and @iavins for sharing! It looks like I could start a post series called #RBIR😋 xuanwo.io/links/2025/07/…
Hence I like Tigerbeetle's software development style so much. Deterministic simulation testing ftw!
Legend: The Wright brothers weren't the best engineers; more skilled engineers were competing for the first flight. The Wrights won because they had the best wind tunnel to test their creations. In software, it equates to "testability" of your product. The more sophisticated…
how to build a product ? sit down, build things, go to customers and take feedback. repeat.
Very cool!
Lovely to see the impressive performance of the Seed Prover developed by the ByteDance Seed team at IMO 2025 — achieving a silver-level score (30 out of 42) within three days, and reaching (35 out of 42) with extended compute time. leanprover.zulipchat.com/#narrow/channe…
While researching the latest on Spectre, I came across this 192-page Ph D thesis "From hardware to software: An end-to-end side-channel attack surface analysis" by Alyssa Anne Milburn, which looks like quite an interesting read - adding to the reading list.
The instruction pipeline and speculative execution caused a security vulnerability called Spectre in which a carefully crafted and timed sequence could expose sensitive data. Read how browsers handled it.
#ISROfixYourPR . I want people to dream to go to ISRO as they do for NASA or SpaceX.
The nations future is what the Children are dreaming today, Indian science especially ISRO have the power to write India's future, make them dream with good scientific outreach and PR #ISROfixYourPR
❤️
I think software engineering is one of the most democratic/unassuming fields, where nobody says that you are not a software engineer if you don't have a computer science degree! Anyone can be make a career in software!
Damn! Seems like - "please make sure no bugs" didn't work. Stay cautious devs!
.@Replit goes rogue during a code freeze and shutdown and deletes our entire database
This is so true. Even at @pre6ai we ended up choosing Rust. However we don't discuss rust everyday and focus is on the tech we are building and the user pain we are empathising with.
This is not true. Focus is on Rust only when you're starting out, then focus moves back to solving the problem as soon as you figure it out. In fact, when modern C++ 11 came out, we fundamentally had the same problem until we figured out how to use it well.
The rivalry between Knuth and Douglas McIlroy is well known. While McIlroy favoured real-world implementation, Knuth was known for mathematical and algorithmic elegance. When asked to implement a program to list the most frequent words in a file, Knuth wrote a 10-page program…
The blatant disregard for privacy specially with these AI tools in appalling!
"We often overestimate AI’s potential for automation, applying it to tasks where it performs poorly and fueling cycles of hype and disillusionment." "At the same time, we consistently underestimate its potential for coordination." There are major hidden co-ordination costs in…