Étienne Laurin

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

[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.

[Suhail @Suhail]

I found Yann LeCun's analysis of autonomous driving fascinating:

[GHC Commits @ghc_commits]

Add native delimited continuations to the RTS
https://t.co/IKOSIbvpjc

[llvm.org @llvmorg]

LLVM 15.0.0 is now available! Thank you so much for the release team for all their hard work. Full details here: https://t.co/j8tuhc80vx

[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.

[Étienne Laurin @atnnn]

@eigenbom @lefticus The Dwim language! It has a single instruction, dwim.

[Hakan Kjellerstrand @hakankj]

Symbolic function induction in #Picat: https://t.co/H0EKvCP3S5

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.

[É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.

[Sam Hughes @samuhyu]

RethinkDB 2.4.2 released
https://t.co/aj0fo4M3iV

[SwiftOnSecurity @SwiftOnSecurity]

TIL there's restrictions on public displays of English signs in Quebec https://t.co/ulE0KjK5x8

[@[email protected] - Gabor Pihaj @gaborpihaj]

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.

[https://mastodon.social/@vitaut @vzverovich]

Who called it BUILD_SHARED_LIBS and not CMAKE_IT_SO?

[Étienne Laurin @atnnn]

Wordle 198 3/6

🟩⬛⬛⬛🟩
⬛🟩⬛⬛⬛
🟩🟩🟩🟩🟩

[Ryan Mulligan @ryantm]

NixOS 21.11 has been released! https://t.co/rUBMnYIX11

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!

[Domen Kožar @domenkozar]

Nix 2.4 released:

https://t.co/lsLJ7kYUp5

That's a wild two years of improvements 🥳

[Étienne Laurin @atnnn]

I've just learned GLSL and applied some old FRACTINT skills https://t.co/EFagCJz41l

[É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.

[Étienne Laurin @atnnn]

@lunasorcery https://t.co/WvJRFuxepI

[Étienne Laurin @atnnn]

I sometimes look forward to drowning together.

[don hertzfeldt @donhertzfeldt]

good morning here’s a clip from WORLD OF TOMORROW EPISODE THREE 🌊

https://t.co/ftAi32EXor

[É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."