Krishna Vishal

That's me. From being an ML Engineer to contributing to a DB project. Never imagined this timeline but here we go.

@asc89 @GTB52895442 @jsensarma Met some compiler chads from VJTI a couple of years ago.

If IITs/IIScs et al had some seats on auction (with min. bar on 12 grade marks) - some such students would study here. The Univs would make ₹₹₹ + other students would benefit from better infra as well. But that would violate socialism/equity - so better they & $$$ go abroad.

@jsensarma I recently ate Dussehri for the first time. Its alright. Doesn't beat properly ripened Banganpalli though. Also some people like mangoes that you can cut into pieces. Mangoes that you can squeeze have off putting odor to some.

Banganphalli lovers - this mango is called "Safeda" in the North. Trust me - no one in the North cares two cents for Safedas. Dussehris, Langdas, Chosas - that's where it's at. Revise your choices appropriately (coincidentally, Mallika is a Dussehri hybrid)

Apache Iggy just hit 100+ contributors! Thanks to every one of you. The community keeps growing. github.com/apache/iggy #iggy #rust #apache #asf #messaging #streaming #opensource

@jorandirkgreef How important is static memory allocation when implementing a consensus algorithm and building DST to test it? What surface of bugs does static memory allocation prevent?

We’ve had on the order of 3 memory bugs in 6 years of TigerBeetle. None RCEs. On the other hand, our own simulators have proactively found hundreds of (devastatingly catastrophic) distributed systems correctness bugs per year. Given how hard TigerBeetle’s domain is, in terms of mission critical financial transaction processing, I’ve never for one minute believed that writing TB in a memory safe language such as say TypeScript would somehow magically (!) make any material impact compared to the 100x correctness multiplier of TigerStyle. That’s because—rather than fall for the fallacy of composition, i.e. to see distributed correctness as a language problem—TigerStyle instead takes ultimate responsibility for the “end to end” correctness of the distributed system as a whole. Per systems engineering, correctness is always a systems design problem. For example, how to build a reliable whole, (especially) out of unreliable parts, such as broken firmware, bitrot, programmer error etc. In other words, application of the end to end principle. But when you TigerStyle the design in this way, the world of systems engineering also completely opens up to you and changes how you evaluate systems languages (now things like “power to grammar ratio”, or explicitness, checked arithmetic and precision become more critical and valuable to you). Of course, it is harder to care about correctness, to take responsibility for correctness end to end. Yes, you’re forced to begin to worry about the more serious concerns, starting with the basics of static allocation, explicit limits, assertions, deterministic simulation testing and moving to more advanced topics like protocol-awareness and storage fault-tolerance. But then again, TigerStyle is such a force multiplier, that you achieve mission critical quality, and in less time and with greater velocity. If you’re tired of production issues, and if you want to “engineer your engineering”, I would encourage you to lift up your thinking to the level of systems design and end to end correctness. Start thinking about your methodology and begin embracing TigerStyle. tigerstyle.dev

@WhoKnowsReality @Harinani_ @IndianTechGuide Nuvvu kuda RB-1 ena bro?

@Harinani_ @IndianTechGuide Maa old inter college lone chadivadu. Maa dean cheppe vaadu, neeku emaina kavala ani adigithe Pawan Kalyan ni kalavali ani cheppadu ani

🚨 IIT-JEE AIR 1 toppers current status. 2000 - Professor at IIT Kanpur 2001 - Google employee 2002 - Oracle employee 2003 - VP at Deutsche Bank 2004 - OpenAI researcher 2005 - Professor at TIFR Mumbai 2006 - Reader in Physics at ICTS 2007 - Morgan Stanley director 2008 - Co-founder of Osfin 2009 - Atlassian employee 2010 - Researcher at ETH Zurich 2011 - IAS officer 2012 - Strategist at Tower Research 2013 - recently finished Postdoctoral 2014 - Researcher at University of Penn 2015 - Cadence employee 2016 - WisdomAI employee 2017 - Trader at Optiver 2018 - Trader at Jane Street 2019 - Samsung employee 2020 - masters at MIT 2021 - Tower research employee 2022 - currently at IISc Bengaluru 2023 - IIT Bombay CSE

Show, don't tell. Apache Iggy benchmarks - refactored, reproducible, and transparent. benchmarks.iggy.apache.org #iggy #rust #apache #asf #oss #streaming #messaging #benchmarks

Everywhere I go, people keep commenting on how wild it is that I have something working with us straight from *prison*. Well, no longer. Tomorrow, at 8 am in the morning, @PThorpe92 is a free man. Preston is an inspiration to us all. He achieved so much from behind bars. I am sure he will go even higher as a free man.

