Étienne Laurin (@atnnn) profile picture

Étienne Laurin

@atnnn

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

 Mesa, AZ
atnnn.com/
Joined March 2010
  • Tweets198
  • Following889
  • Followers192
15Media
Photo by Étienne Laurin (@atnnn)Photo by Étienne Laurin (@atnnn)Photo by Étienne Laurin (@atnnn)Photo by Étienne Laurin (@atnnn)Photo by Étienne Laurin (@atnnn)Photo by Étienne Laurin (@atnnn)Photo by Étienne Laurin (@atnnn)
Étienne Laurin retweeted
Writing Fairie (@shifting_fey) profile picture
Writing Fairie@shifting_fey7 Oct 2022
#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.
1
3
1
11
Étienne Laurin retweeted
Suhail (@Suhail) profile picture
Suhail
@Suhail25 Sep 2022
I found Yann LeCun's analysis of autonomous driving fascinating:
Image from Suhail (@Suhail)
Image from Suhail (@Suhail)
Image from Suhail (@Suhail)
Image from Suhail (@Suhail)
28
60
9
594
Étienne Laurin retweeted
GHC Commits (@ghc_commits) profile picture
GHC Commits@ghc_commits12 Sep 2022
Add native delimited continuations to the RTS ift.tt/4aYq9Re
Add native delimited continuations to the RTS · ghc/ghc@0406251

Add native delimited continuations to the RTS · ghc/ghc@0406251

This patch implements GHC proposal 313, "Delimited continuation primops", by adding native support for delimited continuations to the GHC RTS. All things considered, the patch is...

github.com
12
2
63
Étienne Laurin retweeted
llvm.org (@llvmorg) profile picture
llvm.org@llvmorg6 Sep 2022
LLVM 15.0.0 is now available! Thank you so much for the release team for all their hard work. Full details here: discourse.llvm.org/t/llvm-15…
LLVM 15.0.0 Release

LLVM 15.0.0 Release

I am very pleased to announce that LLVM 15.0.0 is now available to download! Release Notes LLVM Clang LLD clang-tools-extra libc++ Polly Downloads Binaries and sources can be found on GitHub. The...

discourse.llvm.org
1
75
9
299
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.
1
2
17
Étienne Laurin retweeted
Hakan Kjellerstrand (@hakankj) profile picture
Hakan Kjellerstrand@hakankj7 Aug 2022
Symbolic function induction in #Picat: hakank.org/picat/symbolic_fu… 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.
1
4
10
Étienne Laurin retweeted
Sam Hughes (@samuhyu) profile picture
Sam Hughes
@samuhyu26 Apr 2022
RethinkDB 2.4.2 released rethinkdb.com/blog/2.4.2-rel…
1
2
TIL there's restrictions on public displays of English signs in Quebec cbc.ca/amp/1.860189
Image from SwiftOnSecurity (@SwiftOnSecurity)
31
7
3
169
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.
4
6
68
Who called it BUILD_SHARED_LIBS and not CMAKE_IT_SO?
3
12
101
Wordle 198 3/6 🟩⬛⬛⬛🟩 ⬛🟩⬛⬛⬛ 🟩🟩🟩🟩🟩
Étienne Laurin retweeted
Ryan Mulligan (@ryantm) profile picture
Ryan Mulligan
@ryantm1 Dec 2021
NixOS 21.11 has been released! discourse.nixos.org/t/21-11-… 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!

21.11 Has Been Released!

Hey everyone, it’s Timothy DeHerrera and Tom Bereknyei, the release managers for 21.11. As promised, the latest stable release is here: NixOS 21.11 “Porcupine”. Release manual Highlights New Services...

discourse.nixos.org
2
19
1
61
Étienne Laurin retweeted
Domen Kožar (@domenkozar) profile picture
Domen Kožar
@domenkozar1 Nov 2021
Nix 2.4 released: discourse.nixos.org/t/nix-2-… That's a wild two years of improvements 🥳

Nix 2.4 released

Hi, I’m pleased to announce the availability of Nix 2.4. It is available from Download | Nix & NixOS. This is the first release in more than two years and is the result of more than 2800 commits from...

discourse.nixos.org
24
2
87
I've just learned GLSL and applied some old FRACTINT skills shadertoy.com/view/NdcSRN
2
I sometimes look forward to drowning together.
don hertzfeldt (@donhertzfeldt) profile picturedon hertzfeldt@donhertzfeldt12 Oct 2020
good morning here’s a clip from WORLD OF TOMORROW EPISODE THREE 🌊 youtube.com/watch?v=K6bKp8NI…
WORLD OF TOMORROW EPISODE THREE - clip

WORLD OF TOMORROW EPISODE THREE - clip

"World of Tomorrow: The First Three Episodes" now available on Blu-...

youtube.com
Now live streaming Extol development: twitch.tv/choongmoo
ChoongMoo - Twitch

ChoongMoo - Twitch

http://atnnn.com — ChoongMoo streams live on Twitch! Check out their videos, sign up to chat, and join their community.

twitch.tv
1
The stream has ended!
1
The Extol module system is slowly taking shape. Recording here twitch.tv/videos/737968950
VOD - Twitch

VOD - Twitch

Catch up on this VOD on Twitch.

twitch.tv
Why I'm building a new programming language: a thread
2
3
more replies
I want complex code to be portable between any compiler or tool even if one tool uses a more powerful prover for type checking and another sees a different version of third party libraries. I want to store along each source file a versioned cache of all this information.
1
I'll be playing around with these ideas with Extol, a language that I've bootstrapped from Prolog: github.com/extollers/extol
GitHub - extollers/extol: Extol Programming Language

GitHub - extollers/extol: Extol Programming Language

Extol Programming Language. Contribute to extollers/extol development by creating an account on GitHub.

github.com
Load more