🦞🌯 Lobster Roll

Stories by logicchains

Sarvam 105B, the first competitive Indian open source LLM (sarvam.ai)
HN 179 pts 63 comments by logicchains 5d ago AI / Machine LearningProgramming (General) thread
Israel targets Hamas leadership in Qatar strike (cnn.com)
HN 10 pts 0 comments by logicchains Sep 9, 2025 thread
French defence firm Naval Group investigates cyber leak (ft.com)
HN 5 pts 0 comments by logicchains Jul 27, 2025 thread
AxiomProver Solves All Problems at Putnam 2025: Proof Release and Commentary (axiommath.ai)
HN 2 pts 0 comments by logicchains Jan 10, 2026 thread