Raja de Idris @syscallnull

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 160 8K 10

Palmer Luckey @PalmerLuckey

4 weeks ago

323 502 12K 660K 899

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 40 0

Steven Simoni @StevenSimoni

4 weeks ago

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

1 3 6 738 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 162 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 34 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.

0 0 0 22 0

Raja de Idris @syscallnull

a month ago

What if the right language for LLMs isn't natural language, but instead a domain specific language. LdslMs.

0 0 0 7 0

Raja de Idris @syscallnull

a month ago

is anyone building businesses off of Category Theory?

0 0 0 10 0

Raja de Idris @syscallnull

a month ago

Eventually in haskell you find yourself repeating demon summons fix f, fix f, fix f, like the ghost of Church inhabiting you to fix f, fix f... newtype Fix f = Fix (f (Fix f))

0 0 0 16 0

Raja de Idris @syscallnull

a month ago

My ambition is to graduate my brain from default mathematical thinking in sets and functions to thinking in objects and morphisms.

0 0 1 13 0

Raja de Idris @syscallnull

a month ago

llm agents are recursive functions. They call themselves with their own output. now what if those functions can be well-formed, such that there is a provable fixed point. Then we will know when the agent has converged. This would require the function to be monotonic with a LUB.