Matt Hodges

matthodges.bsky.social

03 September 2026 00:16

Since everyone is suddenly interested in Lean with LLMs proving open math problems and people imagining coding agents that can formally verify their own work, this is a great programmer-friendly explanation by @danabra.mov of why Lean is so interesting. overreacted.io/beyond-boole...

Rachel Andrew

rachelandrew.co.uk

03 September 2026 00:05

Two a11y engineering roles (one of them early career!) at Apple in London in the team my daughter manages. These sound like excellent roles to share with UK a11y folks. jobs.apple.com/en-gb/detail... jobs.apple.com/en-gb/detail...

Internet Archive

archive.org

03 September 2026 00:00

🏛️ Democracy invites participation; democracies require it. Join us for Democracy's Library: Tools for Participation, exploring how preserving knowledge & opening access strengthens civic life. Join us IN PERSON! 📅 Wed, Oct 21 • 5–10 PM 📍 300 Funston Ave, SF 🎟️ www.eventbrite.com/e/1998015902...

Keith Cirkel

keithamus.social

18 August 2026 23:40

Web Frameworks Community Group discussed Declarative Partial Updates developer.chrome.com/blog/declara.... We’re getting feedback from framework authors to take to standards bodies. Have opinions? Want to be heard? Join the discord! discord.gg/fXCngmSwHz

dan

danabra.mov

18 August 2026 23:37

ok i'm really glad this explanation exists bsky.network/docs/how-it-... kind of wish atproto website had this instead though