Profile avatar
tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com
37 posts 123 followers 26 following
Regular Contributor
Active Commenter
Posts 14 Comments 23

Super excited to have Chris Armstrong talking about OCaml and AWS at FP-SYD tonight.

submitted 31 days ago • 2 comments

Wonderful mushroom surprise in my pot plant this morning. Need to lookup what variety it is.

submitted 61 days ago • 0 comments

For you Linker and Solaris nerds, the classic Solaris Linking & ELF Blogs are available. Lots of interesting material. www.linker-aliens.org

submitted 74 days ago • 0 comments

Hacking Emacs is so rewarding and deeply addictive. I’ve been experimenting with structured navigation using comobobulate and treesitter. Targeting OCaml and Haskell. www.masteringemacs.org/article/comb...

submitted 79 days ago • 0 comments

FP-SYD getting started on the topic of SAT solvers.

submitted 87 days ago • 0 comments

Of course FP-SYD functional programming group is on tonight. There’s the promise of a SAT talk and a lightning talk. RSVP on www.meetup.com/fp-syd/event...

submitted 87 days ago • 0 comments

Also spent some quality time with elisp this weekend improving my Emacs setup with tree-sitter and OCaml. The results are promising, using ocaml-ts-mode plus eglot and ocaml-eglot. I have all the usual LSP goodness plus tree-sitter based navigation built on combobulate.

submitted 89 days ago • 0 comments

Why do frame pointers matter for OCaml? I've written up my notes on bringing frame pointers to more platforms. It has been super useful combined with Instruments on macOS, to see exactly what is happening with OCaml programs. lambdafoo.com/posts/2025-0...

submitted 89 days ago • 0 comments

Experimenting with OCaml and eBPF. Turns out the basics are there to do interesting things like function counts and GC timings. lambdafoo.com/posts/2025-0...

submitted 99 days ago • 1 comment

The curious thing about working on the OCaml compiler is the lag between features getting merged and released. Happily OCaml 5.3 is out and contains some useful performance and debugging improvements. Memory profiling is back with statmemprof, CPU profiling on MacOS works thanks to frame pointers.

submitted 103 days ago • 1 comment

Tonight at FP-SYD, we have an OCaml in Production talk by Geoffrey Borough from Axons Talent.

submitted 122 days ago • 1 comment

Trying to finish up my work on enabling frame pointers for all OCaml architectures before the end of the year. Why? So we can have nice perf support in OCaml. Currently have amd64 and arm64. RiscV and s390x are in the works.

submitted 162 days ago • 0 comments

Dtrace 2024 conference stream is fantastic. Better OCaml support with the recent frame pointers work.

submitted 163 days ago • 1 comment

Trying out Bluesky. I’ll be posting things about my work in OCaml and other technical topics. Plus some light content about my hobbies like MTB, surfing and Lego.

submitted 163 days ago • 2 comments