- 2Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving (arxiv.org)
- 2Refrigerator Hibernation for Tortoises and Turtles (tortoisetrust.org)
- 2Ask HN: How do you personally evaluate new LLM models? ()
ask - 1We Built an Auto-Aiming Trash Can [video] (youtube.com)
- 5Mastercard denies pressuring game platforms, Valve tells a different story (techcrunch.com)
- 3Next-gen digital loyalty and automated marketing for small businesses (chckn.app)
- 1Render your Jupyter notebooks in OpenGist (blog.fabiomanganiello.com)
- 2I'm working to switch from wget to curl (due to Fedora) (utcc.utoronto.ca)
- 1Harry K. Daghlian, Jr.: America's First Peacetime Atom Bomb Fatality (members.tripod.com)
- 4Ocean Darkening Is Causing Marine Habitats to Shrink (sevenseasmedia.org)
- 2Show HN: Andre – A privacy-first, location-aware assistant that helps you (andreapp.org)
- 41Learnable Programming (2012) (worrydream.com)
- 44Names are not type safety (2020) (lexi-lambda.github.io)
- 121How to grow almost anything (howtogrowalmostanything.notion.site)
- 2SubtitleWise – Complete Subtitle Management Suite and Translation (subtitlewise.com)
- 2Writers Jam (writersjam.shantaram.xyz)
- 1What does AI progress mean for medical progress? (blog.jacobtrefethen.com)
- 1Ask HN: Can no-code AI workflow tools replace runbooks? ()
ask - 4AnyCable for Laravel: reliable WebSocket infrastructure (evilmartians.com)
- 133A study of lights at night suggests dictators lie about economic growth (2022) (economist.com)
- 10Google users are less likely to click on links when an AI summary is in results (pewresearch.org)
- 1Private and HIPAA Compliant LLM Summarizer for Apple Health's Medical Records (timeline.yari.care)
- 1AI Automation Tools: The Future of Web Development (github.com)
- 3The Responsibility of Engineers in the Age of AI (julien.ch)
- 4Can AI 'Feel' Guilt? (sciencenews.org)
- 3Crustal faulting drives biological redox cycling in the deep subsurface (science.org)
- 3Do photons take all paths or not? (physics.stackexchange.com)
- 3Little Dig Game (little-dig-ga.me)
- 6Figma CEO's path from college dropout and Thiel fellow to tech billionaire (cnbc.com)
- 44Human speech may have a universal transmission rate (2019) (science.org)