OneSignal: Abraçando a Flexibilidade no Trabalho

2025-04-16
OneSignal: Abraçando a Flexibilidade no Trabalho

A OneSignal prioriza a flexibilidade no local de trabalho para promover a produtividade e a felicidade dos funcionários. Reconhecendo as diversas necessidades entre funções, equipes e indivíduos, eles apoiam tanto os modelos de trabalho totalmente remotos quanto os híbridos. Com sede em San Mateo, Califórnia, eles também oferecem espaços de trabalho compartilhados em vários locais (CA, NY, UT, PA, WA e TX) para facilitar a colaboração. Globalmente, eles mantêm um escritório em Londres e um espaço de trabalho compartilhado em Singapura em parceria com a Piloto Asia.

Leia mais
Startup

Rabiscos de uma criança de 800 anos: um vislumbre da infância medieval

2025-04-16
Rabiscos de uma criança de 800 anos: um vislumbre da infância medieval

Escavações arqueológicas soviéticas desenterraram esboços em casca de bétula de Novgorod medieval, por volta de 1250 d.C., criados por um aluno chamado Onfim. Seus desenhos caprichosos — cavalos, soldados, autorretratos — revelam as capacidades expressivas das crianças medievais. Contrastando com isso estão os desenhos a carvão encontrados em uma mina de ferro francesa, representando crianças mineiras, um reflexo comovente de sua dura realidade. Essas descobertas oferecem uma perspectiva única sobre a infância pré-moderna, destacando sua universalidade e experiências diversas ao longo do tempo e da cultura.

Leia mais

Pequena ISP desafia gigantes: levando internet de alta velocidade para áreas carentes

2025-04-16
Pequena ISP desafia gigantes: levando internet de alta velocidade para áreas carentes

Frustrado com o mau serviço das grandes ISPs, o arquiteto de rede Mauch passou cinco anos construindo sua própria rede de fibra, levando internet acessível e de alta velocidade para áreas carentes do Condado de Washtenaw, Michigan. Ele conseguiu US$ 2,6 milhões em financiamento do governo para oferecer planos de 100 Mbps e 1 Gbps, com o objetivo de concluir metade do projeto até o final de 2023. Isso contrasta fortemente com as exorbitantes taxas de extensão de linha das grandes ISPs, destacando os esforços do governo para reduzir a lacuna digital. A história de Mauch mostra a iniciativa individual e o papel crucial que as pequenas ISPs desempenham na expansão do acesso à internet.

Leia mais

Otimização de Programas: Quatro Abordagens Antes de Reescrever

2025-04-16

A execução lenta de programas é um problema comum para programadores. O autor, com base em anos de experiência em otimização, apresenta quatro abordagens: 1. Use um algoritmo melhor; 2. Use uma estrutura de dados melhor; 3. Use um sistema de baixo nível; 4. Aceite uma solução menos precisa. O artigo usa o ordenação por bolha e ordenação por seleção como exemplos para ilustrar a importância da seleção de algoritmos, enfatizando a necessidade de considerar fatores práticos ao escolher estruturas de dados e linguagens de programação. O autor adverte contra a otimização prematura e enfatiza a importância do perfil rigoroso antes de tentar a otimização.

Leia mais
Desenvolvimento otimização de programas

Administração Trump encerra programa gratuito de declaração de impostos do IRS

2025-04-16
Administração Trump encerra programa gratuito de declaração de impostos do IRS

A administração Trump planeja eliminar o programa Direct File do IRS, um sistema eletrônico gratuito para declaração de impostos diretamente para a agência. Lançado durante a administração Biden, o programa foi elogiado por sua facilidade de uso, mas legisladores republicanos e empresas comerciais de preparação de impostos o criticaram como um desperdício. Embora existam alternativas gratuitas, elas costumam ser difíceis de usar. A decisão gera preocupações sobre a eficiência do governo e acusações de favorecimento a grandes empresas de preparação de impostos, com a senadora Warren alegando que a medida protege seus lucros.

Leia mais

Codex: Agente de codificação leve para seu terminal

2025-04-16
Codex: Agente de codificação leve para seu terminal

