Hacker News new | past | comments | ask | show | jobs | submit | mseri's submissions login
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

Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: