🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Elevenlabs releases open-source UI library for voice and audio applications
the-decoder.com·6h
🎙️Whisper
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·4h
⚡Homebrew CPUs
Context Is Everything Excerpt
theahamap.com·1d·
Discuss: Hacker News
⬜Minimalism
DeFi Protocol Mutuum Finance (MUTM) Approaches $17M In Funding
hackernoon.com·5h
🔍BitFunnel
Sailnote - A MIDI Media
dev.to·19h·
Discuss: DEV
🎹MIDI Archaeology
Learning about Rust Benchmarking with Sudoku from 5 minutes to 17 seconds
medium.com·1d·
Discuss: Hacker News
🦀Embedded Rust
ArchitectHead: Continuous Level of Detail Control for 3D Gaussian Head Avatars
arxiv.org·14h
📐Projective Geometry
acia-workflows: Automated Single-cell Imaging Analysis for Scalable and Deep Learning-based Live-cell Imaging Analysis Workflows
arxiv.org·14h
📄Document Digitization
RAG Chunking Strategies That Actually Work (and Why Most Don’t)
dev.to·1d·
Discuss: DEV
📄Text Chunking
Leveraging Vision Transformers for Enhanced Classification of Emotions using ECG Signals
arxiv.org·14h
🧠Neural Codecs
Counterfactual Credit Guided Bayesian Optimization
arxiv.org·1d
🧠Machine Learning
Building Smarter AI Systems: My Experience with Amazon Bedrock Agents at AWS Summit Bangalore 2025
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Using AI Code Assistants to Generate Unit Tests and Maximize Coverage
qt.io·2d
📏Code Metrics
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2d·
Discuss: DEV
📊Multi-vector RAG
Model Predictive Control-Guided Reinforcement Learning for Implicit Balancing
arxiv.org·1d
✨Effect Handlers
No More Forgetful Robots: My Test Drive with Cognee AI's "AI Memory"
dev.to·5h·
Discuss: DEV
🤖AI Curation
High-pass filtered fidelity-imposed network edit (HP-FINE) for robust quantitative susceptibility mapping from high-pass filtered phase
arxiv.org·14h
📊Learned Metrics
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Development and Validation of a Low-Cost Imaging System for Seedling Germination Kinetics through Time-Cumulative Analysis
arxiv.org·14h
🧠Machine Learning