👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

A new information-theory framework reveals when multi-agent AI systems truly work as a team
the-decoder.com·9h
🔲Cellular Automata
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·1h·
Discuss: Hacker News
⚡Cache Theory
A gentle introduction to Generative AI: Historical perspective
medium.com·18h·
Discuss: Hacker News
🧠Learned Codecs
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·21h·
Discuss: Hacker News
🎯Performance Proofs
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.org·1d
🔍Information Retrieval
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·3d
💻Local LLMs
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·2d
🧮Kolmogorov Complexity
Instance Relation Learning Network with Label Knowledge Propagation for Few-shot Multi-label Intent Detection
arxiv.org·1d
🤖Grammar Induction
Building A Real-Time Communication System Using Go and WebSocket
dev.to·1d·
Discuss: DEV
🌐WebSocket Framing
SliceFine: The Universal Winning-Slice Hypothesis for Pretrained Networks
arxiv.org·1d
🧠Neural Codecs
Memgoose – An In-Memory Mongoose Impersonator
github.com·10h·
Discuss: Hacker News
🔄Sync Engine
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.to·20h·
Discuss: DEV
📥Feed Aggregation
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
Refactoring: A way to write better Code
dev.to·17h·
Discuss: DEV
⚙️Operational Semantics
KEO: Knowledge Extraction on OMIn via Knowledge Graphs and RAG for Safety-Critical Aviation Maintenance
arxiv.org·3d
🧠Intelligence Compression
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·6d·
Discuss: DEV
⚡SMT Integration