Lena@gregtech.eu to Programmer Humor@programming.dev · 1 month agoBased Haskell bluesky accountgregtech.euimagemessage-square12linkfedilinkarrow-up1168arrow-down17file-text
arrow-up1161arrow-down1imageBased Haskell bluesky accountgregtech.euLena@gregtech.eu to Programmer Humor@programming.dev · 1 month agomessage-square12linkfedilinkfile-text
minus-squaremsfroh@lemmy.calinkfedilinkarrow-up43·1 month 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-up42·1 month agoHoly fuck this is some top tier niche humor
minus-squarelambalicious@lemmy.sdf.orglinkfedilinkEnglisharrow-up4·1 month 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·1 month agoI’m not even German, but ich_iel has some quality stuff
What?
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