Sayan Mitra

CEO & Co-founder @ Atrisa (YC P26)

[Sayan Mitra @Cyan9800]

In Gödel's letter to Von Neumann, Gödel describes a proof machine using a verifier. The idea of the brute force technique is to check all possible strings of length 'n' and check if it proves statement F.

Gödel was interested in a machine that does better than brute force. He stated that such a machine "would have consequences of the greatest importance".

I think we've already achieved this with LLM rollouts + lean. Not sure how consequential it was tho.

[Sayan Mitra @Cyan9800]

Dreams are just synthetic data that your brain RL trains you on

[Y Combinator @ycombinator]

Refortifai is building Atrisa, agents for analog circuit design.

It reasons hierarchically about your circuit, finds the right topologies for your specs, and does deep-dive debugging — all with awareness of parasitics, physical layout, reusability, and interference. Bring your existing PDKs, design docs, and toolkit and Atrisa will understand and adopt them.

Congrats on the launch, @Cyan9800, @RithikWasHere, and @AtmanKar!

https://t.co/bxNiLrnJxl

[Sayan Mitra @Cyan9800]

@gagansaluja08 @FFmpeg @AnthropicAI I'm fairly certain they just asked claude to commit as a human after it patches the vulnerabilities

[Sayan Mitra @Cyan9800]

@rogovmtlz “Interested” in everyone’s feed 🐒

[Sayan Mitra @Cyan9800]

Society if LinkedIn would stop publicising every little thing I did to all my connections >>>>>>

[Sayan Mitra @Cyan9800]

@RapidoCares No

[Sayan Mitra @Cyan9800]

Why do all my rapido bike rides feel like it’s going to be my last ride?
And not cause I’m going to stop using the app

[Sayan Mitra @Cyan9800]

@Viciousdove19 10 minutes of competitive coding makes this generation wanna gather up dem comrades

[Sayan Mitra @Cyan9800]

@Viciousdove19 Commenting for better reach

[Sayan Mitra @Cyan9800]

@N3rdyP3pp3r What a cyclone maga

[Sayan Mitra @Cyan9800]

@shivangi29699 We gave it back

[Sayan Mitra @Cyan9800]

U know what grinds my gears, its freaking diwali and its raining in Bangalore...... This sucks. #Diwali #rain #BangaloreRain