Article 5
The projector in the auditorium was defective today when I gave my lecture on caches and locality optimisation. Hand-running different versions of 1000x1000 matrix multiplication on the blackboard...
View ArticleArticle 4
This paper explains that #IEEE754 (the floating point standard) removed fmax/fmin because it was so inconsistently implemented you could not assume portable behaviour anyway:...
View ArticleArticle 3
I'm a numerical methods hobbyist at best, but I do enjoy reading about #IEEE754. I can also recommend the Handbook of Floating-Point Arithmetic, which... is about as dry as it sounds, but a pleasant...
View ArticleArticle 2
ncdu is such a good program. Highly useful, very simple, and there's just something terminally cool about ncurses UIs.
View ArticleArticle 0
Using #gnuplot as the rendering engine for my nbody simulation because I can't remember how to do perspective correction when rasterising 3D points in an image.
View ArticleArticle 0
Played my first #Wh40k tournament (very informal) last weekend with my Adeptus Custodes. Three games, 1k each. I had expected to lose everything, but I won two of my games, and in both cases I tabled...
View ArticleArticle 0
Today I am drinking coffee and writing shell scripts, and I am sort of tired of both.
View ArticleArticle 0
One of my colleagues has written a GUI library for #SML: https://github.com/diku-dk/sml-tigr - surprisingly pleasant to use!
View ArticleArticle 0
Interested in parallel functional programming or language-based security? Come and do a PhD with us! https://jobportal.ku.dk/phd/?show=160967
View ArticleArticle 1
My type checker generating constraints: Haha fuck yeah!!! Yes!!My type checker solving constraints: Well this fucking sucks. What the fuck.
View ArticleArticle 0
Whenever my compiler generates code with a subtle memory error under some exotic and hard-to-debug circumstances, I worry that *this* will be the one incomprehensible bug I will never be able to fix....
View ArticleArticle 0
The ML Family Workshop (#SML, #OCaml, etc) is soliciting presentations: https://icfp24.sigplan.org/home/mlworkshop-2024#Call-for-Presentations
View ArticleArticle 1
My pet peeve is compiler courses who de-emphasize parsing too much. It is an overreaction to the over-emphasis in older material (Dragon Book etc). Yes, parsing isn't the most fashionable field of...
View ArticleArticle 0
The next most important area is type checking. Analyzing and validating input is an important part of so many programs. Code generation and (in particular) optimisation is probably the least important...
View ArticleArticle 2
Another language design pet peeve is languages that use an 'enum' keyword for types that are not enumeration types. This is why I do not use Rust.
View ArticleArticle 1
One of my thesis students uses Windows on his laptop. The past two meetings have started with his machine BSOD'ing. I didn't realise I'd scheduled our meeting in the 90s.
View ArticleArticle 0
Spending the evening aggressively migrating our paper's content to footnotes in order to take advantage of the smaller font size.
View Article
