Hackernews posts about Met
- Is Meta destroying its engineering organization? (newsletter.pragmaticengineer.com)
- RFC 10008: The new HTTP Query Method (www.rfc-editor.org)
- Formal methods and the future of programming (blog.janestreet.com)
- SearXNG: A free internet metasearch engine (github.com)
- Zuckerberg 'Admits' Meta's Layoffs Were Ineffective (eshumarneedi.com)
- Meta data center water discharges suspended for contaminating water supply (www.tomshardware.com)
- Anthropic's Method to Losing Goodwill in a Few Easy Steps (raheeljunaid.com)
- How Madrid built its metro cheaply (2024) (worksinprogress.co)
- Millimeter wave technology drills 100 meters into granite (www.thinkgeoenergy.com)
- The new HTTP QUERY method explained (kreya.app)
- The short leash AI coding method for beating Fable (blog.okturtles.org)
- Google limits Meta's use of its Gemini AI models (www.cnbc.com)
- Meta caps internal AI token spending (mlq.ai)
- Making glass-to-metal seals for homemade vacuum tubes (maurycyz.com)
- Meta's Un-Stable Signature (hackerfactor.com)
- Meta pauses AI training program tracking employee keystrokes after internal leak (www.businessinsider.com)
- TerraPower in deal with Meta for eight Natrium 345 MW nuclear plants (neutronbytes.com)
- Flexible metaprogramming with Rhombus (lwn.net)
- Python 3.14 compiled to metal – no interpreter (github.com)
- Formal Methods and the Future of Programming (blog.janestreet.com)
- Mark Zuckerberg directed Meta to create a prediction markets app (www.nytimes.com)
- Meta steals a tactic from Tesla and builds data centers in tents (techcrunch.com)
- Mathematics: Its Content, Methods and Meaning (old.maa.org)