Lena@gregtech.eu to Programmer Humor@programming.dev · 3 天前Based Haskell bluesky accountgregtech.euimagemessage-square12linkfedilinkarrow-up1165arrow-down17file-text
arrow-up1158arrow-down1imageBased Haskell bluesky accountgregtech.euLena@gregtech.eu to Programmer Humor@programming.dev · 3 天前message-square12linkfedilinkfile-text
minus-squaremsfroh@lemmy.calinkfedilinkarrow-up43·3 天前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.
minus-squareMissesAutumnRains@lemmy.blahaj.zonelinkfedilinkarrow-up42·3 天前Holy fuck this is some top tier niche humor
minus-squarelambaliciouslinkfedilinkEnglisharrow-up4·3 天前This 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·2 天前I’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