GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics) (github.com)
1 points by justdoitookk 6 hours ago | 2 comments
181Symbol-Level Editing (sysprogs.com)
1 points by handfuloflight 6 hours ago | 0 comments
182WinUI OSS Update: Phased Rollout Toward Open Collaboration (github.com)
1 points by ingve 6 hours ago | 0 comments
183How to make people give a damn (joanwestenberg.com)
3 points by sonderotis 6 hours ago | 1 comment
184Termagotchi – A terminal-based Tamagotchi simulation written in Go (github.com)
4 points by ezeoleaf 6 hours ago | 1 comment
185Unleashing potential energy in my EV (old.reddit.com)
2 points by thunderbong 7 hours ago | 0 comments
186Show HN: Valitron – I built an AI that interviews and ranks job applicants
3 points by valitron 7 hours ago | 0 comments
187Meejah/shwim: Peer-to-peer terminal sharing (github.com)
2 points by aiNohY6g 7 hours ago | 1 comment
188You're probably not learning with AI (aryas.dev)
4 points by bundie 7 hours ago | 0 comments
189Thinking in Crypto Security for Cyberpunk Individuals
3 points by ricecat 7 hours ago | 0 comments
190China claims Nvidia built backdoor into H20 chip (arstechnica.com)
2 points by jonbaer 7 hours ago | 1 comment
191Persona vectors: Monitoring and controlling character traits in language models (anthropic.com)
3 points by handfuloflight 7 hours ago | 0 comments
192Primesweeper (vole.wtf)
2 points by zeristor 7 hours ago | 0 comments
193C3 Programming Language 0.7.4 Release (github.com)
3 points by Retro_Dev 7 hours ago | 0 comments
194Tesla loses Autopilot wrongful death case in $329M verdict (arstechnica.com)
5 points by apparent 7 hours ago | 1 comment
195The Quintessential Urban Design of 'Sesame Street' (nytimes.com)
4 points by _tk_ 7 hours ago | 0 comments
196Way-secure: A helper to create Wayland security contexts via security_context_v1 (git.sr.ht)
2 points by harporoeder 7 hours ago | 0 comments
197Retrieval Embedding Benchmark (RTEB) (huggingface.co)
2 points by fzliu 7 hours ago | 0 comments
198Filesystem for syncing notes to your calendar (sr.ht)
3 points by xrayarx 7 hours ago | 0 comments
199Fathers plan legal action to get smartphones banned in England's schools (theguardian.com)
4 points by PaulHoule 7 hours ago | 1 comment
200Valley of Despair (jacksonslipock.bearblog.dev)
3 points by jacksonslipock 7 hours ago | 1 comment
201Show HN: I built a tool to make screenshots 10x better (screenshotframe.com)
2 points by melvinzammit 7 hours ago | 0 comments
202Which States Lose the Most Money to Cybercrime? (upwind.io)
2 points by josephjrobison 7 hours ago | 0 comments
203This Month in Ladybird (ladybird.org)
300 points by net01 7 hours ago | 94 comments
204Scientists Are Learning to Rewrite the Code of Life (nytimes.com)
3 points by digital55 7 hours ago | 0 comments
205Ranking the 25 Top Venture-Backed Cybersecurity Companies Growing Fast in 2025 (greenflagdigital.com)
2 points by josephjrobison 7 hours ago | 0 comments
206OutRun: A new version of the game Out Run of 1986 for PC using SFML and C++ (github.com)
3 points by rcarmo 7 hours ago | 0 comments
207Parallel Programming Models (ayushgundawar.me)
2 points by gundawar 7 hours ago | 0 comments
208Langton's Ant (haebom.github.io)
2 points by haebom 8 hours ago | 0 comments
209Terence Tao on the suspension of UCLA grants (mathstodon.xyz)
234 points by dargscisyhp 8 hours ago | 230 comments
210