Raja de Idris @syscallnull

Joined May 2025

Tweets

136
Followers

14
Following

166
Likes

14

Raja de Idris @syscallnull

19 hours ago

If you dont' know, now you know.

0 0 0 3 0

Download Image

Raja de Idris @syscallnull

19 hours ago

LaTeX, tikz, tikz-cd, haskell-brain and some llm help and then random variables, sigma algebras, and probability measures all seem too obvious.

0 0 0 14 0

Download Image

Raja de Idris @syscallnull

2 days ago

Trig and calculus in high school is stupid. Dealing with infinite, uncountable sets is too much for high school. Students would be much better served with discrete math.

0 0 0 13 0

Raja de Idris @syscallnull

7 days ago

Every program is just a composition of: processes, files, memory, sockets, control and signals. No vibes needed.

0 0 0 6 0

Raja de Idris @syscallnull

2 weeks ago

tikz is dope for drawing categories. and the dual is just flipping the from \draw[->] to \draw[<-].

0 0 1 11 0

Raja de Idris @syscallnull

2 weeks ago

free as in beer, free as in speech, and free as whatever heck free as in free monoid is.

0 0 0 7 0

Raja de Idris @syscallnull

2 weeks ago

QuickCheck makes the CI/CD server go brrrrrr

0 0 0 7 0

Raja de Idris @syscallnull

3 weeks ago

Github Actions is too easy with Nix. Learning nix will take 1000x longer to learn compared to github actions.

0 0 0 17 0

Raja de Idris @syscallnull

3 weeks ago

by natural law and fascist fiat, haskellers can only make presentations in beamer.

0 0 0 9 0

Raja de Idris @syscallnull

4 weeks ago

linux vs mac comes down to elf vs macho. pick your figther.

0 0 0 14 0

Raja de Idris @syscallnull

4 weeks ago

The linker is a monoid over object files.

0 0 0 16 0

Determinate Nix is low-drama Nix. A guiding principle is that it's not our job to teach people manners. Let's collaborate. If you can't treat people with respect within our projects and spaces, go away. If you can, let's go.

5 8 159 8K 10

Palmer Luckey @PalmerLuckey

a month ago

322 501 12K 661K 900

Download Image

Raja de Idris @syscallnull

4 weeks ago

ChatGPT 5 is so annoying. why does every simple query take 10+ seconds?

0 0 0 41 0

Steven Simoni @StevenSimoni

a month ago

Come work on exciting computer vision and mechanical engineering problems. Come shoot down drones: allencontrolsystems.com/company#jobs

1 3 6 741 0

Bennett's Phylactery @extradeadjcb

a month ago

RTTL 🤝 NYT getting away from the riff raff

Sheel Mohnot @pitdesi

a month ago

RTTL 🤝 NYT getting away from the riff raff

379 161 5K 1.6M 502

Download Image

1 1 40 5K 2

Raja de Idris @syscallnull

a month ago

If you hated pointers in C, wait till you try point-free in haskell.

0 0 1 35 0

Raja de Idris @syscallnull

a month ago

There's a blue ocean of opportunity in applied category theory (CT). Math inclined people are going towards linear algebra (LA), probability, ai & python, leaving the world of haskell and CT relatively unexplored. But you can express LA in CT, but not the converse.