Notices by otini (otini@functional.cafe)

Reading the MathML specification on a Sunday. As nerdy as it gets.

Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about #AbstractInterpretation, #StaticAnalysis, #SymbolicExecution, #SMT solvers and #FormalMethods in general?

Thanks in advance!

Trying out Zotero to manage my bibliography with notes (until now I've been using a manually annotated BibTeX file). Looks very nice so far.

https://www.zotero.org

I just learned that the name of Frama-C, the analyzer developed by my lab, means FRAmework for Modular Analysis of C code: http://julien.signoles.free.fr/publis/2015_fac.pdf

Used, among others, to verify the critical software of the Airbus A380 plane.
So OCaml is quite a niche language, but it's used to certify planes :p

They smashed it!!
🎉 🍾 😊
https://www.kisskissbankbank.com/en/projects/peertube-a-free-and-federated-video-platform