I'm extremely happy to announce that this year I'll have the chance to speak at the top-tier, performance-oriented #P99CONF 🚀

@This_Liss @amuldotexe

Had a Jane Street phone interview in 2016. "Price a 6-month forward on carrots." There's no carrot futures market, so I build one from scratch: seasonal harvest cycles, USDA demand elasticity, cold storage decay rates. One trader stops me. "Your storage cost function– you're modeling the carrot as dead inventory. Like grain in a silo." He asks me the metabolic respiration rate of a post-harvest carrot at 2°C. I estimate. "Your forward is overpriced by exactly that shrinkage. The underlying is consuming its own sugars. It's alive." Good correction. I adjust the model. I think I've recovered. Rejection email comes the next morning. Subject: "Ethical Review." My framework, they write, "relied on the severance of the root organism from its growth medium." The question about respiration was a test. The carrot was still alive and I'd built an entire derivatives structure on top of its death without questioning whether harvest was an acceptable act. I pull up the recruiter's original email. It doesn't say Jane Street. It says Jain Street– a non-violent quantitative commodities fund. The carrot was never supposed to be priced. It was supposed to be refused. I later learn the only candidate who passed that round was a former monk from Gujarat who sat in silence for eleven minutes and said, "I cannot put a price on life." He's now a partner.

@criccomini I've heard of it. My interest in quint is that it has a lot of Rust tooling and made my exploration into formal methods easier.

@EigenVectorizer Oh interesting. Haven’t heard of quint. Have you checked FizzBee?

Spent the past week on SlateDB's DST harness. It was a bit of a slog. The more state I explored, the more false positives I encountered. rng.md/posts/determin…

Same. Anyone in the DB space who might be looking to bring on an entry level DBMS developer with real open source experience on a greenfield DB, @pavan4820 is by far one of our most valuable contributors and has got us for thousands of dollars in rewards from the turso bug bounty

Every millisecond counts with @EigenVectorizer.

🚀 Apache Iggy 0.8.0 is out! Wire protocol rewrite, persistent WAL journal, new shard architecture, stronger security, SDK & connectors progress. Clustering keeps accelerating. iggy.apache.org/blogs/2026/04/… #iggy #rust #io_uring #vsr #apache #asf #streaming

I wrote a little bit about how I've been designing my engine with zero-copy page access. Two problems to solve: - Copy at the OS boundary - Fresh copies from buffer pool into higher layers Thank you to @EigenVectorizer and @debasishg for reviewing a draft.

@dejavucoder Atleast for now.

engineers into designing data intensive applications trying to escape the permanent underclass by staying ahead of claude and codex in a few niche areas

@amuldotexe You transitioned from wordsmith to codesmith i.e you started taking action. The universe responded accordingly.

I thought me being on a sabbatical and being unemployed, I'll get dunked on more, but surprisingly, almost everybody who dunked on me in 2024 and 2025 is not at all dunking on me in 2026. What has happened? Has the world become more nuanced, or has everybody become more mature? I don't know what happened. Maybe the Twitter suspension of one month changed the whole game, did it?

@amuldotexe 🙏🫶

There are 2 extremes: - over consumption - underconsumption or learning only from observations both are all or nothing thinking, can go in phases, I think there's this "I am better than everyone" ego which often doesn't want us to have levity & call people a guru and they don't have to be elder to you, you can learn from interesting people and try to copy them I want to read code like my friend @EigenVectorizer who is almost a decade behind me in age I want to be as high agency as @Siddhant_K_code who is even younger and you should look at him independently create stuff with a maturity that is a decade beyond him I want to be as consistent as @theonlynabarun - his single minded focus on a single project & a vertical growth is something I want to emulate I want to be as creative & unhindered as @divyatakart in the way she operates I can go on and on point is people are better than you and you can learn from them don't feel shame in that hypothesis: extreme stance of not being able to see people as better than you is likely just ego playing its little game

92% improvement in P9999 latency. 4 GB/s consumer throughput. One node. 🚀 How? By building @ApacheIggy entirely in Rust. Join @EigenVectorizer from @laserdatainc at #RustIndia2026 for a deep dive into: ✅ Why they swapped tokio_rs for io_uring ✅ Zero-copy serialization strategies ✅ Handling RefCell hurdles in async Rust ✅ The move to Viewstamped Replication (VSR) The schedule is officially LIVE! Grab your tickets! hasgeek.com/rustbangalore/… #rust #rustlang #RustIndia #conference #bengaluru #hasgeek

the best kept secret about nordic cuisine is that it all sucks