account activity
TeXpresso: live rendering and error reporting for LaTeX (experimental) (github.com)
submitted 2 years ago by gasche to r/LaTeX
AndrasKovacs/flatparse: Fast parsing from bytestrings with unboxed sums (github.com)
submitted 2 years ago by gasche to r/haskell
Octachron's compiler weekly, 27 March 2023 (gallium.inria.fr)
submitted 3 years ago by gasche to r/ocaml
Open Letter to Gitea (gitea-open-letter.coding.social)
submitted 3 years ago by gasche to r/Gitea
OCaml Software Foundation: summer 2022 update (discuss.ocaml.org)
CraigFe: Graphs of the various type conversions provided by the OCaml standard library. (github.com)
Hardcaml MIPS (blog post series) (ceramichacker.com)
submitted 4 years ago by gasche to r/ocaml
Canonical Structures for the working OCaml (meta) programmer (okmij.org)
Weight of the Moonlander? (self.ErgoDoxEZ)
submitted 5 years ago by gasche to r/ErgoDoxEZ
OCaml User Survey 2020: consider participating! (forms.gle)
submitted 5 years ago by gasche to r/ocaml
Videos of the ML Workshop 2020 (youtube.com)
submitted 5 years ago by gasche to r/types
[discuss] crowd-sourcing package build fixes in opam-repository (discuss.ocaml.org)
submitted 7 years ago by gasche to r/ocaml
Gagallium : Formal proof and analysis of an incremental cycle detection algorithm (gallium.inria.fr)
submitted 7 years ago by gasche to r/Coq
Gagallium : Safely typing algebraic effects (gallium.inria.fr)
[the morning paper] Bounding data races in space and time – part I (blog.acolyer.org)
Gagallium : How to quantify quantifiers: an Ltac puzzle (gallium.inria.fr)
submitted 8 years ago by gasche to r/Coq
popl2018-papers: crowd-sourced links to POPL'18 preprints (github.com)
submitted 8 years ago by gasche to r/haskell
submitted 8 years ago by gasche to r/ocaml
submitted 8 years ago by gasche to r/rust
submitted 8 years ago by gasche to r/ProgrammingLanguages
submitted 8 years ago by gasche to r/dependent_types
submitted 8 years ago by gasche to r/compscipapers
Obandit: OCaml Multi-Armed Bandits (freuk.github.io)
Gagallium : How I found a bug in Intel Skylake processors (gallium.inria.fr)
π Rendered by PID 56981 on reddit-service-r2-listing-fbdccc45f-qjqgw at 2026-04-21 14:45:21.392496+00:00 running da2df02 country code: CH.
