Show more

Normal compiler error: “l. 66: unknown identifier”

LaTeX compiler error: “l. 66: something's wrong… perhaps this? Look, you just re-read the TeXbook.”

otini boosted

Une vue buziness du Mont-Saint-Michel ? Tu prends GoogleMap.

Une vue documentaire sans parti-pris ? Tu prends OpenStreetMap.

Et en plus, sur #OSM, tu vois où sont les incontournables toilettes tant recherchées sur les sites touristiques 🙂

overpass-turbo.eu/s/ETp

otini boosted

This year I will try to eat less meat, and, more importantly, I will vote and campaign for companies to be forced to reduce emissions.

otini boosted

“Safe and Secure Drivers in High-Level Languages”
media.ccc.de/v/35c3-9670-safe_

In a past life, I toyed with Haskell to write a proto operating system. So I'm really glad to see people prooving that drivers should better be written in other languages than C. The talk is quite fast and technical but easy to follow if you know the basics of operating sytsem development. Makes me want to check out the code and compare the implementions and how each language shines…

name: Kurt Gödel
hobby: wreaking havoc in mathematics at the age of 25

otini boosted

ah oui la boisson citronnée fonctionnelle là, les monades

otini boosted

Radhia Cousot pretty much invented the formalism called abstract interpretation.
fr.wikipedia.org/wiki/Radhia_C

Radhia Cousot's 1985 PhD thesis… in French, and handwritten! Etymologically a manuscript 😛

Wasn't TeX already a thing back then? Anyway, it's pretty beautiful.
(The thesis is something like 600 pages.)

otini boosted

Trying to make a NES emulator in
I guess that's a start... Can you guess the game ?

otini boosted

As I'm new here (and on Mastodon), introduction time !

I'm a CS PhD student in a French institution near Paris, working on the specification language of Frama-C to enable users to have a more global view than function contracts when specifying.

All this work is happily written in OCaml (omnipresent in French academia) so that's the ecosystem I know the most, but I know a bit of Haskell.

I've a terrible website (firobe.fr), maybe I'll make something of it someday. Also I like Japan.

See you !

otini boosted

@otini Hi, blocked/muted instances are not public. This is the current list:

pawoo.net: Suspend
switter.at: Suspend
shitposter.club: Silence
raki.social: Suspend
baraag.net: Silence
newjack.city: Suspend

otini boosted
otini boosted

Alors par contre… l'élève qui donne une copie entièrement romancée, je ne l'avais pas encore vu, celle-là ! Merci à toi, élève annonyme ! 😊

“Once upon a time, there was a rather singular oracle named S. The oracle claimed to pasters-by in a somewhat odd fashion, that if one though of an n-instruction busy beaver register machine - any machine at all - yet only told the oracle the number of instructions it contained, they would accurately foretell the maximum result it could ever hope to return.”

C'est énorme : tout le devoir est comme cela, avec un “please forgive me” à la fin 😁

(fr) Transports franciliens Show more

otini boosted
otini boosted
otini boosted

Interesting article on for : "Why Dependent Haskell is the Future of Software Development" serokell.io/blog/2018/12/17/wh .

Hi @mdallastella

I was wondering whether there is a list of blocked/muted instances for functional.cafe?

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.