Weekly Best
1951.
Skyrocketing HBM Will Push Micron Through $45B and Beyond (nextplatform.com)
1952.
Iris: A neurosymbolic framework for vulnerability detection in code (github.com)
1953.
Boeing to Replace CFO Brian West with Former Lockheed Finance Chief (bloomberg.com)
1954.
Show HN: mcp-chat, chat server using MCP tool calls (github.com)
1955.
Is that ADHD? Why flawed trials may be misleading millions – ScienceDaily (sciencedaily.com)
1956.
TYPES 2025: The 31st International Conference on Types for Proofs and Programs (msp.cis.strath.ac.uk)
1957.
Code of practice to help companies with AI rules may come end 2025, EU says (thehindu.com)
1958.
Show HN: Dhansishtha-2.0-preview – First Intermediate Reasoning model (helpingai.co)
1959.
A catamorphic lambda-calculus interpreter (michaelpj.com)
1960.
Chronic Denial (openmindmag.org)
1961.
How AI on Microcontrollers Works: Operators and Kernels (danielmangum.com)
1962.
Judge allows antitrust lawsuit against Apple to proceed (wsbtv.com)
1963.
So It Begins Is This a Real Band or AI? [video] (youtube.com)
1964.
Flounder Mode – Kevin Kelly on a different way to do great work (joincolossus.com)
1965.
Show HN: Go-nagini fluent wrapper for Cobra (github.com)
1966.
Show HN: GmailDraft – AI assistant to draft Gmail replies with GPT-4 (github.com)
1967.
Show HN: DuckDB + React = SQLRooms Framework for Analytics Apps Without Backend (sqlrooms.org)
1968.
Chile's Queen Bees Take Flight as Global Guardians of Pollination (latinamericanpost.com)
1969.
Scientists use bacteria to convert plastic into paracetamol (english.elpais.com)
1970.
Z3 (Computer) (1941) (en.wikipedia.org)
1971.
Unix Programmer's Manual (1971) (cm.bell-labs.co)
1972.
Show HN: Hands on tutorial for open source contribution (github.com)
1973.
The Companies Betting They Can Profit from Google Search's Demise (wsj.com)
1974.
The Evasive Evitability of Enshittification (apenwarr.ca)
1975.
Building accurate postal address matching systems (robinlinacre.com)
1976.
Soham Parekh AI (thesohamparekh.com)
1977.
Workers training Meta's AI in Ireland speak out (thejournal.ie)
1978.
UN says infants face death as formula milk runs out (youtube.com)
1979.
Lightfastness Testing of Colored Pencils (sarahrenaeclark.com)
1980.
'I'm being paid to fix issues caused by AI' (bbc.com)