mseri
- Karma
- 0
- Created
- ()
- Submissions
- 0
-
https://www.consilium.europa.eu/en/press/press-releases/2025...
- Cognitive and AI scientists call to reject uncritical adoption of AI in academia (bloodinthemachine.com)
- MistralAI released a new Magistral Small 2509 (huggingface.co)
- HuggingChat is shutting down (for now) (huggingface.co)
- LLVM: InstCombine: A PR by Alex Gaynor and Claude Code (simonwillison.net)
- MirageVPN and the discovery of two OpenVPN CVEs (blog.robur.coop)
- OCaml 5.1 Released (ocaml.org)
- The value of science – R. Feynman (1995) [pdf] (calteches.library.caltech.edu)
- Skynet Labs Shutting Down (skynetlabs.com)
- Pasteur – A Zerobin Clone in a Unikernel (blog.osau.re)
- Diffrax: Jax-based differential equations solvers (docs.kidger.site)
- Ts2ocaml: Generate OCaml bindings from .d.ts files (discuss.ocaml.org)
- Verification for Dummies: SMT and Induction (discuss.ocaml.org)
- How WhatsApp enables multi-device capability (engineering.fb.com)