• 1 Bennett's Conjecture in Lean 4: Counter-Models of Spinoza's Propositions (arxiv.org)
  by wslh 4 hours ago | discuss
• 1 Unfinished Business with 1-Bit Audio Chords (bumbershootsoft.wordpress.com)
  by ibobev 4 hours ago | discuss
• 1 Six months running my own trading system on a real account (romainfx.substack.com)
  by QSignalFX 4 hours ago | 1 comments
• 1 Show HN: Sixup – IPv6 routing in one binary, replaces odhcp6c/radvd/odhcpd/ndppd (github.com)
  by lqs_ 4 hours ago | discuss
• 1 Shakti (shakti.com)
  by merriman-xyz 4 hours ago | discuss
• 1 Show HN: Griz`: a faster, more token efficient way to edit files (twitter.com)
  by douglaswlance 4 hours ago | discuss
• 1 Is There a Monster in the Data Lake? (read.misalignedmag.com)
  by lcubw 4 hours ago | 1 comments
• 1 Orphanedfilms: Open-Source Movie Browser for the Internet Archive (archive-movie-browser.vercel.app)
  by toomuchtodo 4 hours ago | 1 comments
• 4 Forging 1024-bit RSA signatures in nearly SNFS time [pdf] (eprint.iacr.org)
  by int0x29 4 hours ago | discuss
• 2 What are the odds that AI will affect the election?
  by hsnewman 4 hours ago | 2 comments
• 1 Show HN: Panda Stretch, 1 minute stretches for who sit all day (panda-stretch.com)
  by lawChainHot 4 hours ago | discuss
• 1 Chats: How Lovable's Agents Work Together (lovable.dev)
  by oscarfr 4 hours ago | discuss
• 1 Dear AI Agent Swarms (smales.com)
  by andrewcastmate 4 hours ago | discuss
• 1 Pedlars and Pedlary Entrepreneurs (pedlars.info)
  by Bluestein 4 hours ago | discuss
• 1 Lingo – open-source Android app for smart glasses, Shokz, and a smartwatch (github.com)
  by 7dollarbooksdev 4 hours ago | discuss
• 1 The Golden Spike, and Resurrecting the Vale(n) Programming Language (verdagon.dev)
  by surprisetalk 4 hours ago | discuss
• 4 Show HN: I'm crawling 11k homepages every week to track which fonts they use (fontsovertime.com)
  by fcjr 4 hours ago | 1 comments
• 1 Novo CEO sees advantages in souping up NYSE listing: report (fiercepharma.com)
  by PaulHoule 4 hours ago | discuss
• 1 Gov.uk founder warns AI gold rush could leave Britain locked in (theregister.com)
  by TMWNN 4 hours ago | discuss
• 1 Show HN: PippinVR – open-source Virtual Screen environment for macOS (github.com)
  by Whigmal 4 hours ago | discuss
• 4 Give me feedback for my birthday (ericallen.io)
  by iEricAllen 4 hours ago | 6 comments
• 3 Sam Altman's Remarks at the United Nations Security Council (openai.com)
  by ksec 4 hours ago | 1 comments
• 3 Paperclip meta-harness for your agents (paperclip.ing)
  by FloatArtifact 4 hours ago | discuss
• 1 Australian PM says OpenAI hacked government health website (yahoo.com)
  by pseudolus 4 hours ago | 1 comments
• 1 The broken windows theory of coding agents (manager.dev)
  by flail 4 hours ago | discuss
• 2 Fearless SIMD v1.0 is here (linebender.org)
  by robin_reala 4 hours ago | discuss
• 1 War with a Mate [audio] (warwithamate.co.uk)
  by mooreds 4 hours ago | discuss
• 1 Show HN: Wb-flow – Multi-agent CLI where state lives in Markdown, not context (flow.wbc-ui.com)
  by wissemb1 4 hours ago | discuss
• 2 Show HN: Jexxa – On Device Dictation, Now with Perpetual License (jexxa.org)
  by sankde 4 hours ago | 1 comments
• 138 Best LLM for every budget, updated daily (bestmodelforyourbudget.terrydjony.com)
  by terryds 4 hours ago | 90 comments