Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Harper, apoiada pela YC, procura Engenheiro de IA fundador para revolucionar o mercado de seguros de US$ 100 bilhões+

2024-12-27
Harper, apoiada pela YC, procura Engenheiro de IA fundador para revolucionar o mercado de seguros de US$ 100 bilhões+

A Harper, uma corretora de seguros comerciais nativa de IA apoiada pela Y Combinator, está procurando um Engenheiro de IA fundador. A empresa visa revolucionar o mercado de seguros de excesso e superávit (E&S) de mais de US$ 100 bilhões usando IA, automatizando processos que levam semanas em processos instantâneos. O candidato ideal possui vasta experiência com a pilha moderna de IA/ML, prospera em iterações rápidas e entende segurança e confiabilidade de IA. A Harper oferece compensação competitiva e participação significativa, visando engenheiros ansiosos para construir e possuir um produto revolucionário, não apenas maximizar o salário.

Leia mais
(www.ycombinator.com)
IA

Construindo Produtos de IA: Um mergulho profundo na arquitetura de back-end

2024-12-27

Este artigo detalha a jornada de uma equipe de IA na construção de um assistente Chefe de Gabinete com tecnologia de IA para líderes de engenharia. Inicialmente usando pipelines de inferência simples, eles fizeram a transição para um sistema multiagente à medida que o aplicativo crescia. O autor explica os princípios de design de agentes, as diferenças em relação aos microsserviços e a implementação orientada a objetos. A gestão de memória, incluindo CQRS e rastreamento de eventos, e o tratamento de eventos de linguagem natural são discutidos. A escalabilidade para 10.000 usuários envolveu particionamento, programação assíncrona, otimização de chamadas de LLM e migração para Temporal.

Leia mais
(philcalcado.com)
IA Arquitetura de IA Sistemas de Agentes Desenvolvimento de back-end

Implementando o Algoritmo SM-2 em Rust: Um Sistema de Repetição Espaçada Aprimorado

2024-12-27

O autor implementou o algoritmo SuperMemo SM-2, uma versão modificada usada no software de repetição espaçada Mochi, em Rust. Esse algoritmo ajusta dinamicamente os intervalos de revisão com base nas avaliações de desempenho do usuário para otimizar a eficiência de aprendizado. O artigo detalha a mecânica do algoritmo, incluindo o cálculo do fator de facilidade (EF), a determinação dos intervalos de revisão e como as avaliações do usuário afetam os parâmetros do algoritmo. O código Rust é fornecido com explicações das escolhas de design principais.

Leia mais
(borretti.me)
Desenvolvimento algoritmo SM-2

Calculadora Simples em Tempo Real usando Tree-sitter e Cranelift JIT

2024-12-27
Calculadora Simples em Tempo Real usando Tree-sitter e Cranelift JIT

Este projeto GitHub demonstra uma calculadora simples em tempo real construída com Tree-sitter e Cranelift JIT. O código principal é altamente integrado para facilitar a compreensão. O projeto inclui a gramática, uma interface REPL, testes de estresse e benchmarks. Modificar a gramática atualiza automaticamente o binário principal. A realce de sintaxe é usada como um exemplo das capacidades do Tree-sitter.

Leia mais
(github.com)
Desenvolvimento Calculadora em Tempo Real

A Diferença Entre Engenheiros Fortes e Fracos

2024-12-27

Este artigo explora as capacidades que diferenciam engenheiros fortes de engenheiros médios. Engenheiros fortes conseguem realizar tarefas que engenheiros mais fracos não conseguem, como resolver bugs complexos, melhorar códigos legados e realizar grandes reformulações arquitetônicas. Engenheiros mais fracos lutam com essas tarefas mesmo com tempo suficiente. O artigo destaca que engenheiros fortes não são simplesmente mais eficientes, mas possuem a capacidade de resolver problemas complexos, enquanto engenheiros mais fracos são praticamente incapazes de concluir a maioria das tarefas de engenharia. O artigo também oferece conselhos sobre como colaborar com engenheiros seniores mais fracos, enfatizando a necessidade de ser gentil, mas proteger seu tempo, evitando demandas excessivas.

Leia mais
(www.seangoedecke.com)
Desenvolvimento capacidades do engenheiro

