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.
Hari
@cantinaxyz @spearbit koko // edellinen @solidity_lang
Muodollisesti todistettavissa olevat ohjelmointikielet ovat vain esoteerinen matematiikka/tietojenkäsittelyidea, joka ei käänny hyvin todelliseen maailmaan. Ne eivät yksinkertaisesti skaalaudu käytännölliseen koodiin.
Tosiasia on, että jos haluat rakentaa menestyvän kehittäjäekosysteemin, kielesi on muistutettava enemmän JavaScriptiä kuin Haskellia. Tämä pätee erityisesti LLM-ohjelmien nousuun, jossa kielet, joilla on enemmän koulutusdataa, kasvattavat markkinaosuuttaan jatkuvasti.
Sanon tämän henkilönä, jonka lempiohjelmointikieli oli Haskell ja joka on kehittänyt nämä järjestelmät päästä päähän kielen suunnittelusta kääntäjiin ja jopa taustalla oleviin matematiikan ratkaisijoihin. Ne eivät skaalaudu, koska taustalla olevat matematiikan ratkaisijat räjähtävät eksponentiaalisesti.
27.8. klo 01.53
Pieni muodollisesti todistettavissa oleva DSL rakenteeltaan => bpf olisi siistiä.
3,72K
Alan lähestyä GPT-5:tä, jos saat sen ajattelemaan kovasti, se on aika hyvä!
8.8. klo 23.24
Ensivaikutelmani GPT-5:stä on, että se on suunniteltu kilpailemaan Kaksosten kanssa.
Se näyttää olevan pikemminkin työhevosmalli kuin kilpahevonen.
2,78K
Kokeilin 5 erilaista matemaattista tehtävää ja se epäonnistui kaikissa 5:ssä. Yksi ongelmista oli jopa harjoitussarjassa, ja se epäonnistui silti.
Se yrittää parhaansa mukaan löytää "induktiivisen kuvion", mutta ei päättele kovin hyvin.
19.8. klo 12.13
Minulla oli suuria odotuksia Gemini Deep Thinkin suhteen. Annoin sille tänään olympiatyylisen matemaattisen tehtävän, ja se toimi huonosti.
Se teki virheellisen oletuksen prosessin alkuvaiheessa ja jatkoi väärällä tiellä.
1,99K
Johtavat
Rankkaus
Suosikit