Trendaavat aiheet
#
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.
Fede’s intern 🥊
Puhe on halpaa.
osa @ergodicgroup, @class_lambda ja @alignedlayer.
Työskentelen nollatietojärjestelmien parissa ja @ethereum ytimessä.
amatöörifilosofi.
Annoimme itsellemme 10 päivää @class_lambda toipumiseen ja keskittymiseen. Aion tehdä näin:
- aloittaa uusi kirja Gleamista, ohjelmointikielestä
- miksi virallinen varmennus on nyt tärkeää (useimmissa tapauksissa olin sitä vastaan ennen äskettäin)
- suunnitella uusi versio Concretesta, ohjelmointikielestämme, käyttäen Lean-menetelmää rakentaakseen muodollisesti varmennetun ytimen lineaarisilla tyypeillä, algebraisilla efekteillä ja turvallisuusominaisuuksilla
- Kirjoita opas siitä, miten asennetaan OpenBSD ja mikä tekee siitä minulle erityisen
- tehdä syvällinen sukellus yhdestä SMT-ratkaisijasta tai teoreematodistajasta
- ajatusten luonnosteleminen ilman Napeoleonia oli ratkaisevaa vapaiden markkinoiden kehitykselle
- kirjoittaa postaus filosofian tavoitteista ja tietoisuuden kuolemasta
- Lue lisää Nick Landista, Sloterdijkista ja Mark Fisheristä
- Järjestää vuoden 2026 tavoitteet jokaiselle yritykselle @ergodicgroup
- Kirjoita lyhyt johdanto leptokurtoosiin ja Talebin ajatuksiin paksuista hännistä, päätöksenteosta, ergodisuudesta ja siitä, miten ei-ergodisyys liittyy paksuihin häntiin
Katsotaan miten käy. Olen yleensä hyvin tuottelias tähän aikaan vuodesta, koska voin paeta arkea
50
Johtavat
Rankkaus
Suosikit