Quiver: Um Editor Moderno de Diagramas Comutativos para a Web

2024-12-27
Quiver: Um Editor Moderno de Diagramas Comutativos para a Web

Quiver é um editor moderno baseado na web para criação de diagramas comutativos. Permite a criação rápida de diagramas complexos, renderizando-os em alta qualidade para visualização na tela e exportando para LaTeX via tikz-cd. Recursos incluem interface intuitiva, suporte para pullbacks, pushouts, adjunctions e células de ordem superior, seleção múltipla, histórico, macros personalizadas e incorporação em HTML para fácil compartilhamento. Criar diagramas é significativamente mais rápido do que escrever o equivalente em LaTeX manualmente.

Leia mais
(github.com)
Desenvolvimento diagrama comutativo editor web

SkunkHTML: Gerador de Sites Estáticos para GitHub Pages

2024-12-27
SkunkHTML: Gerador de Sites Estáticos para GitHub Pages

SkunkHTML é um gerador de sites estáticos alimentado pelo GitHub Actions, permitindo que os usuários criem e implantem rapidamente blogs pessoais ou sites no GitHub Pages usando arquivos Markdown. Basta enviar seus arquivos Markdown para a pasta `/markdown-blog/`, e o GitHub Actions automaticamente cria e implanta o site atualizado. O SkunkHTML suporta o sistema de comentários Giscus e fornece documentação e exemplos detalhados. O projeto é totalmente de código aberto e pode ser bifurcado diretamente no GitHub sem necessidade de download local.

Leia mais
(github.com)
Desenvolvimento gerador de sites estáticos

Godview: Uma Ferramenta Revolucionária de Geração de Imagens com IA

2024-12-27
Godview: Uma Ferramenta Revolucionária de Geração de Imagens com IA

Godview não é uma ferramenta comum de geração de imagens com IA. Ela quebra as limitações da tecnologia tradicional, gerando imagens incrivelmente detalhadas, realistas e de alta qualidade com base em descrições de texto fornecidas pelo usuário. Como um artista com uma visão de Deus, ela captura precisamente a intenção do usuário e a traduz em imagens impressionantes. Godview anuncia uma nova revolução na geração de imagens com IA, atendendo tanto a designers profissionais quanto a usuários comuns para criar obras de arte de tirar o fôlego.

Leia mais
(godview.ai)
IA geração de imagens com IA

Governo dos EUA exige compartilhamento de código-fonte para economizar bilhões

2024-12-27

O presidente Biden sancionou a lei SHARE IT Act, exigindo que agências federais dos EUA compartilhem código-fonte personalizado para reduzir custos com desenvolvimento de software redundante. A lei visa economizar aproximadamente US$ 12 bilhões anualmente, listando publicamente e compartilhando código personalizado, evitando que as agências paguem inadvertidamente por trabalhos duplicados. A lei exclui código classificado, sistemas de segurança nacional e código que apresente riscos de privacidade se compartilhado. A iniciativa recebeu apoio de empresas de software como Atlassian e GitLab, que acreditam que o compartilhamento de código promove eficiência e inovação.

Leia mais
(fedscoop.com)
Tecnologia compartilhamento de código software governamental economia de custos

Modelo termodinâmico identifica como o ouro chega à superfície da Terra

2024-12-27
Modelo termodinâmico identifica como o ouro chega à superfície da Terra

Uma nova pesquisa utilizou um modelo termodinâmico para explicar como os depósitos de ouro são formados em ambientes vulcânicos. O modelo revela o papel crucial de um complexo ouro-trissulfeto (Au-S3) previamente não confirmado. Sob pressões e temperaturas específicas do manto, este complexo transfere eficientemente o ouro do manto para o magma, levando finalmente à sua ascensão à superfície através da atividade vulcânica. Essa descoberta explica as altas concentrações de ouro em certos depósitos de minério em zonas de subducção e tem implicações significativas para a exploração de ouro.

Leia mais
(phys.org)
Tecnologia formação de ouro modelo termodinâmico magma do manto

'A Loja de Impressão' da Broderbund: Uma Retrospectiva nostálgica de uma revolução de software

2024-12-27

