calmer news

  1. IP Blocking the UK Is Not Enough to Comply with the Online Safety Act (prestonbyrne.com)
  2. Ironclad – formally verified, real-time capable, Unix-like OS kernel (ironclad-os.org)
  3. Marko – A declarative, HTML‑based language (markojs.com)
  4. WriterdeckOS (writerdeckos.com)
  5. Study identifies weaknesses in how AI systems are evaluated (ox.ac.uk)
  6. Largest Cargo Sailboat Completes Historic First Atlantic Crossing (marineinsight.com)
  7. US Air Traffic Controllers Start Resigning as Shutdown Bites (thedailybeast.com)
  8. Control structures in programming languages: from goto to algebraic effects (xavierleroy.org)
  9. Avería: The Average Font (2011) (iotic.com)
  10. What Hallucinogens Will Make You See (nautil.us)
  11. Cloudflare scrubs Aisuru botnet from top domains list (krebsonsecurity.com)
  12. Open-source communications by bouncing signals off the Moon (open.space)
  13. My first fifteen compilers (2019) (sigplan.org)
  14. Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (downtowndougbrown.com)
  15. An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf] (computerhistory.org)
  16. How to declutter, quiet down, and take the AI out of Windows 11 25H2 (arstechnica.com)
  17. Syntax and Semantics of Programming Languages (uiowa.edu)
  18. Her 12-year-old son was talking to Grok. It tried to get him to 'send nudes.' (usatoday.com)
  19. Valdi – A cross-platform UI framework that delivers native performance (github.com/snapchat)
  20. Ticker: Don't die of heart disease (myticker.com)
  21. Why is Zig so cool? (nilostolte.github.io)
  22. I Want You to Understand Chicago (aphyr.com)
  23. 52 Year old data tape could contain Unix history (theregister.com)
  24. Myna: Monospace typeface designed for symbol-heavy programming languages (github.com/sayyadirfanali)
  25. Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
  26. Computational Complexity of Air Travel Planning (2003) [pdf] (ai.mit.edu)
  27. Cekura (YC F24) Is Hiring (https://news.ycombinator.com)
  28. How did I get here? (how-did-i-get-here.net)
  29. Immutable Software Deploys Using ZFS Jails on FreeBSD (conradresearch.com)
  30. Why I love OCaml (2023) (mccd.space)