🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Understanding Object-Oriented Programming
understandingoop.com·4h·
Discuss: Hacker News
💻Programming languages
A Manifesto for Data Realism
muskdeer.blogspot.com·33m·
Discuss: Hacker News
🧲Magnetic Philosophy
Hilbert's Power
fi-le.net·4d·
Discuss: Hacker News
🔬Lean
Adventures on the AI Coding side of things
medium.com·5h·
Discuss: Hacker News
🌍Cultural Algorithms
Memorizing a list of seed words
johndcook.com·16h·
Discuss: Hacker News
⭐Awesome lists
Introducing CodeMender: an AI agent for code security
deepmind.google·21m·
Discuss: Hacker News
⚡Proof Automation
Automatic Building Code Review: A Case Study
arxiv.org·9h
📏Code Metrics
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·9h
🎙️Whisper
Increase of AMPA receptors associated with cognitive impairment of long Covid
pubmed.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🧠Intelligence Compression
Retrv-R1: A Reasoning-Driven MLLM Framework for Universal and Efficient Multimodal Retrieval
arxiv.org·9h
🗂️Vector Search
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Goodbye Valve Spec Nightmares: AI's Got Your Back
dev.to·19h·
Discuss: DEV
⚙️Proof Engineering
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·9h
🔍Information Retrieval
Building Intelligent Research Agents with OpenAI's Agents Framework
dev.to·2h·
Discuss: DEV
⚡Proof Automation
CLUE: Non-parametric Verification from Experience via Hidden-State Clustering
arxiv.org·3d
🧠Machine Learning
Type Theory and Functional Programming (1999) [pdf]
dev.to·5d·
Discuss: DEV
🔤Type Theory
Flamed-TTS: Flow Matching Attention-Free Models for Efficient Generating and Dynamic Pacing Zero-shot Text-to-Speech
arxiv.org·9h
🎙️Whisper
Hybrid Schemes of NIST Post-Quantum Cryptography Standard Algorithms and Quantum Key Distribution for Key Exchange and Digital Signature
arxiv.org·9h
🔐Quantum Security
Vjeux » Birth of Prettier
blog.vjeux.com·22h·
Discuss: Hacker News, r/javascript
📝Concrete Syntax
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·10h·
Discuss: DEV
🧠Intelligence Compression