otini @otini@functional.cafe

Pinned toot: I will soon be looking for job opportunities starting early 2022 :) #OCaml #Haskell #OperatingSystems #Security #StaticAnalysis #Assembly

All classic Beamer themes look kinda… old?
Any nice, modern-looking themes you'd recommend? I like Metropolis¹ but I fear that its contrast might be too low for some people.

¹ https://github.com/matze/mtheme
#Beamer #LaTeX

Mon laboratoire veut se débarrasser d'une dizaine d'écrans Samsung SyncMaster T220. Vu leur poids (6 kg) et leur résolution (1680 x 1050, faible pour les standards modernes) on doute qu'ils intéressent quelqu'un, mais si une association les veut et peut les transporter (région parisienne sud) n'hésitez pas à me contacter !

I’ve been obsessing over why integral subscript and superscripts look ugly in #SILE and not in LuaTeX, although I respect the OpenType standard.

Then I found a paragraph in LuaTeX’s manual that basically says “Yeah their placement should use the font kerning parameters, but not all fonts implement that so we just tweak the positioning parameters in a non-standard way to make integrals look nice.”

😭

I want to patch Frama-C before building it but oooh well I don’t remember how to do it by heart and the dependency I wanted to add (mlcuddidl) doesn't exist in ocamlPackages for some reason…

And on the other hand opam doesn't work in NixOS, so total failure

NixOS life is being unable to build a program like everyone else does, and being too dumb to build it in the correct NixOS fashion.

People using ;; in OCaml.

Yes, in principle, it can lead to more relevant error messages. But really, I can’t help it, it frustrates me to see them.
#OCaml

#CReduce is an impressive piece of software. If you're not familiar with it: you give it a C file that exhibits a bug, or some other interesting property (you specify a shell script that returns 0 only if the file is interesting). It then proceeds to shorten the file considerably.

I had a 10 kLOC file on which my analyzer showed buggy behaviour, CReduce shrinked it by 99.6 % 😅 (so far)

#Bépo 1.1 toujours pas disponible dans la plupart des distros Linux, c’est quand même extrêmement triste…

Generalization of artifact publication in computer science is truly a good thing. I was able to compare my static analysis method to that of a POPL 2017 paper on the very same programs, thanks to that.