< prev 2 / 10 more >

• 189Verification Is Not Knowledge: Science needs more than answers (blog.cosmos-institute.org)
  by ersinesen9 hours ago | 20 comments
• 188Kimi K3.1 Pro model weights are out (huggingface.co)
  by abrarthought3 hours ago | 10 comments
• 66Evergreen: A Provably Safe Systems Language (evergreenlang.net)
  by jordan_bonecut3 hours ago | 6 comments
• 70Tencent Hy4 (hy.tencent.ai)
  by Philpax4 hours ago | 8 comments
• 218Incident with Pull Requests, Git Operations and Issues (githubstatus.com)
  by kevcampb8 hours ago | 34 comments
• 504Tell HN: Gemini trains on chat history, even for subscribers (personal accounts)
  by jameslk8 hours ago | 61 comments
• 40This Month in Ladybird – October 2026 (ladybird.org)
  by BitPirate58 minutes ago | 4 comments
• 410Jelly Sheet (mrdoob.github.io)
  by memalign15 hours ago | 32 comments
• 10Benchfmt.rs: Bringing Go's benchmarking and benchstat workflow to Rust (bwplotka.dev)
  by witcher37 minutes ago | 2 comments
• 26Letting users trust their own MCP clients, without opening a phishing hole (streamvessel.com)
  by isalexlog3 hours ago | 5 comments

< prev 2 / 10 more >