Étienne Laurin

198 posts

Étienne Laurin

Étienne Laurin

@atnnn

Polyglot programming. Correctness proofs. Elegant abstractions. Concise code.

Mesa, AZ Katılım Mart 2010
892 Takip Edilen193 Takipçiler
Étienne Laurin retweetledi
Writing Fairie
Writing Fairie@shifting_fey·
#EmptyOctober Afterbirth In the bonfire's flame, you see a vision of someone else's life- A Daughter. A beautiful Daughter. Maybe it screams like a banshee, and ruins your sleep. But it makes you a Mother. Like you were meant to be. It's your little gift from God.
English
1
3
11
0
Étienne Laurin retweetledi
Suhail
Suhail@Suhail·
I found Yann LeCun's analysis of autonomous driving fascinating:
Suhail tweet mediaSuhail tweet mediaSuhail tweet mediaSuhail tweet media
English
28
60
604
0
Étienne Laurin retweetledi
GHC Commits
GHC Commits@ghc_commits·
Add native delimited continuations to the RTS ift.tt/4aYq9Re
English
0
12
63
0
Étienne Laurin retweetledi
Determinate Systems
Determinate Systems@DeterminateSys·
With Riff, you can cd into a Rust project, run `riff shell` to enter a shell with external dependencies available, and then run commands like `cargo build` without worrying about commonly missing dependencies like OpenSSL, Protobuf, and SystemConfiguration on macOS.
English
1
2
17
0
Ben Porter
Ben Porter@eigenbom·
What's the best fictional programming language
English
47
4
82
0
Étienne Laurin retweetledi
Hakan Kjellerstrand
Hakan Kjellerstrand@hakankj·
Symbolic function induction in #Picat: hakank.org/picat/symbolic… It solves integer sequences puzzles such as: * "1,2,6,42,1806,?" * "1+4=5, 2+5=12, 3+6=21, 5+8=?" * "11x11=4, 22x22=16, 33x33=?" by enumerating all possible solutions (with infix functions). It's a lot of examples.
English
1
4
10
0
Étienne Laurin
Étienne Laurin@atnnn·
@spakhm His book on remarkable men and Matin des Magiciens by one of his students are amazing. Both great examples on how truths about the human condition can easily be explained by making up history and converting cultural differences into mysticism.
English
0
0
0
0
Étienne Laurin retweetledi
SwiftOnSecurity
SwiftOnSecurity@SwiftOnSecurity·
TIL there's restrictions on public displays of English signs in Quebec cbc.ca/amp/1.860189
SwiftOnSecurity tweet media
English
31
8
173
0
Étienne Laurin retweetledi
@voidcontext@hachyderm.io - Gabor Pihaj
The more I use Nix the more I love it. It started with managing my macOS user environment with home-manager, then installed NixOS on a Raspberry Pi 4 that functions as my home server. Later started using it at work, to provide self-contained and reproducible dev environments.
English
4
6
69
0
Étienne Laurin
Étienne Laurin@atnnn·
Wordle 198 3/6 🟩⬛⬛⬛🟩 ⬛🟩⬛⬛⬛ 🟩🟩🟩🟩🟩
English
0
0
0
0
Étienne Laurin retweetledi
Ryan Mulligan
Ryan Mulligan@ryantm·
NixOS 21.11 has been released! discourse.nixos.org/t/21-11-has-be… This is the first time I’ve seen a stable release surpass the Arch User Repository (AUR) on both freshness and number of packages on Repology!
English
2
19
62
0
Étienne Laurin
Étienne Laurin@atnnn·
@spakhm My imagination works best when bounded. I practice it by preparing as a DM every week, by stopping books, TV shows and papers at arbitrary points and making up the continuation or by making terrible puns.
English
0
0
0
0
Étienne Laurin
Étienne Laurin@atnnn·
@spakhm It's great you're blogging again! This is a great insight into why you spent an hour watching me implement an rsync clone in Python on a whiteboard. It reminds me of this quote: "Intelligence means nothing without solid work ethic and a killer drive to accomplish useful things."
English
0
0
0
0