🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

A Mile-Deep Detector Hints at the Universe’s Darkest Secret
scitechdaily.com·1h
⚛️Quantum Tape
The Church of Emacs
jxself.org·47m
🐧FOSS
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·1h
📐Mathematical Art
Memorizing a list of seed words
johndcook.com·19h·
Discuss: Hacker News
⭐Awesome lists
Sleeping Beauty Problem
en.wikipedia.org·1d·
Discuss: Hacker News
🔲Cellular Automata
A Manifesto for Data Realism
muskdeer.blogspot.com·3h·
Discuss: Hacker News
🧲Magnetic Philosophy
Introducing CodeMender: an AI agent for code security
deepmind.google·2h·
Discuss: Hacker News
⚡Proof Automation
Increase of AMPA receptors associated with cognitive impairment of long Covid
pubmed.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🧠Intelligence Compression
Autoreview: The Dragon Hatchling – The Missing Link Between the Transformer and
arxiviq.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Type Theory and Functional Programming (1999) [pdf]
dev.to·5d·
Discuss: DEV
🔤Type Theory
Show HN: LINQ-to-SQL but for TypeScript – turn type-safe lambdas into SQL
github.com·2d·
Discuss: Hacker News
🧩SQLite Extensions
Flamed-TTS: Flow Matching Attention-Free Models for Efficient Generating and Dynamic Pacing Zero-shot Text-to-Speech
arxiv.org·11h
🎙️Whisper
Hybrid Schemes of NIST Post-Quantum Cryptography Standard Algorithms and Quantum Key Distribution for Key Exchange and Digital Signature
arxiv.org·11h
🔐Quantum Security
Vjeux » Birth of Prettier
blog.vjeux.com·1d·
Discuss: Hacker News, r/javascript
📝Concrete Syntax
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·13h·
Discuss: DEV
🧠Intelligence Compression
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·11h
🧪Hardware Fuzzing
Homophily-induced Emergence of Biased Structures in LLM-based Multi-Agent AI Systems
arxiv.org·11h
🔲Cellular Automata
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.to·7h·
Discuss: DEV
🧠Intelligence Compression
Show HN: A minimal VPN implementation written in Go
github.com·5h·
Discuss: Hacker News
📡Network Protocol Design
Excited, Skeptical, or Worried? A Multi-Institutional Study of Student Views on Generative AI in Computing Education
arxiv.org·11h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing