Newest stories submitted by mseri.

  1. 87
    OCaml 5.0.0 (with multicore and effects) is out ml release discuss.ocaml.org
    mseri avatar via mseri 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 27 comments
  2. 166
    Mechanical Watch visualization ciechanow.ski
    mseri avatar via mseri 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  3. 12
    Pasteur - a zerobin clone in a unikernel ml web blog.osau.re
    mseri avatar via mseri 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 2
    Diffrax: jax based differential equations solvers math python docs.kidger.site
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 9
    ts2ocaml: generate OCaml bindings from .d.ts files ml web discuss.ocaml.org
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 12
    Verification for Dummies: SMT and Induction plt discuss.ocaml.org
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 30
    YoHa: A Practical Hand Tracking Engine show graphics handtracking.io
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 11
    ICFP 2021 - OCaml Workshop Live Stream video ml plt youtube.com
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 10
    Elements of Differential Geometry in Lean: A Report for Mathematicians formalmethods math arxiv.org
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  10. 7
    First releases of dirsp-exchange ml release security discuss.ocaml.org
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 4
    Migrating to floatarray: experience report ml performance lexifi.com
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 13
    docs.ocaml.pro: an OCaml Documentation Hub ml discuss.ocaml.org
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 9
    Multicore OCaml: March 2021 ml discuss.ocaml.org
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 3
    Simple WebRTC Toolkit for IoT/Embedded Device c networking github.com
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 7
    Kepler's Goat Herd: An Exact Solution for Elliptical Orbit Evolution math arxiv.org
    mseri avatar via mseri 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 14
    Applicative parsing ml programming jobjo.github.io
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 8
    Analyzing Solorigate, the compromised DLL file that started a sophisticated cyberattack, and how Microsoft Defender helps protect customers security microsoft.com
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  18. 11
    Microsoft says it found malicious software in its systems security reuters.com
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  19. 18
    Multicore OCaml - What's coming in 2021 slides ml plt speakerdeck.com
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  20. 6
    Developer Successfully Virtualizes Windows for Arm on M1 Mac mac virtualization macrumors.com
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 15
    quiver: a modern commutative diagram editor show math github.com
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 5
    The iOS Covid App Ecosystem Has Become a Privacy Minefield privacy wired.com
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 62
    Does Apple really log every app you run? A technical look mac security blog.jacopo.io
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 36 comments
  24. 33
    Why Typing Erlang is Hard: Standard Erlang erlang plt abstractmachines.dev
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 1
    FermiNets: Quantum Physics and Chemistry from First Principles ai deepmind.com
    mseri avatar via mseri 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>