IntelliJ IDE Command Completion
jetbrains.com·1d·
Discuss: Hacker News
📦WebAssembly
Securing the Quantum Age
paloaltonetworks.com·23h
🔐Cryptography
Materialize's Spring Hackathon: A Report
materialize.com·2d
🎲Probabilistic Programming
<p>I&rsquo;m the first to admit that my spelling is pretty atrocious, so I&rsquo;m heavily reliant on spellcheckers. But there has been more than one occasion w...
lmika.org·1d
🧩Theorem Proving
The Sorcerer's Apprentice
articles.pragdave.me·2d·
Discuss: Hacker News
🧩Theorem Proving
Voice Interaction for Robots Powered by Nvidia Small-Form-Factor GPU Board
forums.developer.nvidia.com·1d·
Discuss: Hacker News
🤖Sci-Fi
Going Faster Than Memcpy
squadrick.dev·4d·
Discuss: Lobsters, Hacker News, r/programming
🏗Computer Architecture
AI cuts monthly financial close time by 7.5 days: MIT/Stanford study
finance.yahoo.com·13h
🗄️Database Theory
Hardness of M-LWE with General Distributions and Applications to Leaky Variants
eprint.iacr.org·1d
🔐Cryptography
We built a 12B model that beats Claude 4 Sonnet at video captioning while costing 17x less - fully open source
reddit.com·11h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
original ↗
raymondcamden.com·1d
🦀Rust
AI Blob! LLM-Driven Recontextualization of Italian Television Archives
arxiv.org·1d
🔗Parser Combinators
EGGCodec: A Robust Neural Encodec Framework for EGG Reconstruction and F0 Extraction
arxiv.org·2d
🎲Probabilistic Programming
How AI Can Make You a 10x Software Engineer
dev.to·14h·
Discuss: DEV
🔌Network Programming
FastAPI: Why Developers Can’t Stop Talking About It
dev.to·23h·
Discuss: DEV
📦WebAssembly
Sacred or Synthetic? Evaluating LLM Reliability and Abstention for Religious Questions
arxiv.org·2d
🧮Programming Language Theory
The Evolution of Agency - A Research Agenda
lesswrong.com·57m
⚖Algorithmic Game Theory
SAEMark: Multi-bit LLM Watermarking with Inference-Time Scaling
arxiv.org·3d
🎲Probabilistic Programming
Comparing Knowledge Injection Methods for LLMs in a Low-Resource Regime
arxiv.org·4d
🧭SMT Solvers
15 Refactoring Techniques for Clean and Maintainable Code
dev.to·4d·
Discuss: DEV
🧮Programming Language Theory