No início da década de 1980, criar cartazes e cartões de felicitações era um incômodo. A 'Loja de Impressão' da Broderbund, lançada em 1984, mudou tudo isso. Este software fácil de usar, com suas fontes e gráficos abundantes, revolucionou a computação pessoal. Sua acessibilidade e facilidade de uso fizeram dele um best-seller, impulsionando a adoção de computadores domésticos e lançando as bases para a indústria de editoração desktop. Embora o destino final da Broderbund tenha sido menos triunfante, o impacto de 'A Loja de Impressão' permanece significativo.

Leia mais
(theprintshop.club)
Tecnologia A Loja de Impressão Computação doméstica Editoração Desktop

Detectores de ondas gravitacionais podem encontrar estrelas de nêutrons mais leves que anãs brancas

2024-12-26
Detectores de ondas gravitacionais podem encontrar estrelas de nêutrons mais leves que anãs brancas

Cientistas usaram dados dos observatórios de ondas gravitacionais LIGO e Virgo para procurar estrelas de nêutrons de baixa massa com menos de 1,4 massas solares. Embora nenhuma tenha sido encontrada ainda, o estudo sugere que tais estrelas de nêutrons podem se formar devido à rápida compressão do núcleo durante uma explosão de supernova. Esta pesquisa fornece novas restrições às propriedades da matéria de estrelas de nêutrons e aos limites de massa das estrelas de nêutrons. Detectores de ondas gravitacionais mais sensíveis no futuro testarão ainda mais essa teoria.

Leia mais
(www.universetoday.com)
Tecnologia Estrelas de nêutrons Ondas gravitacionais

O Teorema da Impossibilidade de Clustering: Por que Algoritmos Perfeitos Não Existem

2024-12-26
O Teorema da Impossibilidade de Clustering: Por que Algoritmos Perfeitos Não Existem

Este artigo explora o problema do 'triângulo impossível' em algoritmos de clustering. Fazendo um paralelo com o teorema CAP, o autor argumenta que todo algoritmo de clustering deve sacrificar uma das três propriedades desejáveis: invariância de escala, riqueza e consistência. O artigo define cada propriedade e ilustra como algoritmos como k-means comprometem uma para alcançar as outras. A conclusão enfatiza que os desenvolvedores devem escolher algoritmos com base nas necessidades específicas de seu aplicativo, aceitando que um algoritmo de clustering perfeito é matematicamente impossível.

Leia mais
(blog.codingconfessions.com)
IA algoritmos de clustering teorema da impossibilidade

Engenharia Reversa do Elgato Stream Deck Plus: Livre-se do Software Proprietário

2024-12-26
Engenharia Reversa do Elgato Stream Deck Plus: Livre-se do Software Proprietário

Den Delimarsky fez engenharia reversa com sucesso no Elgato Stream Deck Plus e compartilhou o processo detalhado. Usando ferramentas como o Wireshark, ele capturou e analisou a comunicação USB entre o Stream Deck Plus e um computador, revelando o funcionamento dos botões, da tela e dos botões rotativos. Isso inclui o protocolo de transferência de imagem, o feedback do estado do botão e os dados de coordenadas do evento de toque na tela. Em seguida, ele atualizou o DeckSurf SDK com um exemplo em C#, permitindo que os desenvolvedores controlem o Stream Deck Plus sem depender do software da Elgato.

Leia mais
(den.dev)
Hardware hack de hardware

Projeto Inverso de Heteroestruturas Complexas de Nanopartículas via Aprendizado Profundo em Grafos Heterogêneos

2024-12-26
Projeto Inverso de Heteroestruturas Complexas de Nanopartículas via Aprendizado Profundo em Grafos Heterogêneos

Pesquisadores usaram aprendizado profundo e redes neurais gráficas heterogêneas para projetar inversamente nanopartículas de conversão ascendente (UCNPs) com aplicações em biossensores, microscopia de super-resolução e impressão 3D. Um grande conjunto de dados de mais de 6.000 espectros de emissão UCNP foi gerado e usado para treinar um modelo GNN. A otimização baseada em gradiente identificou estruturas com uma emissão prevista 6,5 vezes maior do que qualquer UCNP no conjunto de treinamento sob iluminação de 800 nm. Este trabalho revela novos princípios de design para UCNPs e fornece uma estrutura para o projeto inverso baseado em DL de nanomateriais.

