gf0ur

625 posts

gf0ur

gf0ur

@gf0ur

Compilers, dataflow, Haskell, program analysis/optimization.

เข้าร่วม Ekim 2012
277 กำลังติดตาม116 ผู้ติดตาม
gf0ur รีทวีตแล้ว
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 รีทวีตแล้ว
(λ. 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 รีทวีตแล้ว
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 รีทวีตแล้ว
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 รีทวีตแล้ว
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 รีทวีตแล้ว
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
gf0ur รีทวีตแล้ว
Lizzie Siegle
Lizzie Siegle@lizziepika·
Did you know you can search Google from your command line with @ohmyzsh? Learned a LOT for my latest post on the @twilio blog, 9 zsh tricks to blow your mind ⤵️⤵️ twilio.com/blog/zsh-trick…
GIF
English
0
15
68
0