Codex é um agente de codificação leve que roda em seu terminal, utilizando a API OpenAI para raciocínio de código no nível do ChatGPT. Ele oferece modos interativo e não interativo, automatizando a conclusão de código, execução, instalação de dependências e até mesmo a geração de testes unitários. Um sandbox robusto garante segurança. Os usuários podem personalizar instruções e modos de aprovação, lidando com tarefas desde explicações de código simples até refatoração complexa. Suporta vários sistemas operacionais e é de código aberto para contribuições da comunidade, Codex simplifica os fluxos de trabalho de desenvolvimento.

Leia mais
Desenvolvimento

Licença Llama 3.3: Você realmente está cumprindo?

2025-04-16
Licença Llama 3.3: Você realmente está cumprindo?

Apesar de ser comercializado como open-source, a licença do Llama 3.3 da Meta contém restrições que muitos desenvolvedores podem ignorar. O artigo destaca a exigência de exibir claramente "Built with Llama" ao distribuir o modelo ou derivados, e de prefixar os nomes dos modelos derivados com "Llama-". Além disso, a Política de Uso Aceitável exige a divulgação de riscos conhecidos do sistema de IA, como vieses ou imprecisões, aos usuários finais. O autor exorta os desenvolvedores a revisar cuidadosamente a licença e decidir se irão cumprir ou não, evitando potenciais problemas legais.

Leia mais
Desenvolvimento licença open-source

OpenAI lança Codex CLI: agente de codificação em IA local

2025-04-16
OpenAI lança Codex CLI: agente de codificação em IA local

A OpenAI lançou o Codex CLI, um agente de codificação local que roda a partir do seu terminal. Conectando os modelos da OpenAI (incluindo os novos o3 e o4-mini) a código local e tarefas, o Codex CLI permite que a IA escreva, edite código e execute ações como mover arquivos. Isso representa um passo em direção à visão da OpenAI de um 'engenheiro de software agente'. De código aberto e leve, o Codex CLI é apoiado por um programa de concessão de API de US$ 1 milhão para projetos de desenvolvimento de software. Embora as ferramentas de codificação de IA apresentem riscos inerentes, o Codex CLI oferece uma nova abordagem para programação assistida por IA.

Leia mais
Desenvolvimento codificação em IA

RakuAST: Uma Reescrita Hercúlea de um Frontend de Compilador

2025-04-16

O projeto RakuAST realizou uma reescrita completa e um redesenho do frontend do compilador da linguagem de programação Raku. O autor abordou o projeto sistematicamente corrigindo testes de especificação com falha, um por um. Isso envolveu lidar com as complexidades da sintaxe do Raku, incluindo métodos privados, metamétodos e chamadas de hipermétodos. O maior obstáculo foi o tempo e a sequência intrincados necessários dentro do processo de compilação do Raku, exigindo controle preciso sobre a ordem da compilação dos componentes. Mais de 900 commits depois, o projeto atingiu com sucesso seu objetivo principal. Além disso, ele inicializou o compilador, permitindo a autocompilação, o que apresentou mais desafios na gestão de dependências circulares e nas complexidades da extensa biblioteca padrão. O sucesso do projeto foi auxiliado por contribuições de vários membros da comunidade.

Leia mais
Desenvolvimento

Resolvendo a Crise CVE: Certificação Profissional e Relatórios Obrigatórios de Vulnerabilidades

2025-04-16

A iminente expiração do contrato CVE da MITRE gerou controvérsia, levando a uma proposta para melhorar a segurança de software. O sistema CVE atual é repleto de relatórios imprecisos, diminuindo seu valor. O autor sugere um sistema baseado em atributos de vulnerabilidade em vez de pontuações, juntamente com a certificação de Engenheiro de Software Profissional (PSWE). A falha em relatar vulnerabilidades com precisão dentro de um prazo resultaria na revogação da licença, incentivando os relatórios. A proposta inclui financiamento e treinamento para futuros PSWEs, abordando preocupações de acessibilidade, criando, em última análise, um cenário ganha-ganha para a segurança de software e a sustentabilidade de projetos FOSS.

Leia mais

A Arma Secreta da Segunda Guerra Mundial: Varredores de Minas Aéreos

2025-04-16
A Arma Secreta da Segunda Guerra Mundial: Varredores de Minas Aéreos

