👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

What We’ve Learned from 5 Months of Hackbot Activity
hackerone.com·5h
🔓Hacking
Comprehensive Comparison of Algorithmic Trading Platforms
jonathankinlay.com·1d·
Discuss: Hacker News
🔍BitFunnel
Field Sensitive Escape Analysis in Golang?
reddit.com·1d·
Discuss: r/golang
🧠Lisp Dialects
RAG Blueprint
docs.vespa.ai·8h·
Discuss: Hacker News
🤖Archive Automation
Threaded Code
muforth.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Large Language Models
blog.jsbarretto.com·13h·
Discuss: Hacker News
📝Concrete Syntax
Ecma International approves ECMAScript 2025: What’s new?
2ality.com·23h·
Discuss: Hacker News
🎯Gradual Typing
Predicting Faulty Validations in Cluster Issue Detection: A ML Approach - DevConf.CZ 2025
youtube.com·14h
📏Code Metrics
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·2h·
Discuss: DEV
👁️Observatory Systems
Coccinelle for Rust progress report (Collabora blog)
lwn.net·7h
🦀Rust Borrowing
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Causal Operator Discovery in Partial Differential Equations via Counterfactual Physics-Informed Neural Networks
arxiv.org·19h
🌀Differential Geometry
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·3h·
Discuss: DEV
🔍BitFunnel
Machine Learning Fundamentals: active learning
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·3d
🔗Combinatory Logic
Cactus Language • Syntax 11
inquiryintoinquiry.com·3d
📝Concrete Syntax
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·1d·
Discuss: DEV
📐Error Bounds