Tópicos em alta
#
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 inteiro // anterior @solidity_lang
Linguagens de programação formalmente prováveis são apenas uma ideia esotérica de matemática / CS que não se traduz bem para o mundo real. Eles simplesmente não escalam para código prático.
A realidade é que, se você deseja construir um ecossistema de desenvolvedores bem-sucedido, sua linguagem precisa ser mais parecida com JavaScript do que com Haskell. Isso é especialmente verdadeiro com o surgimento dos LLMs, onde as linguagens com mais dados de treinamento continuarão aumentando sua participação no mercado.
Digo isso como alguém cuja linguagem de programação favorita era Haskell e que desenvolveu esses sistemas de ponta a ponta, desde o design da linguagem até os compiladores e até mesmo os solucionadores matemáticos subjacentes. Eles não escalam porque os solucionadores matemáticos subjacentes explodem exponencialmente.
19 horas atrás
DSL pequena formalmente comprovável por construção para = > bpf seria legal.
2,37K
Estou começando a chegar ao GPT-5, se você conseguir pensar muito, é muito bom!
8 de ago., 23:24
Minha impressão inicial do GPT-5 é que ele foi projetado para competir com o Gemini.
Parece ser um modelo de burro de carga em vez de um cavalo de corrida.
2,73K
Tentei 5 problemas matemáticos diferentes e falhou em todos os 5. Um dos problemas estava até no conjunto de treinamento, e ainda assim falhou.
Ele tenta o seu melhor para encontrar um 'padrão indutivo', mas não raciocina muito bem.
19 de ago., 12:13
Eu tinha grandes esperanças para o Gemini Deep Think. Eu dei a ele um problema de matemática no estilo Olympiad hoje, e ele teve um desempenho ruim.
Ele fez uma suposição incorreta no início do processo e continuou no caminho errado.
1,98K
Ironicamente, veremos um retorno à tradição para as habilidades de CS.
Acredito que as habilidades de CS mais importantes agora serão compiladores, infraestrutura e segurança.
Há um meme sobre fazer uma aula de CS e não ser capaz de construir um aplicativo full-stack no final dela. Não mais!
10 de ago., 06:51
Em LLMs que escrevem código:
- Invista em seus sistemas de CI/CD. Pense em como você configuraria seus pipelines se tivesse uma equipe de engenharia enorme. Esse é o nível que você deseja almejar.
- Invista demais em ferramentas automatizadas, especialmente para segurança. Grandes equipes fazem isso, mas muitas vezes ignoram a saída dessas ferramentas. Os LLMs podem ajudar a classificar a saída.
- Escolha uma pilha de tecnologia popular com toneladas de dados públicos de treinamento. Estes terão melhor suporte ao modelo. Como React, Tailwind, Postgres, Typescript, AWS, etc.
4,57K
Ironicamente, veremos um retorno ao tradicional para habilidades de CS.
Acredito que as habilidades de CS mais importantes agora serão compiladores, infraestrutura e segurança.
Há um meme sobre fazer uma aula de CS e não ser capaz de construir um aplicativo full-stack no final dela. Não mais!
10 de ago., 06:51
Em LLMs que escrevem código:
- Invista em seus sistemas de CI/CD. Pense em como você configuraria seus pipelines se tivesse uma equipe de engenharia enorme. Esse é o nível que você deseja almejar.
- Invista demais em ferramentas automatizadas, especialmente para segurança. Grandes equipes fazem isso, mas muitas vezes ignoram a saída dessas ferramentas. Os LLMs podem ajudar a classificar a saída.
- Escolha uma pilha de tecnologia popular com toneladas de dados públicos de treinamento. Estes terão melhor suporte ao modelo. Como React, Tailwind, Postgres, Typescript, AWS, etc.
150
Melhores
Classificação
Favoritos