👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

My AI Workflow for Understanding Any Codebase
steipete.me·3d
⚡Proof Automation
Joint Force - 2025 Ebitengine game jam entry
rocketnine.itch.io·8h·
Discuss: r/Android, r/golang, r/linux, r/opensource
🎯Proof Tactics
abhisheksr01/spring-boot-microservice-best-practices
github.com·3d
🌊Streaming Systems
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·3d·
Discuss: Hacker News
📟Terminal Typography
Internationalization-check: Validating your Next.js internationalization
lingual.dev·2d·
Discuss: Hacker News
✅Format Verification
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·5d·
Discuss: Hacker News
⚙️Logic Synthesis
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·3d·
Discuss: Hacker News
📊Graph Databases
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·2d·
Discuss: Hacker News
📐E-graphs
Breaking Into Backend Development: Lessons from IBM’s Professional Certificate
dev.to·20h·
Discuss: DEV
🔐CBOR
Causal Operator Discovery in Partial Differential Equations via Counterfactual Physics-Informed Neural Networks
arxiv.org·3d
🌀Differential Geometry
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Generative Adversarial Evasion and Out-of-Distribution Detection for UAV Cyber-Attacks
arxiv.org·2d
🧠Machine Learning
Machine Learning Fundamentals: active learning
dev.to·4d·
Discuss: DEV
🤖Grammar Induction
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·4d
📐Compression Bounds
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·5d
🔗Combinatory Logic
Cactus Language • Syntax 11
inquiryintoinquiry.com·5d
📝Concrete Syntax
The Leaderboard Illusion: Is Your Model Smart or Just Well-Studied?
dev.to·18h·
Discuss: DEV
🧪Hardware Fuzzing
🍸 Selecting the Largest Sum Subsequence of Length K – LeetCode 2099 (C++ | JavaScript | Python )
dev.to·1d·
Discuss: DEV
λLambda Encodings
Critical Security Importance Digital Age Web Techniques（1751144495194400）
dev.to·11h·
Discuss: DEV
🔒WASM Capabilities
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·4d·
Discuss: DEV
📐Error Bounds