Codeminer42 Dev Weekly #82
blog.codeminer42.com·3d
🎯Gradual Typing
Hereditas: Fully-trustless digital legacy boxes
hereditas.app·14h·
Discuss: Hacker News
💿WORM Storage
Show HN: Recallie AI – Duolingo for learning anything
apps.apple.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
The Health Effects of Electromagnetic Radiation
huijzer.xyz·2d·
Discuss: Lobsters, Hacker News
📄PostScript
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·4d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·5d·
Discuss: Hacker News
🧬Functional Programming
Introducing: Local Browser AI
blog.alexewerlof.com·1d·
Discuss: Hacker News
🎙️Whisper
Building AI Agents to Real-World Use Cases
thealliance.ai·16h·
Discuss: Hacker News
⚡Proof Automation
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·4d·
Discuss: Hacker News
🔍BitFunnel
80 Days, 80 Python Challenges: The Project That Will Turn Me Into a Better Coder! 🐍 (My First Post)
dev.to·1d·
Discuss: DEV
📊APL Heritage
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·18h·
Discuss: DEV
🎙️Whisper
Mozart: A Chiplet Ecosystem-Accelerator Codesign Framework for Composable Bespoke Application Specific Integrated Circuits
arxiv.org·1d
🖥️Hardware Architecture
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·4d
⚙️Compression Benchmarking
#18 Parallelepiped ...Etymology and History of Math Terms
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🌀Differential Geometry
Flow-Opt: Scalable Centralized Multi-Robot Trajectory Optimization with Flow Matching and Differentiable Optimization
arxiv.org·1d
⚡Z3 Optimization
Attention-Enhanced LSTM Modeling for Improved Temperature and Rainfall Forecasting in Bangladesh
arxiv.org·4h
🔲Cellular Automata
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·3d·
Discuss: Hacker News
⚡Proof Automation
Unveiling Gamer Archetypes through Multi modal feature Correlations and Unsupervised Learning
arxiv.org·4h
🧠Intelligence Compression
🚀 Unlocking Data with Natural Language: Introducing QueryCraftAI
dev.to·15h·
Discuss: DEV
🧮Datalog
When Quantum Helps the Cops: How D-Wave’s Hybrid Computer Optimized Police Response Times
dev.to·14h·
Discuss: DEV
⚛️Quantum Tape