Leia mais
(chemrxiv.org)
2. Tecnologia nanomateriais projeto inverso

T2 SDE: Um ambiente de desenvolvimento de sistema de baixo código e compilação cruzada

2024-12-26

O T2 SDE é um gerenciador de pacotes ultraleve e de baixo código e uma distribuição Linux que permite a compilação cruzada totalmente automatizada e reprodutível de sistemas operacionais personalizados usando pacotes atualizados. Ele suporta quase todas as principais arquiteturas de CPU, bibliotecas C, sistemas GUI e ambientes de desktop, além de inúmeros pacotes de firmware embutidos e para fins especiais. A versão mais recente, T2 24.12, possui suporte expandido para arquiteturas, incluindo LibreOffice, OpenJDK, Qemu e até mesmo um novo ambiente de desktop baseado em Rust, Cosmic Desktop. O compromisso do T2 em suportar uma ampla gama de arquiteturas, incluindo as antigas e de nicho, como IA-64 Itanium, é complementado por melhorias contínuas, incluindo criptografia de disco completo e suporte LVM para uma experiência de usuário aprimorada.

Leia mais
(t2sde.org)
Desenvolvimento ambiente de desenvolvimento de sistema compilação cruzada

Tutorial: Criando um Shell Unix Simples em C

2024-12-26
Tutorial: Criando um Shell Unix Simples em C

Este tutorial guia você na criação de um shell Unix básico em C, chamado lsh. Ele detalha o ciclo de vida do shell: inicialização, interpretação de comandos e terminação. Aspectos-chave abordados incluem a leitura da entrada do usuário, análise de comandos, execução de programas usando fork() e exec() e tratamento de comandos embutidos como cd, help e exit. A alocação dinâmica de memória usando malloc() e realloc() é enfatizada e o uso de getline() é explicado. Embora simplificado (sem pipes, redirecionamento ou globbing), o tutorial fornece uma base sólida para entender a programação de shells em C.

Leia mais
(brennan.io)
Desenvolvimento Programação C Shell Unix Programação de Sistemas

OpenAI: A Próxima Visa? Desafios e Riscos no Caminho para o Monopólio

2024-12-26
OpenAI: A Próxima Visa? Desafios e Riscos no Caminho para o Monopólio

O artigo compara a OpenAI à Visa, argumentando que seu sucesso não se deve à superioridade tecnológica, mas à criação de barreiras por meio de acordos exclusivos, contratos governamentais e restrições de licenciamento para limitar a concorrência. A OpenAI tenta construir essas barreiras por meio de lobby para regulamentação governamental, restringindo investidores de financiar concorrentes e garantindo contratos exclusivos de longo prazo com grandes clientes. No entanto, essa estratégia enfrenta obstáculos políticos e competitivos. Assim como a Visa enfrentou no passado, a crescente ubiquidade da tecnologia LLM ameaça o negócio principal de APIs. A concorrência de Elon Musk e o relaxamento potencial da regulamentação governamental complicam ainda mais os esforços da OpenAI para manter sua dominância. Em última análise, o futuro da OpenAI depende de sua capacidade de construir barreiras de entrada suficientemente altas, tanto tecnológica quanto legalmente, para evitar a repetição do processo antitruste da Visa.

Leia mais
(sherwood.news)
IA monopólio concorrência de IA

Transformada de Distância Subpixel: Uma inovação na renderização de fontes de alta qualidade para WebGPU

2024-12-26

Este artigo mergulha nos desafios e soluções para alcançar renderização de fontes de alta qualidade no WebGPU. Abordando as deficiências nos métodos existentes de geração de Campos de Distância Assinados (SDFs), o autor apresenta um novo algoritmo de transformada de distância com precisão subpixel (ESDT). O ESDT combina inteligentemente as vantagens de CPU e GPU, empregando um algoritmo de Transformada de Distância Euclidiana aprimorado para resolver efetivamente os desvios encontrados em métodos tradicionais ao lidar com precisão subpixel e pixels em escala de cinza. O resultado é a renderização precisa de várias fontes, incluindo emojis, melhorando significativamente a qualidade da renderização de fontes.

