Pinned toot

Hi everyone! I'm new here so, time for an ?

I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )


Today I program a lot in , because French research teams use it a lot, but I also use and I like dependently-typed languages like .

For some work I have done on the OCaml compiler you can check out otini.chnik.fr/.

Glad to be here :)

It says here that has smooth scrolling support. Ok, now I'm interested.
github.com/onivim/oni2/issues/

otini boosted
otini boosted
otini boosted

Les gens qui utilisent #tor au quotidien, vous le faites avec ou sans bloqueur de pub ? La FAQ officielle déconseille mais c'est rapidement usant.

otini boosted

Croisé sur le web :
« Victor Hugo vous remercie pour votre générosité en faveur de Notre Dame et vous invite a faire de même pour Les Misérables. »

Today, I started the day by a Wikipedia trip. I wanted to refresh my memory about Rice's theorem (all non-trivial semantic properties of programs are undecidable), which led me to asking myself “is there a link between logical and algorithmic undecidability, or are we just very bad at naming things?”
Turns out there is link if we assume that Church's thesis (all functions computable by humans (with infinite resources) are computable by Turing machines) is true.

That was a nice morning trip.

otini boosted

Haskell Show more

otini boosted

Si on prononce "Les falafels"" à l'envers, ça fait "les falafels".

otini boosted

let's all just appreciate the example image on wikipedia's rabbit article

otini boosted
otini boosted

quick : I play stepmania (keyboard) and write haskell (also keyboard)

Anyone here tried ? I really would like to write LaTeX in OCaml, but I don't know how robust it is. Can I make my slides with it? My thesis?

Killer question: does it handle the `[fragile]` commands in Beamer? 😛

otini boosted
otini boosted

Legendary computer scientist Katie Bouman with the hard drives containing the source code of her first “Hello World” React app.

otini boosted

You're an experienced Matrix user when you perfectly master the slightly spiraling mouse movement: Show unknown devices -> Verify -> Use legacy verification -> I verified that the keys match.

otini boosted

Okay, so now we are under the serious threat of automated filtering of all the cyberspace by some companies you probably all love.

What a thrill! Any content host will have to comply to what GAFAMs define as "terrorist content".

If that's not a cyberpunk roleplaying setting then I'm not a proper game master.

Such a thing must not happen. Call your EU MPs and talk about the text. It's not too late. Here, find out how we can coordinate together to alarm our MPs: laquadrature.net/en/2019/04/08

Show more
Functional Café

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