calmer news

  1. Type-constrained code generation with language models (arxiv.org)
  2. DeepSeek’s ‘tech madman’ founder is threatening US dominance in AI race (bloomberg.com)
  3. Branch Privilege Injection: Exploiting branch predictor race conditions (ethz.ch)
  4. Flattening Rust's learning curve (corrode.dev)
  5. Map of Palaeohispanic Coins and Inscriptions (ucm.es)
  6. Build real-time knowledge graph for documents with LLM (cocoindex.io)
  7. When graphic design saves lives (news.harvard.edu)
  8. Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)
  9. Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)
  10. Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses (https://news.ycombinator.com)
  11. Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com/helixdb)
  12. Fingers wrinkle the same way every time they’re in the water too long (binghamton.edu)
  13. I’ve built an IoT device to let my family know when I’m in a meeting (nullonerror.org)
  14. PDF to Text, a challenging problem (marginalia.nu)
  15. Multiple security issues in GNU Screen (openwall.com)
  16. It Awaits Your Experiments (rifters.com)
  17. Coffee for people who don't like coffee (ostwilkens.se)
  18. A visual history of the safety pin (museumofeverydaylife.org)
  19. Garbage collection of object storage at scale (warpstream.com)
  20. How (memory) safe is Zig? (2021) (scattered-thoughts.net)
  21. A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
  22. Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (drexel.edu)
  23. The world could run on older hardware if software optimization was a priority (twitter.com/id_aa_carmack)
  24. Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
  25. I learned Snobol and then wrote a toy Forth (ratfactor.com)
  26. OpenTelemetry protocol with Apache Arrow (opentelemetry.io)
  27. Membrane: Media Framework for Elixir (membrane.stream)
  28. Insurers launch cover for losses caused by AI chatbot errors (ft.com)
  29. Turritopsis dohrnii: Immortal jellyfish (nhm.ac.uk)
  30. Starcloud (ycombinator.com)