🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Formatively Assessing Student Thinking
kgmathminds.com·20h
📊Static Analysis
Flag this post
Nano Banana Pro cast a design spell in NotebookLM to explore the legend of Camelot
techradar.com·15h
🏛Digital humanities
Flag this post
Joy & Curiosity #63
registerspill.thorstenball.com·2h
🌀Brotli Internals
Flag this post
Misleading PDF: visual content differs from extracted text
czterycztery.pl·5h·
Discuss: Hacker News
📜Text Collation
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·21h·
Discuss: Hacker News
💧Liquid Types
Flag this post
A Developer's Guide to Test Case Generation with Genetic Algorithms
dev.to·21h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
medium.com·1d·
Discuss: Hacker News
🧩WASM Components
Flag this post
Verification Is Not the Silver Bullet
alperenkeles.com·4d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
InfoQ: Why Observability Matters (More!) with AI Applications
dev.to·6h·
Discuss: DEV
👁️System Observability
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
Transformer Efficiency Hacks: Leverage the Power of Position
dev.to·15h·
Discuss: DEV
🔄Burrows-Wheeler
Flag this post
Polynomial-Time Algorithms for Computing the Nucleolus: An Assessment
arxiv.org·2d
🔲Cellular Automata
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·5d·
Discuss: Lobsters, Hacker News, r/programming
🔗Dependently Typed
Flag this post
SemanticCite: Citation Verification with AI-Powered Full-Text Analysis and Evidence-Based Reasoning
arxiv.org·2d
📊Citation Graphs
Flag this post
When AI Goes Wrong
whenaifail.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
dev.to·4h·
Discuss: DEV
🧅Tor Networks
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🌀Brotli Internals
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·1h·
Discuss: DEV
⚡Incremental Computation
Flag this post