we back
Remote
Henrý Ólson
@nemo@camp.crates.im
mastodon 4.6.8I'm not a computer scientist, I'm just tilting at windmills in a random forest
64 Followers
64 Following
28 Posts
Joined March 18, 2022
site:
Replying to
@lindsey @jonmsterling @zwarich the paragraph after "Lean is implemented in Lean" sounds like the beginning of a copypasta 😭
ᓚᘏᗢ
IM GOING TO OPLSS 2026 YAWHOOOO
Replying to
@Lana@beige.party I mean if ur going after their tax records, I think it's safe to say they're documented at that point
anti-foreigner bias sucks \:
Replying to
@filippo@abyssdomain.expert @dominik@mastodon.honnef.co I have mad respect for you. Taking on risk for a chance to live out an idea is a huge accomplishment. You should feel proud of yourself :flan_squee:
Replying to
@adrian@discuss.systems also can we get a cert for radbox.org too? the site reminds me of some of the websites my friends have
todd the tawd: http://radbox.org/todd/
parallelism is hard man
ill be at the university of washington this weekend o7
my datalog engine is coming along just well (:
man, alvin plantinga is over 90 years old
i love it when a programming language doesnt have web search for their documentation (((:
why is my aws bill $500, ive not used it this nor last month :sweatstiny:
pov: u were raised in babylon
dude, this is so cool: https://rosalind.info
im spiritually from maine
Replying to
@edwintorok@discuss.systems @avsm@amok.recoil.org >and for Claude sometimes including the official refusal magic string
i do this with my repos now 🫠
Replying to
Replying to