👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Collaborations Workshop 2025 Report
software.ac.uk·1d
📇Dublin Core
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·2d·
Discuss: Hacker News
🧭Content Discovery
[D] Thinking, Fast and Slow
reddit.com·1d·
Discuss: r/MachineLearning
🧮Theoretical Computer Science
20 Best AI Headshot Generators of 2025 (I Tried Them All)
dev.to·4h·
Discuss: DEV
⚡Proof Automation
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·3d
📐Compression Bounds
Cactus Language • Syntax 11
inquiryintoinquiry.com·4d
📝Concrete Syntax
The Leaderboard Illusion: Is Your Model Smart or Just Well-Studied?
dev.to·7h·
Discuss: DEV
🧪Hardware Fuzzing
🍸 Selecting the Largest Sum Subsequence of Length K – LeetCode 2099 (C++ | JavaScript | Python )
dev.to·20h·
Discuss: DEV
λLambda Encodings
Show HN: AI-SDK-Cpp – Unified C++ SDK for OpenAI, Anthropic, and More
github.com·23h·
Discuss: Hacker News, r/cpp
🔌Interface Evolution
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·3d·
Discuss: DEV
📐Error Bounds
What I Wish I Knew Before Building My First Client Website
dev.to·21h·
Discuss: DEV
✅Format Verification
Machine Learning Fundamentals: adam optimizer
dev.to·2d·
Discuss: DEV
📊Quantization
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·5d
🔗Combinatory Logic
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Rust for Beginners
reddit.com·21h·
Discuss: r/rust
🦀Rust Macros
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·1d·
Discuss: DEV
💧Liquid Types
Claude wrote me this story of a dev learning kubernetes, too accurate
reddit.com·15h·
Discuss: r/kubernetes
📦Container Security
Deciding Termination of Simple Randomized Loops
arxiv.org·4d
🌳Persistent Data Structures
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·1d
🧠Machine Learning
This Is How I Mastered TypeScript Like I'm 5 (And How You Can, Too!)(5)
dev.to·1d·
Discuss: DEV
🎯Gradual Typing