| 1. | | EU Council approves Chat Control mandate for negotiation with Parliament (techradar.com) |
| 164 points by mseri 13 days ago | past | 159 comments |
|
| 2. | | Olmo 3: Charting a path through the model flow to lead open-source AI (allenai.org) |
| 390 points by mseri 18 days ago | past | 125 comments |
|
| 3. | | LFM2-2.6B: Redefining Efficiency in Language Models (liquid.ai) |
| 5 points by mseri 77 days ago | past |
|
| 4. | | Cognitive and AI scientists call to reject uncritical adoption of AI in academia (bloodinthemachine.com) |
| 5 points by mseri 79 days ago | past |
|
| 5. | | MistralAI released a new Magistral Small 2509 (huggingface.co) |
| 8 points by mseri 83 days ago | past |
|
| 6. | | Granite docling 258M: a small multimodal model for efficient document conversion (huggingface.co) |
| 2 points by mseri 83 days ago | past |
|
| 7. | | Apertus 8B and 70B – a new open multilingual LLM from Switzerland (epfl.ch) |
| 71 points by mseri 3 months ago | past | 4 comments |
|
| 8. | | HuggingChat is shutting down (for now) (huggingface.co) |
| 2 points by mseri 5 months ago | past |
|
| 9. | | LLVM: InstCombine: A PR by Alex Gaynor and Claude Code (simonwillison.net) |
| 3 points by mseri 5 months ago | past |
|
| 10. | | Low-power 2D gate-all-around logics via epitaxial monolithic 3D integration (zmescience.com) |
| 5 points by mseri 7 months ago | past |
|
| 11. | | MirageVPN and the discovery of two OpenVPN CVEs (robur.coop) |
| 1 point by mseri on Aug 23, 2024 | past |
|
| 12. | | Released llamafile 0.8.13 with gemma2, new whisper and Stable Diffusion CLI (github.com/mozilla-ocho) |
| 2 points by mseri on Aug 19, 2024 | past |
|
| 13. | | OCaml 5.1 Released (ocaml.org) |
| 5 points by mseri on Sept 17, 2023 | past |
|
| 14. | | The value of science – R. Feynman (1995) [pdf] (caltech.edu) |
| 1 point by mseri on Aug 6, 2023 | past |
|
| 15. | | Skynet Labs Shutting Down (skynetlabs.com) |
| 2 points by mseri on Oct 22, 2022 | past | 1 comment |
|
| 16. | | Intel and AMD Hertzbleed CPU Vulnerability Uses Boost Speed to Steal Crypto Keys (tomshardware.com) |
| 1 point by mseri on June 14, 2022 | past |
|
| 17. | | Pasteur – A Zerobin Clone in a Unikernel (osau.re) |
| 1 point by mseri on April 26, 2022 | past |
|
| 18. | | Diffrax: Jax-based differential equations solvers (kidger.site) |
| 4 points by mseri on Feb 14, 2022 | past |
|
| 19. | | Ts2ocaml: Generate OCaml bindings from .d.ts files (ocaml.org) |
| 4 points by mseri on Nov 9, 2021 | past |
|
| 20. | | Verification for Dummies: SMT and Induction (ocaml.org) |
| 3 points by mseri on Oct 14, 2021 | past |
|
| 21. | | How WhatsApp enables multi-device capability (fb.com) |
| 151 points by mseri on Sept 22, 2021 | past | 138 comments |
|
| 22. | | Multi-device beta: WhatsApp web without the need to keep your phone connected (whatsapp.com) |
| 2 points by mseri on Sept 21, 2021 | past |
|
| 23. | | Onivim2: Status of the Project (github.com/onivim) |
| 1 point by mseri on Sept 17, 2021 | past |
|
| 24. | | Elements of Differential Geometry in Lean: A Report for Mathematicians (arxiv.org) |
| 1 point by mseri on Aug 4, 2021 | past |
|
| 25. | | Dating first cases of Covid-19 (PLOS pathogens) (plos.org) |
| 2 points by mseri on June 26, 2021 | past |
|
| 26. | | Dirsp-exchange: auditable Signal Protocol and ProScript-to-OCaml translator (ocaml.org) |
| 2 points by mseri on June 17, 2021 | past |
|
| 27. | | OCaml-pandoc: a native OCaml library to write filters for pandoc (github.com/smimram) |
| 2 points by mseri on April 29, 2021 | past |
|
| 28. | | Docs.ocaml.pro: An OCaml Documentation Hub (ocaml.org) |
| 2 points by mseri on April 22, 2021 | past |
|
| 29. | | Asymptotics and perturbation methods – Prof. Steven Strogatz (youtube.com) |
| 2 points by mseri on March 12, 2021 | past |
|
| 30. | | Finding Mona Lisa in the Game of Life (avinayak.github.io) |
| 408 points by mseri on March 8, 2021 | past | 57 comments |
|
|
| More |
