alcuin ❄️
@scheminglunatic
Followers
6K
Following
46K
Media
12K
Statuses
121K
pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." #TRAD_YAOI🇸🇱🚬 #AuDHD_NetSlop🧩🚂 #I_Heil_The_Black_Cube🕋🪐
washington dc
Joined September 2024
If I post in the next 15 hours, I'm gay. Today's agenda is more whatever with Nix and cleaning up my Zotero library and downloads folder too many PDFs and so on also maybe I need to set up ReScript devshell or something like that. You can add me on Discord.
0
0
12
twitter bird neurotoxim
The hooded pitohui is the first scientifically documented poisonous bird. Its feathers contain a neurotoxin called homobatrachotoxin, previously known only from poison dart frogs, and handling it can cause numbness 🐦
0
0
3
Grzegorz Łukasiewicz Brzozowski Kuratowski Grzegorczyk (Lv. 99 CEO of "Computers Polonia, Sp. z.o.o.")
1
0
1
the more unpronounceably slavic the name is, the more correct the programming opinion is.
1
1
7
authetnic tortilla chips made in mexico
people mistake the amber light of semiconductor cleanrooms as cinematography
0
0
2
people mistake the amber light of semiconductor cleanrooms as cinematography
0
1
10
Y'ain't been known that #Qomputanian_Lore
1
1
1
theorem: if you treat "passing unit tests" as synonymous with "correct," but you don't run unit tests for dependencies, then you're implicitly granting correctness to everything except the entry point corollary: most unit tests are a waste of time to write. (not intuitive!)
3
2
25
they're making these anime pfp larper swe accounts with 10k followers in a factory bro
6
1
69
kaoamoji!!!
@JustDeezGuy Our least favorite expressive type system, Lisp's, has exactly this type to denote all real numbers except zero: (declare (type x (or (real * (0)) (real (0) *)))) which is (-∞,0) ∪ (0,∞) = ℝ \ {0}. So even non-type nerds have thought about this for at least 40 years.
3
0
25
@JustDeezGuy Our least favorite expressive type system, Lisp's, has exactly this type to denote all real numbers except zero: (declare (type x (or (real * (0)) (real (0) *)))) which is (-∞,0) ∪ (0,∞) = ℝ \ {0}. So even non-type nerds have thought about this for at least 40 years.
2
3
41
OTZ BEAN!!!! 😍😍😍😍🥣🥣🥣
Today's slop is adasi (Persian lentil soup).
0
0
1
Today's slop is adasi (Persian lentil soup).
3
1
14
also i never understood why chatgpt subscription is different from the openai api subscription. those two login flows and access control flows should lowkey be the same
went to cancel my chatgpt subscription and they give me a month for free
0
0
1
went to cancel my chatgpt subscription and they give me a month for free
2
0
10
It's some kind of cousin to commodity fetishism that leads to unclear thinking, you need to unlearn seeing things like "politician", "CEO", and so on and redraw cross cutting lines when the abstractions get stale
1
1
4