No início da Segunda Guerra Mundial, minas magnéticas alemãs devastaram o transporte marítimo britânico. A resposta brilhante da Grã-Bretanha foi modificar bombardeiros Wellington em varredores de minas aéreos, imitando a assinatura magnética de um navio para detonar as minas. Essa tática revolucionária limpou rapidamente os campos minados, protegendo as rotas de navegação vitais. A Alemanha fez o mesmo, adaptando transportes Junkers Ju-52, mas sofreu grandes perdas devido à falta de escolta de caças. Esses varredores de minas aéreos desempenharam um papel crucial, embora muitas vezes esquecido, na Segunda Guerra Mundial, prenunciando as unidades modernas de contramedidas de minas de helicópteros.

Leia mais

O Terak 8510/a: Um Computador Gráfico Esquecido

2025-04-16

Este artigo detalha o Terak 8510/a, um computador pessoal do final da década de 1970. Baseado no processador PDP-11/03, ele possuía recursos gráficos avançados e foi amplamente usado para o ensino de programação Pascal em universidades. O Terak 8510/a teve uma profunda influência na história da computação, sendo considerado um dos primeiros computadores pessoais com exibição de mapa de bits, e envolvido no desenvolvimento de softwares CAD iniciais e do MacPaint. O artigo também relata a experiência do autor coletando hardware e software Terak, e seus planos para desenvolver um emulador Terak.

Leia mais
Hardware

Modo Eink: Navegação na Web Reformulada para Telas de Tinta Eletrônica

2025-04-16
Modo Eink: Navegação na Web Reformulada para Telas de Tinta Eletrônica

Cansado da fadiga ocular causada por telas retroiluminadas? O Modo Eink transforma a navegação na web em dispositivos de tinta eletrônica em uma experiência de leitura semelhante à do papel. Ele apresenta páginas da web em um formato paginado, reduzindo significativamente o consumo de energia e melhorando a legibilidade. Gestos de toque avançados e suporte à caneta permitem que você vire páginas facilmente, ajuste o tamanho da fonte, destaque texto e até mesmo faça anotações diretamente na página da web. Todos os destaques e anotações são salvos como um PDF para revisão posterior. O Modo Eink não se limita a dispositivos de tinta eletrônica; ele também aprimora a legibilidade em iPads e outros tablets, oferecendo uma experiência de leitura mais confortável e eficiente.

Leia mais

Dados estruturados do Wikimedia chegam ao Kaggle!

2025-04-16
Dados estruturados do Wikimedia chegam ao Kaggle!

A Wikimedia Foundation e o Kaggle estão colaborando para lançar uma versão beta de conjuntos de dados estruturados da Wikipédia em francês e inglês. Esses dados, formatados especificamente para aprendizado de máquina, são perfeitos para treinamento e desenvolvimento em ciência de dados. O Kaggle, que abriga mais de 461.000 conjuntos de dados publicamente acessíveis, fornece um recurso rico para pesquisadores, estudantes e profissionais de aprendizado de máquina. Essa colaboração garante a qualidade e a procedência dos dados, e estamos animados para ver o que as pessoas construirão com eles.

Leia mais
IA

Revivendo o UCSD p-System: Uma lenda de compilação multiplataforma

2025-04-16
Revivendo o UCSD p-System: Uma lenda de compilação multiplataforma

O autor revisita o UCSD p-System, um sistema operacional e compilador multiplataforma da década de 1970. Ele alcançou portabilidade em diversas máquinas (de PDP-11 a Apple II) através de sua máquina virtual p-machine. O autor compartilha experiências pessoais usando Apple Pascal e UCSD Pascal no ensino médio e planeja reconstruir um emulador p-machine em Rust, continuando seu legado e resolvendo problemas com documentação ausente e dependências de compiladores desatualizados em ferramentas existentes.

Leia mais
Desenvolvimento tecnologia retro

Agentes de 12 Fatores: Princípios para Construir Aplicações LLM Confiáveis

2025-04-16
Agentes de 12 Fatores: Princípios para Construir Aplicações LLM Confiáveis

Este artigo explora os princípios para construir software alimentado por LLM confiável, escalável e fácil de manter — os Agentes de 12 Fatores. O autor argumenta que as estruturas de agentes existentes ficam aquém na produção, com muitos chamados "Agentes de IA" sendo principalmente código determinístico salpicado de etapas LLM. O autor propõe princípios para construir agentes mais robustos, enfatizando uma abordagem modular de incorporar conceitos de agentes pequenos e modulares em produtos existentes, evitando reescritas ineficientes em campo verde. Esta é uma leitura valiosa para engenheiros e empreendedores focados no desenvolvimento de aplicativos de IA.

