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