Leia mais
(acko.net)
Desenvolvimento Renderização de Fontes Transformada de Distância Subpixel

Crie sua própria Máquina Virtual: Um guia passo a passo

2024-12-26

Este tutorial o guia na criação de sua própria máquina virtual (VM) capaz de executar programas em linguagem assembly, como os jogos 2048 ou Roguelike. Mesmo que você já seja um programador, este projeto proporciona uma compreensão mais profunda da arquitetura de computadores e de como as linguagens de programação funcionam. O tutorial abrange conceitos básicos de VM, a arquitetura LC-3, conjuntos de instruções, rotinas de armadilha, carregamento de programas e muito mais, com exemplos de código detalhados e explicações. O código final tem aproximadamente 250 linhas em C, tornando-o acessível àqueles com conhecimento básico de C/C++.

Leia mais
(www.jmeiners.com)
Desenvolvimento máquina virtual

O Enigma de Ghostty: Um Mistério Não Resolvido

2024-12-26
O Enigma de Ghostty: Um Mistério Não Resolvido

Ghostty é uma entidade misteriosa cuja identidade e informações são amplamente desconhecidas, como um fantasma escondido nas profundezas da internet. As discussões sobre Ghostty são principalmente concentradas em fóruns online e mídias sociais, com várias especulações sobre sua identidade. Alguns acreditam que é um indivíduo, outros um grupo, e alguns até consideram um personagem fictício. O mistério em torno de Ghostty atraiu a atenção de numerosos internautas, tornando-se um fenômeno fascinante da cultura da internet. No entanto, Ghostty permanece enigmático, e sua verdadeira identidade permanece não revelada.

Leia mais
(ghostty.org)
Diversos mistério da internet cultura da internet figura misteriosa

Tentativa de AGI no Tokio Runtime: Um Experimento de IA Biologicamente Inspirada que Falhou

2024-12-26
Tentativa de AGI no Tokio Runtime: Um Experimento de IA Biologicamente Inspirada que Falhou

Um desenvolvedor tentou construir um sistema AGI baseado em uma rede neural biológica no runtime Tokio. Ele construiu uma rede neural assíncrona e a treinou usando algoritmos genéticos, mas o experimento falhou, atingindo uma pontuação máxima de apenas 3. O autor sugere que a incapacidade do Tokio de lidar eficientemente com o grande número de impulsos neurais e a estratégia de otimização do algoritmo genético podem ser responsáveis pela falha.

Leia mais
(www.christo.sh)
IA rede neural biológica

Arcan 0.7 Lançado: Atualização do Desktop All-Tomato Chega

2024-12-26
Arcan 0.7 Lançado: Atualização do Desktop All-Tomato Chega

O lançamento do Arcan 0.7 marca o fim da segunda fase do projeto 'anarquia na área de trabalho' e o início da fase final. Esta versão concentra-se em correções de bugs e melhorias no Lash#Cat9 e Xarcan. O Lash#Cat9, um ambiente de linha de comando baseado em Lua, adiciona recursos como uma implementação do protocolo Debug Adapter e uma planilha interativa. O Xarcan permite gerenciadores de janela personalizados, utilizando o Arcan como um driver de exibição e permitindo interoperabilidade com servidores X. O Arcan 0.7 visa melhorar o desempenho e a segurança, com versões futuras planejadas para apresentar programação remota mais flexível e conexão de dispositivos mais simples.

Leia mais
(arcan-fe.com)
Desenvolvimento

Lua: Uma Linguagem de Programação Subestimada

2024-12-26
Lua: Uma Linguagem de Programação Subestimada

Lua, uma linguagem de script embutida criada em 1993, é surpreendentemente subestimada, apesar de seus pontos fortes. Este artigo destaca as vantagens do Lua: facilidade de aprendizado e domínio, uma excelente API C, suporte multi-paradigma e capacidade de incorporação excepcional. Embora amplamente usada em jogos e sistemas embutidos, o autor também aponta alguns aspectos únicos do Lua, como suas convenções de indexação (começando em 1, mas não obrigatório), tratamento de erros e matrizes terminadas em nil, dos quais os desenvolvedores devem estar cientes. No geral, Lua é uma linguagem poderosa que merece mais reconhecimento; sua eficiência é evidente em aplicações como plug-ins Neovim.

