lyxia boosted
lyxia boosted

"There are two ways of constructing a software design:

One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.

The first method is far more difficult."

C. A. R. Hoare, The Emperor’s Old Clothes, 1980 Turing Award Lecture

lyxia boosted
lyxia boosted

RT @RickCarlsson@twitter.com

PhD student : I hope no one scoops my only idea.

Post-doc: I better publish old stuff before I’m scooped so I can focus on new ideas.

Associate professor: I hope someone scoops all ideas I’ve ever had. Please. I don’t have time. There’s free datasets too. I’ll pay you.

🐦🔗: twitter.com/RickCarlsson/statu

Substitution is the dual of superstition.

In a talk at Strange Loop 2015 (on Youtube), Wadler compares the general attitude towards algorithms prior to Gödel's incompleteness results, to pornography: "I know it when I see it".

I'm annoyed my next blog post takes ages to write, it's not even that long.

Theorem provers like help with both ensuring proofs are correct as well as coming up with those very proofs.

Someone was wondering whether some equation about comonads was true, so I started Coq and just proved it. I still have no idea what it means. Just unfold the definitions and do the "obvious" rewrites.

gist.github.com/Lysxia/1130659

lyxia boosted
lyxia boosted

Why learn functional programming?
Answers by great programming languages researchers.

youtu.be/Fi83KOAqWb4

lyxia boosted
lyxia boosted

FP novices often wonder why the identity function matters. The identity function is like the number zero.

"It represents nothing, must be useless." --- Some Romans.

lyxia boosted

gitlab.com/iitalics/racket-wat

✨ Good afternoon all ✨

I'm announcing I've created the "Racket Wat" repository I've been thinking about for a long time. I'm going to be changing the list as I think of new / betters quirks in Racket (one of my favorite languages). If you know any wat's that you think are noteworthy, I would greatly appreciate them!

(EDIT: i had accidentally made it private cus i dont know how to use gitlab, this is fixed now)

lyxia boosted

Just flew from 25F Philadelphia to 25C New Orleans.

The closest star system, Alpha Centauri, is 4 light-years away. The Milky way is 150 000 light-years in diameter. Scaled to the size of the Earth (6000 km radius), AC is roughly 400m away.

Show more
La Quadrature du Net - Mastodon - Media Fédéré

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!