Étienne Laurin
@atnnnPolyglot programming. Correctness proofs. Elegant abstractions. Concise code.
Similar User
@arntzenius
@zeeshanusmani
@shunk031
@danielmewes
@mglukhovsky
@PaulDrawsArt
@frod_san
@madbyk
@RanjitJhala
@NatalieMarleny
@corba77
@LindseyPipesUp
@deontologician
@sys9kdr
@hveldstra
#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.
I found Yann LeCun's analysis of autonomous driving fascinating:
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-0-0-…
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.
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.
TIL there's restrictions on public displays of English signs in Quebec cbc.ca/amp/1.860189
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.
Who called it BUILD_SHARED_LIBS and not CMAKE_IT_SO?
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!
Nix 2.4 released: discourse.nixos.org/t/nix-2-4-rele… That's a wild two years of improvements 🥳
New free online book by Tobias Nipkow et al: ‘Functional Programming, Verified!’ An introduction to data structures and algorithms for functional languages, with a focus on proofs. All proofs have been machine-checked in Isabelle/HOL. functional-algorithms-verified.org
I sometimes look forward to drowning together.
good morning here’s a clip from WORLD OF TOMORROW EPISODE THREE 🌊 youtube.com/watch?v=K6bKp8…
United States Trends
- 1. Deebo 23 B posts
- 2. #TheGameAwards 263 B posts
- 3. Clive 26,2 B posts
- 4. Purdy 11,1 B posts
- 5. Stafford 10,8 B posts
- 6. Rams 31 B posts
- 7. 49ers 36,9 B posts
- 8. $LINGO 67,1 B posts
- 9. Elden Ring 127 B posts
- 10. Arcane 257 B posts
- 11. Kittle 6.792 posts
- 12. Ciri 38 B posts
- 13. Witcher 4 35,2 B posts
- 14. Fallout 27,8 B posts
- 15. Niners 6.183 posts
- 16. Tifa 18,1 B posts
- 17. Cooper Kupp 2.088 posts
- 18. Trent Williams 3.841 posts
- 19. Barkley 6.335 posts
- 20. Virtua Fighter 12,5 B posts
Who to follow
-
rntz
@arntzenius -
Zeeshan Usmani
@zeeshanusmani -
しゅんけー
@shunk031 -
Daniel Mewes 🦋 @dmewes.com
@danielmewes -
Michael Glukhovsky
@mglukhovsky -
PaulDrawsArt 🎄
@PaulDrawsArt -
F Rodriguez-Sanchez
@frod_san -
Burak Yigit Kaya
@madbyk -
Ranjit Jhala
@RanjitJhala -
Natalie Marleny
@NatalieMarleny -
Artem Zvyagintsev🇺🇸🇺🇦@NeurIPS 2024
@corba77 -
Lindsey Davis
@LindseyPipesUp -
Josh Kuhn
@deontologician -
USBケーブル整理
@sys9kdr -
Hassy Veldstra
@hveldstra
Something went wrong.
Something went wrong.