Gauss, an Agent for Autoformalization (math.inc)
10 points by auggierose 16 hours ago | 1 comment
151Full Moon: Seestar S50 vs. Samsung S25 (4rknova.com)
42 points by ibobev 5 days ago | 35 comments
152The Helix Text Editor (2024) (jonathan-frere.com)
107 points by gidellav 5 days ago | 57 comments
153Ask HN: Getting over Burnout with Imposter Syndrome
12 points by chrsig 11 hours ago | 2 comments
154Launch HN: Ghostship (YC S25) – AI agents that find bugs in your web app
51 points by jessechoe10 2 days ago | 22 comments
155Device enabling dogs to form sentences (hungerforwords.com)
8 points by lumenwrites 17 hours ago | 0 comments
156A desktop environment without graphics (tmux-like) (github.com)
156 points by mustaphah 5 days ago | 47 comments
157Bulletproof host Stark Industries evades EU sanctions (krebsonsecurity.com)
208 points by todsacerdoti 2 days ago | 89 comments
158Backprompting: Leveraging synthetic production data for health advice guardrails (arxiv.org)
27 points by PaulHoule 2 days ago | 1 comment
159I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory (joshfonseca.com)
860 points by vuciv 3 days ago | 185 comments
160DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking (qodo.ai)
83 points by blazercohen 2 days ago | 5 comments
161Crates.io phishing attempt (fasterthanli.me)
152 points by dmarto a day ago | 78 comments
162Type 5 diabetes is a newly recognised disease (theconversation.com)
28 points by ValentineC 14 hours ago | 1 comment
163How the tz database works (2020) (yatsushi.com)
81 points by jumbosushi 6 days ago | 16 comments
164ChatGPT Developer Mode: Full MCP client access (platform.openai.com)
510 points by meetpateltech 3 days ago | 279 comments
165The rise of async AI programming (braintrust.dev)
121 points by mooreds 2 days ago | 109 comments
166Public Suffix List (publicsuffix.org)
73 points by mooreds 5 days ago | 25 comments
167Conway's Game of Life, but musical (hudsong.dev)
207 points by hudsongr 2 days ago | 34 comments
168Show HN: I made a small site to share text and files (dum.pt)
38 points by MarsB 18 hours ago | 50 comments
169Beyond package management: How Nix refactored my digital life (jimmyff.co.uk)
69 points by jimmyff 5 days ago | 41 comments
170How Palantir is mapping the nation’s data (theconversation.com)
227 points by mdhb 2 days ago | 83 comments
171Semantic Line Breaks (2017) (sembr.org)
97 points by Bogdanp 6 days ago | 66 comments
172Logging in Go with Slog: A Practitioner's Guide (dash0.com)
78 points by ayoisaiah 5 days ago | 50 comments
173North Korea executing more people for watching foreign films and TV, UN finds (bbc.com)
48 points by perihelions 19 hours ago | 2 comments
174Kerberoasting (blog.cryptographyengineering.com)
201 points by feross 3 days ago | 69 comments
175How I solved PyTorch's cross-platform nightmare (svana.name)
73 points by msvana 5 days ago | 29 comments
176Adjacency Matrix and std:mdspan, C++23 (cppstories.com)
34 points by ashvardanian 5 days ago | 21 comments
177Mapping to the PICO-8 palette, perceptually (30fps.net)
63 points by ibobev 6 days ago | 23 comments
178The 100MHz 6502 (e-basteln.de)
37 points by wibbily 2 days ago | 2 comments
179iPhone Air (apple.com)
900 points by excerionsforte 4 days ago | 1934 comments
180