👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Feeds to Scour
SubscribedAll
Strict US written description and enablement requirement applied to ADCs and platform inventions (Seagen v Daiichi Sankyo)
ipkitten.blogspot.com·9h·
Discuss: ipkitten.blogspot.com
📋Swedish Patents
Preview
Report Post
Unparalleled Performance: Bring Your C++ Logic to the Edge
fastly.com·18h
🔩Systems Programming
Preview
Report Post
Edward Z. Yang: Learning to love mesh-oriented sharding
blog.ezyang.com·12h
🗄️Database Sharding
Preview
Report Post
Quoting David Crespo
simonwillison.net·21h
🔓Reverse engineering
Preview
Report Post
Microarchitectural Modeling in the Era of Accelerator-Rich Systems and Computing at Scale
sigarch.org·3h
🖥️Hardware Architecture
Preview
Report Post
DoTs SDK Development: Automating TypeScript Client Generation
digitalocean.com·2d
🔌Interface Evolution
Preview
Report Post
Embodied Cognition and the “Tokenverse”
benjamincongdon.me·1d
🔲Cellular Automata
Preview
Report Post
Congratulations to three new doctorates!
11011110.github.io·4d
🎞️Tape Combinatorics
Preview
Report Post
Kinesis Advantage2
danishpraka.sh·11h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Preview
Report Post
Go is portable, until it isn't
simpleobservability.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
Cloudflare Outage: Rust Analysis
splinter.com.au·2d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
Absurdities and contradictions of my career in crypto
leku.blog·3d·
Discuss: Hacker News
🚀Indie Hacking
Preview
Report Post
FiwixOS 3.5 Released
fiwix.org·12h·
Discuss: Hacker News
🔌Operating system internals
Preview
Report Post
AI Energy Score v2: Refreshed Leaderboard, Now with Reasoning
huggingface.co·2d·
Discuss: Hacker News
🧠Intelligence Compression
Preview
Report Post
Hacking B2B Sales: 5 AI Integrations to Automate Your Pipeline & Crush Quotas
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
On the Computability of Artificial General Intelligence
arxiv.org·13h
🔲Cellular Automata
Preview
Report Post
Reliable RAG on Complex financial data using vLACQ stack
blog.devops.dev·3d
⚙️Batch Processing
Preview
Report Post
Local LLMs: state of the art
dev.to·7h·
Discuss: DEV
📊Performance Profiling
Preview
Report Post
Utility Boundary of Dataset Distillation: Scaling and Configuration-Coverage Laws
arxiv.org·13h
🧠Machine Learning
Preview
Report Post
Code Evolution: Self-Improving Software with LLMs and Python
github.com·2d·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post