Leia mais
(nflatrea.bearblog.dev)
Desenvolvimento linguagem de script incorporada

Visualizador 3D de Gêmeo Digital de Tóquio Lançado: Dados em Tempo Real para Gestão Urbana

2024-12-26
Visualizador 3D de Gêmeo Digital de Tóquio Lançado: Dados em Tempo Real para Gestão Urbana

O governo metropolitano de Tóquio lançou uma versão beta de sua plataforma de gêmeo digital 'Veja Tóquio em 3D'. Construído usando a estrutura TerriaJS, este visualizador 3D integra dados em tempo real, como tráfego, níveis de rios e informações de abrigos, oferecendo uma visão abrangente de Tóquio. A plataforma auxilia o planejamento e a gestão urbana, fornecendo uma visualização clara das operações da cidade. Ferramentas de conversão de dados também são fornecidas para promover o uso do CityJSON na comunidade de desenvolvedores do Japão, com partes do código-fonte sendo de código aberto.

Leia mais
(info.tokyo-digitaltwin.metro.tokyo.lg.jp)
Tecnologia Gêmeo Digital Visualização de Dados da Cidade Gestão Urbana

WebAuthn: O Futuro da Autenticação Sem Senhas

2024-12-26

Este livro mergulha no WebAuthn, um sistema de autenticação baseado em criptografia de chave pública, projetado para substituir os sistemas de senhas vulneráveis. Começando com as deficiências das senhas, ele apresenta progressivamente os conceitos centrais do WebAuthn, incluindo U2F, FIDO2, passkeys e o uso da API WebAuthn. Detalhes sobre esquemas de assinatura de chave pública, IDs de RP, o protocolo CTAP2, atestação e várias extensões são fornecidos. A implementação do lado do servidor, APIs de plataforma (iOS, Android, Windows) e formatos de chave pública também são abordados. O WebAuthn combina chaves de segurança e autenticadores de plataforma, utilizando desafios aleatórios e vários mecanismos de segurança para lidar com ataques de phishing e vazamentos de banco de dados, oferecendo aos usuários uma experiência de autenticação mais segura e confiável.

Leia mais
(www.imperialviolet.org)
IA segurança de senhas Autenticação Segurança de Senhas

Desafios de atualização de bibliotecas Rust: Uma maneira inteligente de evitar conflitos de versão

2024-12-26
Desafios de atualização de bibliotecas Rust: Uma maneira inteligente de evitar conflitos de versão

Atualizar bibliotecas no ecossistema Rust frequentemente causa efeitos em cascata e problemas significativos. Este artigo apresenta uma técnica chamada "semver trick", que resolve de forma inteligente o problema de atualizar APIs usadas com menos frequência sem alterar as APIs usadas comumente, fazendo com que uma biblioteca dependa de sua versão futura. Este método é particularmente útil para evitar a necessidade de atualizações coordenadas em larga escala em toda a cadeia de dependências devido a alterações drásticas em uma única biblioteca, simplificando bastante o processo de atualização.

Leia mais
(github.com)
Desenvolvimento atualização de versão atualizações de bibliotecas

Um ELF Minimalista: Removendo a Complexidade até o Essencial

2024-12-26

Este artigo detalha a jornada do autor na simplificação de um programa básico do Linux, culminando em um arquivo ELF minimalista. Começando com um simples programa "Olá, Mundo", o autor remove progressivamente complexidades como bibliotecas padrão, recursos de segurança modernos, informações de depuração e mecanismos de tratamento de erros. O processo aprofunda a estrutura do arquivo ELF, tabelas de símbolos, seções e o papel dos scripts de linkador, usando linguagem assembly para manipular diretamente chamadas de sistema para a funcionalidade do programa. O autor conclui criando um script de linkador personalizado, carregando segmentos de código e dados em endereços de memória especificados, demonstrando a flexibilidade e detalhes de baixo nível da construção de arquivos ELF.

Leia mais
(4zm.org)
Desenvolvimento chamadas de sistema scripts de link programação de sistemas
1 2 … 536 537 538 540 542 543 544 … 568 569