👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
Theory and AI Alignment
scottaaronson.blog·1d
🔲Cellular Automata
Preview
Report Post
2025 in Review: A Year of Smarter, Context-Aware API Security
lab.wallarm.com·11m
🎯Threat Hunting
Preview
Report Post
A procedural macro that generates Rust code at compile-time using AI
github.com·14h·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Structured Reasoning with Tree-of-Thoughts for Bengali Math Word Problems
arxiv.org·7h
💻Programming languages
Preview
Report Post
How to Build an LLM-Powered Database Query Bot for Your Web App in 1 Day
semicolonandsons.com·1d·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
IntelliJ Scala Plugin 2025.3 Is Out
blog.jetbrains.com·1h·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com·15h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Research Worth Reading Week 49/2025
pentesterlab.com·13h
🔐Archive Cryptanalysis
Preview
Report Post
Issue 501
haskellweekly.news·4d
🔗Functional Compilers
Preview
Report Post
Cryptography for the Everyday Developer: Understanding RSA
sookocheff.com·2d
🔐Homomorphic Encryption
Preview
Report Post
Relational Memory in LLMs: How Relational Memory Solves Finite Context
dev.to·4h·
Discuss: DEV
🔗Constraint Handling
Preview
Report Post
LYNX: Learning Dynamic Exits for Confidence-Controlled Reasoning
arxiv.org·7h
🔲Cellular Automata
Preview
Report Post
MIND: Multi-rationale INtegrated Discriminative Reasoning Framework for Multi-modal Large Models
arxiv.org·7h
🤖Advanced OCR
Preview
Report Post
Formally Verifying Advent of Code Using Dijkstra's Program Construction
haripm.com·4d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
The Quest to Replace Passwords: a comparative evaluation of Web authn schemes
cl.cam.ac.uk·19h·
Discuss: Hacker News
🔐PKI Archaeology
Preview
Report Post
Ignore Prior Instructions: AI Still Befuddled by Basic Reasoning
thenewstack.io·22h
⚡Proof Automation
Preview
Report Post
Meta-Optimized Continual Adaptation for coastal climate resilience planning with zero-trust governance guarantees
dev.to·14h·
Discuss: DEV
⚡Incremental Computation
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·1d
📐Interval Arithmetic
Preview
Report Post
I made a prompt framework that makes LLMs stop hedging and speak straight
news.ycombinator.com·9h·
Discuss: Hacker News
✨Effect Handlers
Preview
Report Post
ODF 1.4
docs.oasis-open.org·23h·
Discuss: Hacker News
✅Format Verification
Preview
Report Post