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

@turion @samae I think they mean it to be faster than big IDEs like VS Code.

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

@typochon Also learned that there is a `comment` environment in the `verbatim` package.

@typochon When your language has a Turing-complete parser, I guess it could make sense that comments are not built-in.

😭

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.

Show more
Functional Café

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