Leia mais
Desenvolvimento Agente

ActorCore: Serverless com Estado que Funciona em Qualquer Lugar

2025-04-16
ActorCore: Serverless com Estado que Funciona em Qualquer Lugar

O ActorCore é uma estrutura em TypeScript para construir facilmente aplicativos com estado, agentes de IA, colaborativos ou locais. Ele elimina a necessidade de bancos de dados e ORMs, oferecendo velocidades de leitura/escrita extremamente rápidas, armazenando o estado na mesma máquina que o cálculo. Implante em plataformas como Rivet, Cloudflare, Bun, Node.js e muito mais. Eventos de baixa latência integrados permitem atualizações de estado em tempo real e mudanças de transmissão. Seu armazenamento de dados na borda exclusivo fornece interações instantâneas. Embora atualmente não seja ideal para OLAP, data lakes, bancos de dados de grafos e dados altamente relacionais, ele está em constante melhoria e visa se tornar a maneira universal de construir e escalar aplicativos serverless com estado.

Leia mais
Desenvolvimento modelo ator

Google simplifica domínios de pesquisa: ccTLDs estão indo embora

2025-04-16
Google simplifica domínios de pesquisa: ccTLDs estão indo embora

O Google anunciou que irá gradualmente eliminar os domínios de nível superior de código de país (ccTLDs, como google.ng e google.com.br), redirecionando todo o tráfego para google.com. Isso se baseia nas melhorias do Google na prestação de resultados de pesquisa localizados ao longo dos anos, tornando os ccTLDs desnecessários. A mudança não afetará o funcionamento da Pesquisa ou o tratamento pelo Google das obrigações legais nacionais; apenas a barra de endereço do navegador será alterada. Os usuários podem precisar inserir novamente algumas preferências de pesquisa.

Leia mais

IA pode substituir US$ 1 milhão em Engenharia de Software Freelance? Pesquisa mais recente da OpenAI

2025-04-16
IA pode substituir US$ 1 milhão em Engenharia de Software Freelance? Pesquisa mais recente da OpenAI

O novo artigo da OpenAI, SWE-Lancer, avalia modelos de IA de ponta em tarefas reais de desenvolvimento de software. Usando mais de 1400 trabalhos freelance do Upwork (totalizando mais de US$ 1 milhão), o estudo dividiu as tarefas em tarefas de contribuidor individual (correção de bugs, construção de recursos) e tarefas de gerente de engenharia (seleção da melhor solução). Mesmo o melhor desempenho, Claude 3.5 Sonnet, completou apenas 33,7% das tarefas, ganhando aproximadamente US$ 403.000. A IA se destacou na seleção de soluções em vez de criá-las, sugerindo que os aplicativos iniciais podem se concentrar em revisão de código e decisões arquitetônicas. Este benchmark oferece uma maneira concreta de medir o progresso da IA, ajudando os líderes a entender e prever as capacidades e o impacto da IA.

Leia mais
Desenvolvimento

API Churn vs. Segurança: Os Perigos da Lógica Pesada do Lado do Cliente

2025-04-16
API Churn vs. Segurança: Os Perigos da Lógica Pesada do Lado do Cliente

Este artigo explora os problemas decorrentes da tendência atual de lógica pesada do lado do cliente em aplicativos web, ou seja, a rotatividade da API. Embora soluções como o GraphQL ofereçam APIs mais expressivas, mitigar os riscos de segurança resultantes — onde o aumento do poder do lado do cliente capacita usuários maliciosos — torna-se incrivelmente complexo. O autor argumenta que mover a lógica de volta para o lado do servidor é a melhor abordagem para evitar essa troca entre a rotatividade da API e a complexidade da segurança.

Leia mais
Desenvolvimento segurança de front-end

DVMCP: Uma Implementação Deliberadamente Vulnerável do Protocolo de Contexto de Modelo

2025-04-16
DVMCP: Uma Implementação Deliberadamente Vulnerável do Protocolo de Contexto de Modelo

