👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
Breadboards that are set up on my desk right now
circusscientist.com·23h
⚙️Tape Mechanics
Preview
Report Post
Things I assumed you knew
resourceaholic.com·1d·
Discuss: www.resourceaholic.com
🧮Theorem Proving
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·1d
🔗Concatenative Programming
Preview
Report Post
Optimizing Iceberg Compaction: Why We Built an Embedded Engine in Rust
risingwave.com·5h·
Discuss: Hacker News
🔗Archive Combinators
Preview
Report Post
🎯 Domain-Specific LLMs: Specialized AI for Healthcare, Finance, Legal, and Beyond
dev.to·4h·
Discuss: DEV
🗣️Domain-Specific Languages
Preview
Report Post
Teaching an LLM to Write Assembly: GBNF-Constrained Generation for a Custom CPU
jamesdrandall.com·3d·
Discuss: Hacker News
🌳Context free grammars
Preview
Report Post
Anatomy of a Domain Risk Engine: Regex vs. LLMs
urlert.com·1d·
Discuss: Hacker News
🕵️Domain Enumeration
Preview
Report Post
Adding Unpack Syntax to RCL
ruudvanasseldonk.com·6h·
Discuss: Hacker News
📝Concrete Syntax
Preview
Report Post
Code Evolution: Self-Improving Software with LLMs and Python
github.com·2d·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
Microservices Should Form a Polytree
bytesauna.com·6h·
Discuss: Hacker News
🔗Topological Sorting
Preview
Report Post
Show HN: A tool to visualize and map dependency hell in legacy COBOL codebases
apps.microsoft.com·3d·
Discuss: Hacker News
🏛️COBOL Archaeology
Preview
Report Post
Rnj-1: Building Instruments of Intelligence
essential.ai·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Gh PR-review: LLM-friendly PR review workflows in your CLI
agyn.io·15h·
Discuss: Hacker News
🧬Bitstream Evolution
Preview
Report Post
Featurized-Decomposition Join: Low-Cost Semantic Joins with Guarantees
arxiv.org·9h
🧠Query Planners
Preview
Report Post
Enhancing Clinical Note Generation with ICD-10, Clinical Ontology Knowledge Graphs, and Chain-of-Thought Prompting Using GPT-4
arxiv.org·9h
✅CDDL Validation
Preview
Report Post
Mitigating Self-Preference by Authorship Obfuscation
arxiv.org·9h
🔍BitFunnel
Preview
Report Post
Understanding Ecdsa (and Generating Functions)
avidthinker.github.io·5d·
Discuss: Hacker News
🔐Hash Functions
Preview
Report Post
Faithfulness metric fusion: Improving the evaluation of LLM trustworthiness across domains
arxiv.org·9h
📝ABNF Extensions
Preview
Report Post
Statistical Guarantees for Approximate Stationary Points of Shallow Neural Networks
arxiv.org·9h
🧮Kolmogorov Bounds
Preview
Report Post
Update of “Fun project of the week, Mermaid flowcharts generator!” — V2 and more…
dev.to·1d·
Discuss: DEV
🦋Format Metamorphosis
Preview
Report Post