Lena@gregtech.eu to Programmer Humor@programming.dev · 8日前Based Haskell bluesky accountgregtech.euimagemessage-square12linkfedilinkarrow-up1131arrow-down14file-text
arrow-up1127arrow-down1imageBased Haskell bluesky accountgregtech.euLena@gregtech.eu to Programmer Humor@programming.dev · 8日前message-square12linkfedilinkfile-text
minus-squaremsfroh@lemmy.calinkfedilinkarrow-up34·8日前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-up37·8日前Holy fuck this is some top tier niche humor
minus-squarelambalicious@lemmy.sdf.orglinkfedilinkEnglisharrow-up4·8日前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-up1·7日前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