DCP-o-matic â€ĸ Re: Converting DCPs to ProRes: Banding in dark areas
dcpomatic.com¡29m
đŸ–ŧī¸JPEG XL
OpenAI's experimental model achieved gold at the International Math Olympiad
engadget.com¡17h
📐Proof Assistants
OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.com¡2d¡
Discuss: Hacker News
🗃ī¸Database Storage
Read post
allenai.org¡11h¡
Discuss: Hacker News
🎙ī¸Whisper
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com¡2d
⚡Proof Automation
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il¡4d¡
Discuss: Hacker News
đŸŽ¯Interactive Provers
Asynchrony is not Concurrency
kristoff.it¡2d¡
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com¡2d¡
Discuss: Hacker News, Hacker News
🏗ī¸Compiler Archaeology
How Distillation Makes AI Models Smaller and Cheaper
quantamagazine.org¡1d¡
Discuss: Hacker News, Hacker News
📊Quantization
Refining Coarse-Grained Molecular Topologies: A Bayesian Optimization Approach
arxiv.org¡2d
🌐Computational Topology
Parsing Protobuf Like Never Before
mcyoung.xyz¡4d¡
Discuss: Lobsters, Hacker News, r/programming
🔧Binary Parsers
Burn 0.18.0: Important Performance Milestones Achieved
reddit.com¡1d¡
Discuss: r/rust
📊Performance Profiling
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org¡2d
🛡ī¸Proof-Carrying Archives
Researchers demonstrate error-resistant quantum gates using exotic anyons for computation
phys.org¡5d
⚛ī¸Quantum Tape
Building an Interactive Story Generator with Google AI Studio
dev.to¡5h¡
Discuss: DEV
🎙ī¸Whisper
Day 40: When Easy Stops Being Hard
dev.to¡3h¡
Discuss: DEV
⚔ī¸Lean Tactics
Wave or Particle? Physicists Crack a 50-Year-Old Quantum Puzzle
scitechdaily.com¡2d
⚛ī¸Quantum Information
AI: Introduction to Ollama for local LLM launch
dev.to¡47m¡
Discuss: DEV
🕸ī¸WASM Archives
Robust Beamforming Design for Secure Near-Field ISAC Systems
arxiv.org¡2d
ℹī¸Information Theory
Europe's Quantum Leap Challenges US Dominance
cepa.org¡5d¡
Discuss: Hacker News
🔐Quantum Security