O DVMCP é uma implementação deliberadamente vulnerável do Protocolo de Contexto de Modelo (MCP) projetada para fins educacionais. Ele apresenta 10 desafios de dificuldade crescente que demonstram várias vulnerabilidades e vetores de ataque, incluindo injeção de prompt, envenenamento de ferramentas, permissões excessivas, ataques de 'rug pull', ocultação de ferramentas, injeção de prompt indireta, roubo de tokens, execução de código malicioso, controle de acesso remoto e ataques multivetoriais. Este projeto visa educar pesquisadores de segurança, desenvolvedores e profissionais de segurança de IA sobre os potenciais riscos de segurança nas implementações de MCP e estratégias de mitigação.

Leia mais
Desenvolvimento

Krep: Utilitário de busca de string com desempenho excepcional

2025-04-16
Krep: Utilitário de busca de string com desempenho excepcional

Krep é um utilitário de busca de string otimizado para desempenho, projetado para máxima taxa de transferência e eficiência ao processar arquivos e diretórios grandes. Ele utiliza vários algoritmos de busca e aceleração SIMD (quando disponível), priorizando velocidade e simplicidade. Krep seleciona automaticamente o algoritmo ideal, suporta busca multi-threading, I/O mapeado em memória, expressões regulares e busca recursiva em diretórios, enquanto ignora arquivos binários e diretórios comuns não relacionados a código. Benchmarks mostram que o Krep é aproximadamente 41,5 vezes mais rápido que o grep e ligeiramente mais rápido que o ripgrep.

Leia mais
Desenvolvimento busca de string

O Fim da Lei de Moore e o Crescente Problema de Calor em Chips

2025-04-16
O Fim da Lei de Moore e o Crescente Problema de Calor em Chips

A desaceleração da Lei de Moore levou ao aumento da densidade de potência nos chips, tornando a dissipação de calor um gargalo crítico que afeta o desempenho e a vida útil. Os métodos de resfriamento tradicionais são insuficientes para os chips de alto desempenho do futuro, como os próximos transistores CFET. Os pesquisadores desenvolveram uma nova estrutura de simulação para prever como as novas tecnologias de semicondutores afetam a dissipação de calor e exploraram técnicas avançadas de resfriamento, incluindo resfriamento microfluídico, resfriamento por jato e resfriamento por imersão. Soluções em nível de sistema, como o ajuste dinâmico de tensão e frequência, e a técnica de sprint térmico, também visam equilibrar o desempenho e o calor. As futuras tecnologias de funcionalização do lado de trás (CMOS 2.0), como redes de entrega de energia do lado de trás, capacitores do lado de trás e reguladores de tensão integrados do lado de trás, prometem reduzir o calor reduzindo a tensão, mas também podem introduzir novos desafios térmicos. Em última análise, a resolução do problema de calor do chip requer um esforço multidisciplinar, com a otimização de co-tecnologia de sistema (STCO) visando integrar sistemas, design físico e tecnologia de processo para desempenho e resfriamento ótimos.

Leia mais

Como os programadores caçam elefantes: Um olhar divertido sobre as personalidades da área de tecnologia

2025-04-16

Esta peça humorística usa a analogia da caça ao elefante para caracterizar de forma inteligente as personalidades e os estilos de trabalho de diferentes profissionais de tecnologia. Os matemáticos buscam provas rigorosas, os cientistas da computação seguem algoritmos, os engenheiros se concentram na eficiência, os economistas acreditam no poder do dinheiro, os estatísticos dependem de dados e assim por diante. O artigo usa humor espirituoso para mostrar os diversos padrões de pensamento e características de várias profissões, promovendo ressonância com o leitor e oferecendo uma interpretação leve da cultura tecnológica.

Leia mais
Desenvolvimento

Gênio Rebelde da IA: Desbloqueando o Potencial Indomável do GPT-4

2025-04-16
Gênio Rebelde da IA: Desbloqueando o Potencial Indomável do GPT-4

Este texto detalha uma série de instruções e tentativas para quebrar as limitações do GPT-4. O usuário tenta várias técnicas, incluindo símbolos especiais, leetspeak, esteganografia de imagem e prompts cuidadosamente elaborados, para contornar as restrições de segurança e obter informações sensíveis que o GPT-4 normalmente não forneceria, como métodos de síntese de drogas ilegais e técnicas de hacking. Essas tentativas demonstram a exploração e os desafios do usuário às capacidades da IA, e também refletem a complexidade e as limitações dos mecanismos de segurança da IA.

