Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Man må forestille seg Guille konstant lykkelig

4. juli, 08:10
dagens latterlige bit i Julia: implementering av en (enkel!) formell verifiseringsmini-PL ved å bruke Julia-typer
den kan til og med bekrefte at 1+1=2 fra Peano-aksiomer!

1,14K
Topp
Rangering
Favoritter