Hackernews posts about Leta
- I let a agent control my window manager (blog.zimengxiong.com)
- Ghostty is leaving GitHub (mitchellh.com)
- EFF is leaving X (www.eff.org)
- Let's Buy Spirit Air (letsbuyspiritair.com)
- UAE to leave OPEC (www.ft.com)
- Good sleep, good learning, good life (2012) (super-memory.com)
- Lean proved this program correct; then I found a bug (kirancodes.me)
- When everyone has AI and the company still learns nothing (www.robert-glaser.de)
- Drunk post: Things I've learned as a senior engineer (2021) (luminousmen.substack.com)
- UAE Leaves OPEC (www.reuters.com)
- Metal Gear Solid 2's source code has been leaked on 4chan (www.thegamer.com)
- Israel escalates attacks on medics in Lebanon with deadly 'quadruple tap' (www.theguardian.com)
- “Why not just use Lean?” (lawrencecpaulson.github.io)
- An open letter asking NHS England to keep its code open (keepthingsopen.com)
- Mike: open-source legal AI (mikeoss.com)
- Let's talk about LLMs (www.b-list.org)
- I learned Unity the wrong way (darkounity.com)
- How I leared what a decoupling capacitor is for, the hard way (nbelakovski.substack.com)