Lena@gregtech.eu to Programmer Humor@programming.dev · 2 months agoBased Haskell bluesky accountgregtech.euimagemessage-square12linkfedilinkarrow-up1167arrow-down17file-text
arrow-up1160arrow-down1imageBased Haskell bluesky accountgregtech.euLena@gregtech.eu to Programmer Humor@programming.dev · 2 months agomessage-square12linkfedilinkfile-text
minus-squaremsfroh@lemmy.calinkfedilinkarrow-up42·2 months 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-up40·2 months agoHoly fuck this is some top tier niche humor
minus-squarelambalicious@lemmy.sdf.orglinkfedilinkEnglisharrow-up4·2 months 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