Argomenti di tendenza
#
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 intero // @solidity_lang precedente
I linguaggi di programmazione formalmente dimostrabili sono solo un'idea esoterica di Matematica / Informatica che non si traduce bene nel mondo reale. Semplicemente non scalano per il codice pratico.
La realtà è che se vuoi costruire un ecosistema di sviluppatori di successo, il tuo linguaggio deve essere più simile a JavaScript che a Haskell. Questo è particolarmente vero con l'ascesa dei LLM, dove i linguaggi con più dati di addestramento continueranno a crescere nella loro quota di mercato.
Lo dico come qualcuno il cui linguaggio di programmazione preferito era Haskell e che ha sviluppato questi sistemi end-to-end, dalla progettazione del linguaggio ai compilatori, e persino ai risolutori matematici sottostanti. Non scalano perché i risolutori matematici sottostanti esplodono esponenzialmente.
12 ore fa
Un piccolo DSL formalmente dimostrabile per costruzione a => bpf sarebbe interessante.
1,2K
Sto iniziando a farmi un'idea su GPT-5, se riesci a farlo pensare intensamente, è davvero buono!
8 ago, 23:24
La mia impressione iniziale di GPT-5 è che sia stato progettato per competere con Gemini.
Sembra essere un modello da lavoro piuttosto che un cavallo da corsa.
2,67K
Ho provato 5 diversi problemi di matematica e ha fallito su tutti e 5. Uno dei problemi era addirittura nel set di addestramento, eppure ha fallito.
Cerca di fare del suo meglio per trovare un 'modello induttivo', ma non ragiona molto bene.
19 ago, 12:13
Avevo grandi speranze per Gemini Deep Think. Oggi gli ho dato un problema matematico in stile Olimpiade, e ha performato male.
Ha fatto un'assunzione errata all'inizio del processo e ha continuato su un percorso sbagliato.
1,97K
Ironia della sorte, stiamo per assistere a un ritorno alla tradizione per le competenze di CS.
Credo che le competenze di CS più importanti ora saranno compilatori, infrastruttura e sicurezza.
C'è un meme che parla di seguire un corso di CS e non essere in grado di costruire un'app full-stack alla fine. Non più!
10 ago, 06:51
Sui LLMs per scrivere codice:
- Investi nei tuoi sistemi CI/CD. Pensa a come imposteresti le tue pipeline se avessi un enorme team di ingegneri. Questo è il livello a cui vuoi puntare.
- Investi eccessivamente in strumenti automatizzati, specialmente per la sicurezza. I grandi team lo fanno, ma spesso ignorano i risultati di questi strumenti. I LLM possono aiutare a filtrare i risultati.
- Scegli uno stack tecnologico popolare con tonnellate di dati di addestramento pubblici. Questi riceveranno un migliore supporto per i modelli. Come React, Tailwind, Postgres, Typescript, AWS, ecc.
4,56K
Ironia della sorte, stiamo per assistere a un ritorno alle competenze tradizionali in CS.
Credo che le competenze più importanti in CS ora saranno compilatori, infrastruttura e sicurezza.
C'è un meme che parla di seguire un corso di CS e non essere in grado di costruire un'app full-stack alla fine. Non più!
10 ago, 06:51
Sui LLMs per scrivere codice:
- Investi nei tuoi sistemi CI/CD. Pensa a come imposteresti le tue pipeline se avessi un enorme team di ingegneri. Questo è il livello a cui vuoi puntare.
- Investi eccessivamente in strumenti automatizzati, specialmente per la sicurezza. I grandi team lo fanno, ma spesso ignorano i risultati di questi strumenti. I LLM possono aiutare a filtrare i risultati.
- Scegli uno stack tecnologico popolare con tonnellate di dati di addestramento pubblici. Questi riceveranno un migliore supporto per i modelli. Come React, Tailwind, Postgres, Typescript, AWS, ecc.
137
Principali
Ranking
Preferiti