OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.comhttps://blacksky.community/profile/tsmc.purely-functional.comhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3mng7xbdbj22rBonsai_term looks very cool. https://blog.janestreet.com/strace-ui-bonsai-term-and-the-tui-renaissance/ #ocaml03 Jun 2026 23:06 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3mng7xbdbj22rhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3mmun5xgwe22mUsing LLMs doesn’t remove the obligation to do your own thinking.27 May 2026 23:14 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3mmun5xgwe22mhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3ml7vdupxhk2qModified my elfeed RSS setup to use eww, the built in web browser for Emacs. Massive improvement, loading things is quick enough and no javascript means no ads, but I still get pictures. #emacs06 May 2026 23:50 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3ml7vdupxhk2qhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3mklo75whl22cFP-SYD is back in person next month. We have changed the day 1st Monday of each month (4th May) and location is now 1 Denison Street, North Sydney. Thanks to Microsoft for providing the venue. Signup here https://www.meetup.com/fp-syd/events/314379204/ #emacs #ocaml #haskell28 Apr 2026 22:49 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3mklo75whl22chttps://blacksky.community/profile/tsmc.purely-functional.com/post/3mk55zmboss2tI wrote up some notes on the #elisp #emacs things I've been working on this month https://lambdafoo.com/posts/2026-04-23-a-month-of-elisp.html23 Apr 2026 04:22 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3mk55zmboss2thttps://blacksky.community/profile/tsmc.purely-functional.com/post/3mk2m7rn63s2gPleased to say I've tidied up my port of Miasma theme for #Emacs into a proper repo and tagged a 0.1.0 release. https://github.com/tmcgilchrist/miasma-theme Inspired by recent collaborations with @batsov.net on Emacs modes and his wonderful work on batppuccin.22 Apr 2026 03:58 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3mk2m7rn63s2ghttps://blacksky.community/profile/tsmc.purely-functional.com/post/3mjv45p5dcc2fI like the idea of tangled.org but the current CI setup is more misses than hits right now. Lots of 500 errors trying to run nixery based CI over the weekend. https://tangled.org19 Apr 2026 23:27 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3mjv45p5dcc2fhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3mjilrjucv22mI've switched over from tuareg to neocaml for daily work. This mode is great! [contains quote post or other embedded content]15 Apr 2026 00:02 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3mjilrjucv22mhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3mjijvnhhes2mWorking on a Haskell DWARF library called thorin (https://tangled.org/tsmc.purely-functional.com/thorin/tree/master) It covers most of the DWARF 4 and 5 spec with a nice writer API for binary and GAS assembly. Needs more testing on real codebases and the weird binaries that gcc/clang produce.14 Apr 2026 23:29 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3mjijvnhhes2mhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3meewljfh6k2mMore work on CFI and frame pointers for OCaml, working on getting all this through review and merged. https://lambdafoo.com/posts/2026-02-07-more-cfi-and-frame-pointers.html08 Feb 2026 21:59 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3meewljfh6k2mhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m7gtmea4ds2wRather than advent of code, I’m bulk releasing the WIP OCaml libraries I’ve worked on since ICFP. Today it’s ctypes based Capstone bindings https://github.com/tmcgilchrist/ocaml-capstone. The project could use some demo applications but it does seem to work for ARM64 code I’ve thrown at it.08 Dec 2025 01:05 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m7gtmea4ds2whttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m74rdwn2b22aThe new Ryzen 9950X can chew through llvm and gdb builds no sweat.04 Dec 2025 00:58 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m74rdwn2b22ahttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m6xk3dsh4k2tI like the idea of Advent of Code, but I always have too many projects I'm already working on.01 Dec 2025 23:05 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m6xk3dsh4k2thttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m6xjxbmsdk2tSoft-launching my OCaml DWARF 5 library Durin (yes LOTR inspired) https://github.com/tmcgilchrist/durin since it got posted on https://news.ycombinator.com/item?id=46111120 It is heavily in development, right now focusing on reading DWARF 5 and building debugging tooling for OCaml compiler work. Write support later on01 Dec 2025 23:02 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m6xjxbmsdk2thttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m6uxshg2rs2yFun weekend building my son's first PC, we got all the parts right and it booted the first time. 💪 Then we setup Ubuntu for Linux gaming with Proton/Steam. Not exactly the smoothest experience with Ubuntu UI being very laggy but he'll learn more using Linux.30 Nov 2025 22:32 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m6uxshg2rs2yhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m6sghlsejk2uAwesome work!!!!! [contains quote post or other embedded content]29 Nov 2025 22:17 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m6sghlsejk2uhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m6iurhpvkc2bAll the parts for the new OCaml benchmarking server have arrived. Weekend goal will be putting this all together and setting up Linux.26 Nov 2025 03:06 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m6iurhpvkc2bhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m6itvc4oc22bA pure OCaml implementation of Apache Avro with codec-based design, schema evolution support, and container file format. Version 0.1 released on opam. https://github.com/tmcgilchrist/avro-simple26 Nov 2025 02:50 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m6itvc4oc22bhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m6ayufrew22sWriting my own DWARF 5 library in OCaml https://github.com/tmcgilchrist/durin learning a lot about the spec and how CFI works. Only doing reading at the moment then I’ll tackle writing DWARF.22 Nov 2025 23:58 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m6ayufrew22shttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m63muto25c2fShopping for a vintage CRT serial terminal, ideally a DEC VT330 with the lovely orange glow. Need something to hook up to the new benchmarking server. :-)20 Nov 2025 20:40 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m63muto25c2fhttps://blacksky.community/profile/tsmc.purely-functional.com/post/3m5zb6bhvjs27Experimenting with USDT support in the OCaml runtime and user code. Being able to DTrace and join up OCaml stacks with runtime activity is magical. WIP modifications to OCaml https://github.com/tmcgilchrist/ocaml/pull/32 Of course it works with eBPF but Dtrace has that Solaris cool factor.19 Nov 2025 22:05 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3m5zb6bhvjs27https://blacksky.community/profile/tsmc.purely-functional.com/post/3lnhtfwkmjs2tSuper excited to have Chris Armstrong talking about OCaml and AWS at FP-SYD tonight.23 Apr 2025 09:01 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3lnhtfwkmjs2thttps://blacksky.community/profile/tsmc.purely-functional.com/post/3ll3bajmjjc2aWonderful mushroom surprise in my pot plant this morning. Need to lookup what variety it is.23 Mar 2025 22:13 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3ll3bajmjjc2ahttps://blacksky.community/profile/tsmc.purely-functional.com/post/3lk2j4bs35c2oFor you Linker and Solaris nerds, the classic Solaris Linking & ELF Blogs are available. Lots of interesting material. www.linker-aliens.org http://www.linker-aliens.org10 Mar 2025 21:36 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3lk2j4bs35c2ohttps://blacksky.community/profile/tsmc.purely-functional.com/post/3ljok57362c2kHacking Emacs is so rewarding and deeply addictive. I’ve been experimenting with structured navigation using comobobulate and treesitter. Targeting OCaml and Haskell. https://www.masteringemacs.org/article/combobulate-intuitive-structured-navigation-treesitter06 Mar 2025 03:23 +0000at://did:plc:4sqnbnvyiwq4k4aggb4rjeaf/app.bsky.feed.post/3ljok57362c2k