👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
LLMs Make Legal Advice Lossy
writing.kemitchell.com·8h
📼Tape Linguistics
Preview
Report Post
ODF 1.4
docs.oasis-open.org·1d·
Discuss: Hacker News
✅Format Verification
Preview
Report Post
Mechanistic Interpretability of Antibody Language Models Using SAEs
arxiv.org·8h
🎯Automata theory
Preview
Report Post
Mathematical "Urban Legends" (2011)
mathoverflow.net·22h·
Discuss: Hacker News
🔲Proof Irrelevance
Preview
Report Post
Egyptian Ratscrew: Discovering Dominant Strategies with Computational Game Theory
arxiv.org·8h
🔲Cellular Automata
Preview
Report Post
Using LLMs for Breadcrumbs, Not Code Generation
bonniesimon.in·17h·
Discuss: Hacker News
⚙️Batch Processing
Preview
Report Post
Essentials of Compilation: An Incremental Approach (2020)
swatson555.github.io·4d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Lazier Binary Decision Diagrams for set-theoretic types
elixir-lang.org·6d·
Discuss: Lobsters, Hacker News
🔗Combinatory Logic
Preview
Report Post
Inertia-Constrained Generation Scheduling: Sample Selection, Learning-Embedded Optimization Modeling, and Computational Enhancement
arxiv.org·8h
⚡Incremental Computation
Preview
Report Post
Millions of Locations for Thousands of Brands
tech.marksblogg.com·5h·
Discuss: Hacker News
🏺ZIP Archaeology
Preview
Report Post
Documenting SME Processes with Conversational AI: From Tacit Knowledge to BPMN
arxiv.org·8h
⚙️TLA+
Preview
Report Post
Rnj-1: Building Instruments of Intelligence
essential.ai·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
The significance of Brooker's autocodes in taking the early Manchester machines
curation.cs.manchester.ac.uk·15h·
Discuss: Hacker News
🇬🇧British Computing
Preview
Report Post
Surface Tension of Software: why systems hold together
iamstelios.com·23h·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post
Bridging Interpretability and Optimization: Provably Attribution-Weighted Actor-Critic in Reproducing Kernel Hilbert Spaces
arxiv.org·8h
🧠Machine Learning
Preview
Report Post
Stability analysis of very high order minimization-based and Taylor-based embedded boundary treatments of discontinuous Galerkin for hyperbolic equations
arxiv.org·8h
📐Error Bounds
Preview
Report Post
🔥 Day 7: Mastering Joins, Unions, and GroupBy in PySpark - The Core ETL Operations
dev.to·3h·
Discuss: DEV
🧠Query Planners
Preview
Report Post
🎯 Domain-Specific LLMs: Specialized AI for Healthcare, Finance, Legal, and Beyond
dev.to·3h·
Discuss: DEV
🗣️Domain-Specific Languages
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·4h·
Discuss: Hacker News
📝Concrete Syntax
Preview
Report Post