Hacker News
Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
181.U.S. government takes 10% stake in Intel (cnbc.com)
580 points by givemeethekeys 1 day ago | hide | 692 comments
182.Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (imperialcollegelondon.github.io)
143 points by ljlolel 3 days ago | hide | 104 comments
183.Game math: precise control over numeric springing (allenchou.net)
13 points by fanf2 22 hours ago | hide | 1 comment
184.Websites and web developers mostly don't care about client-side problems (utcc.utoronto.ca)
62 points by zdw 1 day ago | hide | 61 comments
185.AGENTS.md – Open format for guiding coding agents (agents.md)
823 points by ghuntley 4 days ago | hide | 382 comments
186.Launch HN: Skope (YC S25) – Outcome-based pricing for software products
55 points by benjsm 2 days ago | hide | 45 comments
187.Show HN: AgentState – Lightweight state manager for multi-agent AI workflows (github.com/ayushmi)
13 points by boulevard 1 day ago | hide | discuss
188.We Built This to Film What's 7,500 Light-Years Away [video] (youtube.com)
5 points by angilr 9 hours ago | hide | discuss
189.AWS CEO says using AI to replace junior staff is 'Dumbest thing I've ever heard' (theregister.com)
1653 points by JustExAWS 3 days ago | hide | 734 comments
190.An Update on Pytype (github.com/google)
198 points by mxmlnkn 3 days ago | hide | 66 comments
191.Everyday hacks to practice American English (aishwaryagoel.com)
6 points by agcat 19 hours ago | hide | 1 comment
192.VHS-C: When a lazy idea stumbles towards perfection [video] (youtube.com)
208 points by surprisetalk 2 days ago | hide | 118 comments
193.Show HN: Using Common Lisp from Inside the Browser (turtleware.eu)
109 points by jackdaniel 3 days ago | hide | 31 comments
194.Introduction to AT Protocol (mackuba.eu)
193 points by psionides 3 days ago | hide | 108 comments
195.Show HN: OS X Mavericks Forever (mavericksforever.com)
394 points by Wowfunhappy 3 days ago | hide | 194 comments
196.I guess I was wrong about AI persuasion (dynomight.substack.com)
8 points by paulpauper 10 hours ago | hide | 1 comment
197.Commodore raked in over $2M during the new C64 Ultimate's debut week (tomshardware.com)
10 points by amichail 11 hours ago | hide | 2 comments
198.Robots can now learn to use tools just by watching us (techxplore.com)
34 points by geox 22 hours ago | hide | 14 comments
199.Building a computer in the 90s (2019) (homeip.net)
37 points by networked 1 day ago | hide | 33 comments
200.How to stop feeling lost in tech: the wafflehouse method (yacinemahdid.com)
170 points by research_pie 3 days ago | hide | 107 comments
201.How well does the money laundering control system work? (uchicago.edu)
287 points by PaulHoule 3 days ago | hide | 354 comments
202.Custom slash commands in Claude Code (boliv.substack.com)
3 points by brunooliv 20 hours ago | hide | discuss
203.Code review can be better (tigerbeetle.com)
387 points by sealeck 3 days ago | hide | 237 comments
204.I run a full Linux desktop in Docker just because I can (howtogeek.com)
171 points by redbell 1 day ago | hide | 117 comments
205.Why is this hard? (programmersstone.blog)
52 points by Bogdanp 1 day ago | hide | 23 comments
206.Should the web platform adopt XSLT 3.0? (github.com/whatwg)
129 points by protomolecool 1 day ago | hide | 101 comments
207.Using Podman, Compose and BuildKit (emersion.fr)
307 points by LaSombra 3 days ago | hide | 109 comments
208.The End of Handwriting (wired.com)
139 points by beardyw 4 days ago | hide | 323 comments
209.Modern CI is too complex and misdirected (2021) (gregoryszorc.com)
210 points by thundergolfer 4 days ago | hide | 198 comments
210.Python f-string cheat sheets (2022) (fstring.help)
158 points by shlomo_z 3 days ago | hide | 38 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:
☕️ Buy me a coffee
Powered by Gistr AI Summaries