Lena@gregtech.eu to Programmer Humor@programming.dev · 2 days agoBased Haskell bluesky accountgregtech.euimagemessage-square12linkfedilinkarrow-up1155arrow-down17file-text
arrow-up1148arrow-down1imageBased Haskell bluesky accountgregtech.euLena@gregtech.eu to Programmer Humor@programming.dev · 2 days agomessage-square12linkfedilinkfile-text
minus-squaremsfroh@lemmy.calinkfedilinkarrow-up40·2 days agohttps://en.wikipedia.org/wiki/Peano_axioms In this case, they’re talking about being in the natural numbers club, and applying the “successor” (or “succ”) function.
minus-squareMissesAutumnRains@lemmy.blahaj.zonelinkfedilinkarrow-up37·2 days agoHoly fuck this is some top tier niche humor
minus-squarelambaliciouslinkfedilinkEnglisharrow-up3·1 day agoThis and ich_iel are why I like the Fediverse! in as much as reaching into BS can be considered “Fediverse”
minus-squareDrekaridill@lemmy.wtflinkfedilinkarrow-up2·13 hours agoI’m not even German, but ich_iel has some quality stuff
https://en.wikipedia.org/wiki/Peano_axioms
In this case, they’re talking about being in the natural numbers club, and applying the “successor” (or “succ”) function.
Holy fuck this is some top tier niche humor
This and ich_iel are why I like the Fediverse!
in as much as reaching into BS can be considered “Fediverse”I’m not even German, but ich_iel has some quality stuff
Thanks <3