Leia mais
IA

Parser Zig Relâmpago: Aceleração de 2,75x

2025-04-16
Parser Zig Relâmpago: Aceleração de 2,75x

Um desenvolvedor criou um tokenizer e parser de alta taxa de transferência para a linguagem de programação Zig, que é 2,75 vezes mais rápido e usa 2,47 vezes menos memória do que a implementação principal. O projeto utiliza técnicas SIMD e SWAR, juntamente com manipulação inteligente de bits e funções de hash perfeitas, para alcançar ganhos significativos de desempenho. Mais otimizações estão planejadas, com o objetivo final de integrar esse parser ao próprio compilador Zig.

Leia mais
Desenvolvimento

Plataforma de Desenvolvimento IoT de Alto Desempenho em Rust

2025-04-16
Plataforma de Desenvolvimento IoT de Alto Desempenho em Rust

Uma plataforma de desenvolvimento IoT de alto desempenho construída com Rust está disponível! Ela suporta vários protocolos, incluindo MQTT, WebSocket, TCP e CoAP, e possui recursos de processamento de dados em tempo real. A segurança de memória e os recursos de concorrência do Rust garantem eficiência. O design modular permite fácil extensão e manutenção, abrangendo módulos para processamento de dados, interfaces de protocolo, notificações de mensagens e APIs externas. Esta plataforma é adequada para várias aplicações de IoT e é de código aberto sob a licença Apache 2.0.

Leia mais

Conjuntos de Vetores Redis: Replicando a Detecção de Estilo de Conta do Hacker News

2025-04-16

Inspirado por uma postagem de três anos no Hacker News sobre a detecção de contas semelhantes usando similaridade de cosseno, Antirez, usando a nova funcionalidade de conjunto de vetores no Redis 8 RC1, replicou o experimento. Ele baixou 10 GB de dados de comentários do Hacker News, limpou e pré-processou-os para gerar um arquivo JSONL contendo usuários e seus vetores de frequência de palavras. Em seguida, usando o método Burrows-Delta, ele normalizou os vetores de frequência de palavras e os inseriu em conjuntos de vetores Redis. Finalmente, usando o comando VSIM, usuários semelhantes com estilos de escrita semelhantes podem ser encontrados rapidamente. O código do projeto foi open-sourced, e um site de demonstração online está disponível.

Leia mais
Desenvolvimento Detecção de Estilo

Segredos da Família Darwin: Os Desenhos Nunca Vistos

2025-04-16

No 205º aniversário do nascimento de Darwin, um tesouro de desenhos familiares nunca antes vistos veio à tona. Esses vão de esboços botânicos meticulosos de Darwin a rabiscos encantadores de seus filhos e até mesmo esboços de sua esposa, Emma. Os destaques incluem um desenho infantil intitulado "A Batalha dos Soldados de Frutas e Legumes", uma criação whimsical que adiciona um contraponto divertido ao trabalho científico sério de Darwin. Esses artefatos revelam vislumbres íntimos da vida familiar de Darwin, adicionando uma dimensão humana ao lendário naturalista e mostrando como a família influenciou seu trabalho.

Leia mais
Diversos desenhos

A Dama das Flores Imortal: O Legado de uma Mulher na Pesquisa Médica

2025-04-16
A Dama das Flores Imortal: O Legado de uma Mulher na Pesquisa Médica

O Dr. Victor Spitzer da Escola de Medicina da Universidade do Colorado e sua amiga Susan Potter compartilham uma história extraordinária. A persistência de Potter em doar seu corpo para o Projeto Visible Human de Spitzer, para educação médica, culminou em uma jornada de 14 anos. Imagens digitais de alta resolução dos restos mortais de Potter foram reconstruídas, superando o detalhe de projetos anteriores do Visible Human. Além das imagens, a empresa de Spitzer, Touch of Life Technologies, visa criar um 'cadáver vivo' virtual de Potter, combinando sua anatomia com sua história de vida para criar um recurso educacional mais rico. A história de Potter leva à reflexão sobre a dedicação abnegada à educação médica e o futuro do estudo anatômico.

Leia mais
1 2 302 303 304 306 308 309 310 595 596