| 1. | | HuggingChat is shutting down (for now) (huggingface.co) |
| 2 points by mseri 35 days ago | past |
|
| 2. | | LLVM: InstCombine: A PR by Alex Gaynor and Claude Code (simonwillison.net) |
| 3 points by mseri 38 days ago | past |
|
| 3. | | Low-power 2D gate-all-around logics via epitaxial monolithic 3D integration (zmescience.com) |
| 5 points by mseri 87 days ago | past |
|
| 4. | | MirageVPN and the discovery of two OpenVPN CVEs (robur.coop) |
| 1 point by mseri 11 months ago | past |
|
| 5. | | Released llamafile 0.8.13 with gemma2, new whisper and Stable Diffusion CLI (github.com/mozilla-ocho) |
| 2 points by mseri 11 months ago | past |
|
| 6. | | OCaml 5.1 Released (ocaml.org) |
| 5 points by mseri on Sept 17, 2023 | past |
|
| 7. | | The value of science – R. Feynman (1995) [pdf] (caltech.edu) |
| 1 point by mseri on Aug 6, 2023 | past |
|
| 8. | | Skynet Labs Shutting Down (skynetlabs.com) |
| 2 points by mseri on Oct 22, 2022 | past | 1 comment |
|
| 9. | | Intel and AMD Hertzbleed CPU Vulnerability Uses Boost Speed to Steal Crypto Keys (tomshardware.com) |
| 1 point by mseri on June 14, 2022 | past |
|
| 10. | | Pasteur – A Zerobin Clone in a Unikernel (osau.re) |
| 1 point by mseri on April 26, 2022 | past |
|
| 11. | | Diffrax: Jax-based differential equations solvers (kidger.site) |
| 4 points by mseri on Feb 14, 2022 | past |
|
| 12. | | Ts2ocaml: Generate OCaml bindings from .d.ts files (ocaml.org) |
| 4 points by mseri on Nov 9, 2021 | past |
|
| 13. | | Verification for Dummies: SMT and Induction (ocaml.org) |
| 3 points by mseri on Oct 14, 2021 | past |
|
| 14. | | How WhatsApp enables multi-device capability (fb.com) |
| 151 points by mseri on Sept 22, 2021 | past | 138 comments |
|
| 15. | | Multi-device beta: WhatsApp web without the need to keep your phone connected (whatsapp.com) |
| 2 points by mseri on Sept 21, 2021 | past |
|
| 16. | | Onivim2: Status of the Project (github.com/onivim) |
| 1 point by mseri on Sept 17, 2021 | past |
|
| 17. | | Elements of Differential Geometry in Lean: A Report for Mathematicians (arxiv.org) |
| 1 point by mseri on Aug 4, 2021 | past |
|
| 18. | | Dating first cases of Covid-19 (PLOS pathogens) (plos.org) |
| 2 points by mseri on June 26, 2021 | past |
|
| 19. | | Dirsp-exchange: auditable Signal Protocol and ProScript-to-OCaml translator (ocaml.org) |
| 2 points by mseri on June 17, 2021 | past |
|
| 20. | | OCaml-pandoc: a native OCaml library to write filters for pandoc (github.com/smimram) |
| 2 points by mseri on April 29, 2021 | past |
|
| 21. | | Docs.ocaml.pro: An OCaml Documentation Hub (ocaml.org) |
| 2 points by mseri on April 22, 2021 | past |
|
| 22. | | Asymptotics and perturbation methods – Prof. Steven Strogatz (youtube.com) |
| 2 points by mseri on March 12, 2021 | past |
|
| 23. | | Finding Mona Lisa in the Game of Life (avinayak.github.io) |
| 408 points by mseri on March 8, 2021 | past | 57 comments |
|
| 24. | | What does the perfect tiramisu reveal about chemistry? (youtube.com) |
| 1 point by mseri on Feb 20, 2021 | past |
|
| 25. | | The Evolution of a Research Paper (tratt.net) |
| 2 points by mseri on Jan 19, 2021 | past |
|
| 26. | | A Complete Guide to LLVM for Programming Language Creators (mukulrathi.co.uk) |
| 402 points by mseri on Dec 25, 2020 | past | 44 comments |
|
| 27. | | Multicore OCaml – what is coming in 2021 (speakerdeck.com) |
| 15 points by mseri on Dec 8, 2020 | past |
|
| 28. | | A taste of OCaml predictable performances (devpoga.org) |
| 5 points by mseri on Nov 21, 2020 | past |
|
| 29. | | The iOS Covid App Ecosystem Has Become a Privacy Minefield (wired.com) |
| 8 points by mseri on Nov 16, 2020 | past |
|
| 30. | | Reflections on my first completed application in OCaml (ocaml.org) |
| 113 points by mseri on Nov 15, 2020 | past | 41 comments |
|
|
| More |
