Pinned Tweet
Announcing an operator lookup tool for OCaml! 🐫
🎉 craigfe.io/operator-lookup/
It takes an OCaml operator or syntax element and gives an explanation of its behaviour, usage examples and warnings about common misuses.
Thanks to @JoshWComeau for the idea and design elements.
Craig Ferguson retweeted
[private message on work slack]
friend: hey buddy how do i , i can't find it in your team's docs and i feel super dumb
me: hey buddy! it doesn't exist. please re-ask this question in our public help channel so whoever is on-call can answer you.
[public help channel]
friend: hi team, our service needs to because of . we're wondering what the right way to do it is. thanks!
me (also the on-call): hello, this is not possible at the moment, but we'll add a ticket for it and prioritize it in our upcoming sprint.
I wrote about using confidential computing and reproducible builds to broker access to admin permissions at @monzo 🔒🏦
monzo.com/blog/2023/12/14/se…
Really lovely post by Patrick with lots of pointers to interesting open source work – he's been on quite a tour!
This Post is from an account that no longer exists. Learn more
Craig Ferguson retweeted
ah yes, increasing the speed of an OCaml program by up to 50% by predicting memory allocation patterns.
The correctness is straightforward, but why is it faster ?
When unrolled i get a 2x improvement over the naive loop.
![let rec sum (previous : int) (accu : int) (cell : int list) =
match cell with
| [] -> accu
| head::tail ->
let current : int = Obj.magic cell in
let prediction : int list =
Obj.magic (2 * current - previous)
in
sum
current
(accu + head)
(if prediction == tail then prediction else tail)](https://pbs.twimg.com/media/FvYvgflWAAIJIqx.png?name=orig)
ALT let rec sum (previous : int) (accu : int) (cell : int list) = match cell with | [] -> accu | head::tail -> let current : int = Obj.magic cell in let prediction : int list = Obj.magic (2 * current - previous) in sum current (accu + head) (if prediction == tail then prediction else tail)
Craig Ferguson retweeted
I wrote a book about the Janet programming language: janet.guide/
Would love a Terraform provider for MacOS system preferences – bit fed up slowly re-creating the same config on each machine I ever use / reconciling drift manually.
Craig Ferguson retweeted
A sweet example of #offlinefirst application built using #Irmin and #OCaml. Backup your browser application data in Git on the server-side and use a 3-way merge strategy to reconcile any conflicts. Great work @dinakajoy !
Our intern @dinakajoy talks about her work on Irmin in the Browser. Have a look!
tarides.com/blog/2022-08-02-…
#functionalprogramming #OCaml
Oh. Oh no.
ALT Screenshot of the BBC weather forecast for Cambridge next week. It predicts 40° weather for Monday and Tuesday.
Finally got around to fixing the initial dark mode flicker on my site 🎉 Only took me several years to get around to it...
Dark mode + SSR always feels more complicated than it really should – props to @JoshWComeau for his excellent post on the subject. joshwcomeau.com/react/dark-m…
Surprised that relatively few folks seem interested in having their Docker images be truly "reproducible" (in the byte-for-byte sense, not just a fuzzy notion of equivalent output).
There seems to be plenty of ways to do it, but none of them seem to be used _that_ widely.
Craig Ferguson retweeted
I'm getting ready to go back to the West Highlands next week so I thought I'd make a 'will it be raining when I'm in the West Highlands, and will I be able to see Ben Nevis this time, and also do I need my waterproofs?' map
ALT A map showing where the rain falls in Great Britain (data from 2017)
DevX folks fighting the good fight, as usual :-)
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
Craig Ferguson retweeted
Congratulations to @ztfasr for passing her PhD viva on “Secure Programming with Dispersed Compartments” today!!! Most exciting systems work on a full stack approach to using modern TEE hardware across the kernel/userspace/app layers. Keep an eye out for the final version… – at Cambridge, England
Craig Ferguson retweeted
I ran a tutorial on the parallelism features in OCaml 5 at the Tarides retreat: github.com/kayceesrk/ocaml5-…
