Vivek Singh

while i'm quite bullish on formal methods, i think it's worth tempering expectations and doing your own research on it (disclaimer: i am not an expert in it). it cannot guarantee your code is bug free, only that it matches the spec under certain assumptions, and the specs come from what people want, not math. as long as we build software for humans, nothing can prove that your spec is right, only you can judge. i created the /statechart skill in pstack primarily because it helps make the state machines implicit in your code more obvious and legible to you, so you can shrink the review surface and review the work at a higher level: does it actually match your intent and goal? i used this skill a ton while building my game tibo.dog, below you can see the statechart for story mode where i was able to find many bugs with it. in that sense, i think model checking (eg TLA+ with TLC) is quite useful for understanding and checking properties of your system e2e, and you don't have to write tons of new verification code for it. the spec isn't your actual code so there's always a risk of drift, but so far i've had good experiences finding actual bugs with it. i tend to pair it with empirical verification (running the code) also to confirm it's real other types of formal verification like proving theorems (eg Lean, Dafny), bounded model checking (eg CBMC, Kani) etc have their own tradeoffs. proofs cover every possible input, but only for the properties specified, and it takes a lot more code/work. bounded model checking can run on your actual code, which avoids drift, but it only checks up to a certain number of steps, so it's better at finding bugs than proving there aren't any so i think in the near-medium term you'll still need to layer your codebase: constraints and guardrails (types, lint rules, api design, refactoring), empirical verification (tests, evals, real usage), and formal verification for the parts that really need it. none of these catch everything on their own, but layered together, they catch a lot more and shrink what's left for you to review but also maybe in the limit, the bitter lesson will prevail and flawless code will just be printed out perfectly every time with no bugs. even in that scenario, /statechart still seems very helpful in confirming that the agent understood your intent correctly. give it a try if you haven't already! github.com/cursor/plugins/tr…

Dead cat bounce is dead now ? Seems like nifty can outperform Small-cap index for sometime now

A Stockal Investor Says Her Long-Term Investments Were Sold Without Consent. Here's Her Story Speaking exclusively to NDTV Profit, the investor recounts how alleged unauthorised trades unfolded, contributing to claims of more than ₹100 crore in losses across affected accounts. @TamannaInamdar @niraj_shah @alexandermats

If you use inferior models, home grown harness, and app - with each choice you lose a significant % productivity. You may be at 50-100% disadvantage just based on these choices. It may get levelled in future, but that is few years away.

By building all three, i.e. model, harness, and app - Claude, especially Claude Code, is setting itself to be a premium offering like Apple did with iPhone. "Don't think too much just use Claude"

GPUs are aging like fine wine, with rental rates up across the board since January 1st Approximate change YTD: - H200: +160% - B200: +120% - RTX PRO 6000: +65% - H100: +35% Even the 6-year-old A100 rents for more than it did at the start of the year Charts of the Week: a16z.news/p/charts-of-the-we…

Years of lecturing Pakistanis about patriotism, sacrifice and national security. Now the former Army Chief is reportedly enjoying life in Europe. The generals preach love for Pakistan, but seem to prefer life outside it. @sneheshphilip @Falcon_24Off nitter.gq/SilentBriefHQ1/status/…

Analysts claiming they cover 200–300 stocks and understand each of them well are basically as good as reading a company’s screener page and calling it research. You can track 200 stocks. But understanding the nuances, industry dynamics, management behaviour, and valuation of all 200?

Product velocity up 30%-40% due to AI use $C

this is quite possible and this is what ai-bubble narrative is getting wrong.