• 2 A Critical Look at Lean4 (lesswrong.com)
  by demibabs 10 hours ago | discuss
• 2 Leonardo da Vinci Was Jewish (tabletmag.com)
  by paulpauper 10 hours ago | discuss
• 2 DuckDB: Variant Type (duckdb.org)
  by tosh 10 hours ago | discuss
• 1 Show HN: CLI-Dispatch – Delegate Claude Code Tasks to Codex, Gemini, DeepSeek (github.com)
  by rbinar 10 hours ago | discuss
• 2 The company brain and why it's hard (productnow.ai)
  by kadhirvelm 10 hours ago | 1 comments
• 1 Show HN: Barc(l)ode Battler as a Mobile Webapp (kelu124.github.io)
  by kelu124 10 hours ago | discuss
• 2 Ask HN: How would it affect you if 8.8.8.8 service was terminated immediately? (undefined)
  by _justme 10 hours ago | 2 comments ask
• 6 The clitoris is getting the attention it deserves (theguardian.com)
  by snarky-comments 10 hours ago | 2 comments
• 2 The Seawater Greenhouse, an idea for inexpensive solar driven desalination? (en.wikipedia.org)
  by orac81 10 hours ago | 1 comments
• 2 TeXposit is going open source, and we are looking for early reviewers (texposit.com)
  by dszb 10 hours ago | discuss
• 3 Build, debug and hot-reload iPhone apps on Omarchy (github.com)
  by librasteve 10 hours ago | 2 comments
• 2 Prompt injection through log files: what red-teaming our assistant found (jl3-cloud.site)
  by oazizjon 10 hours ago | discuss
• 3 Data Centers Could Swallow Acres of Land Across 3 States (gadgetreview.com)
  by PicardManeuver 10 hours ago | discuss
• 3 Developer of AI driving instructor is spending $1k/month to keep demo running (pcgamer.com)
  by theanonymousone 11 hours ago | discuss
• 1 Celesto is hiring for growth engineer or DevRel (x.com)
  by theaniketmaurya 11 hours ago | 1 comments
• 1 Show HN: Tilefinch – a from-scratch* web browser for the PSP (333Mhz, 64MB RAM) (github.com)
  by stjanovitz 11 hours ago | discuss
• 2 Python 3.14 vs. Python 3.15 – performance testing (en.lewoniewski.info)
  by theanonymousone 11 hours ago | discuss
• 3 Steffen Skjottelvik's Journey Across Canada Came to a Tragic End (nytimes.com)
  by mooreds 11 hours ago | discuss
• 5 Open Knowledge Graphs (openknowledgegraphs.com)
  by mooreds 11 hours ago | discuss
• 1 Self-improving RLM agent for coding workflows and long-running autonomous tasks (github.com)
  by mooreds 11 hours ago | discuss
• 3 Show HN: HarmoNova: A modern, customizable Hacker News reader for Chrome (github.com)
  by chaosmanage 11 hours ago | 6 comments
• 3 PubMed.gov using BiomedBERT to explore connections between research articles (linkeddiscoveries.ncbi.nlm.nih.gov)
  by foehrenwald 11 hours ago | discuss
• 1 A global, hardwired pause of frontier AI training is feasible, says new report (news.berkeley.edu)
  by geox 11 hours ago | discuss
• 2 Which Chrome extension is the best for saving ChatGPT chats as PDF files? (undefined)
  by quantum_and_neu 11 hours ago | discuss
• 2 Show HN: Kindlefall a 3D ARPG in the browser, built with Three.js (kindlefall.com)
  by djbiccboii 11 hours ago | 1 comments
• 2 The Holy Grail in AI Marketing Will Make Everything Wonderfully Terrible (hastalavista.ai)
  by alleyio 11 hours ago | discuss
• 3 Stellantis bets on small affordable EVs for European comeback (reuters.com)
  by alephnerd 11 hours ago | 1 comments
• 96 Chapter 1 of "Ways of Seeing" by John Berger (1972) (ways-of-seeing.com)
  by rafael859 11 hours ago | 15 comments
• 1 Show HN: SupplyVision – I made meta-search for independent fashion retailers (supplyvision.app)
  by brachkow 11 hours ago | discuss
• 2 Show HN: I added optional chaining to CPython (github.com)
  by grandimam 11 hours ago | discuss