gf0ur

625 posts

gf0ur

gf0ur

@gf0ur

Compilers, dataflow, Haskell, program analysis/optimization.

Katılım Ekim 2012
277 Takip Edilen116 Takipçiler
gf0ur retweetledi
Amila Welihinda
Amila Welihinda@amilajack·
Life is to short to use dated cli tools that suck Try these instead 🧵
English
171
3.3K
15.2K
0
gf0ur retweetledi
(λ. borkdude) 🌱
(λ. borkdude) 🌱@borkdude·
A static musl linux binary with #graalvm with #nix in just a few lines, reproducible and reusable setup.
(λ. borkdude) 🌱 tweet media
English
5
2
43
0
gf0ur retweetledi
gabby
gabby@GabriellaG439·
Programming language author: I have made a huge mistake and people have to constantly work around my mistake in perpetuity Programming language user: I love everything about this language and these workarounds feel so sensible, idiomatic, and pragmatic to me
English
7
44
403
0
gf0ur retweetledi
Axel Rauschmayer (also on 🦣)
Free Guy: Yes, coders are all about zeros and ones. 😀 I think many people who don’t code would be surprised how much programming is about language and not about math.
English
14
22
185
0
gf0ur retweetledi
gabby
gabby@GabriellaG439·
Imperative programming is not mechanical sympathy Efficient compilers and CPUs go to great lengths to ignore the explicit linearization/sequencing imposed by imperative languages whenever possible
English
3
24
165
0
gf0ur retweetledi
Patrick Walton
Patrick Walton@pcwalton·
One thing I would love to see answered in the next few years (by way of Rust MIR optimizations) is "how much faster can systems code go if the optimizer can assume memory safety".
English
7
2
146
0