Krishna Vishal

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

@betterclever @amuldotexe Friendly neighborhood RustMan

Hypothesis: I do not want anyone else to save the world, hence I will rewrite in libraries in Rust completely on my own

Build @measure_sh as an open source mobile app monitoring platform. Use @ApacheIggy for ingesting crazy amounts of mobile telemetry data. Run into issues. Iggy maintainer drops into our repo. Stress tests 3 million events. Tells us how to improve perf. Open source is ❤️

@amuldotexe They are gonna start their dev arch soon.

Just realized my parents are subscribed to my newsletter via their emails 🤦‍♂️🤦‍♂️

@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