👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

ChatGPT kept giving me bland dinner recipes until I showed it the kind of meals I actually like
techradar.com·1h
🧮Algorithmic Cooking
Using AI to identify cybercrime masterminds
news.sophos.com·14h
🎯Threat Hunting
XML External Entity (XXE) Injection in Akamai CloudTest
xbow.com·6h·
Discuss: Hacker News
🧪CBOR Fuzzing
There's no such thing as a tree (phylogenetically) (2021)
eukaryotewritesblog.com·9h·
Discuss: Hacker News
🦴Database Paleontology
Copyleft-next license project relaunch announcement
lists.copyleft.org·18h·
Discuss: Hacker News
🐧FOSS
Help me find a motherboard/CPU for a new Docker server build
reddit.com·19h·
Discuss: r/homelab
🖥️Modern CPU
Setting Up a Web Development Environment on Windows (For Beginners)
dev.to·5h·
Discuss: DEV
🪟Awesome windows command-line
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5d·
Discuss: Hacker News
🌀Brotli Internals
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·4d
📐Error Bounds
Think, Damnit: A Brutal Guide to Asking Better Programming Questions
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Characterization Of Diseases In Temporal Comorbidity Networks
arxiv.org·21h
📐Information Geometry
Opensourced ML Signals Toolkit
dev.to·9h·
Discuss: DEV
🌊Digital Signal Processing
🚀 Day 2: Controlling the Flow – Python Core Concepts Unlocked
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
We are rewriting the message queue in Rust and would like to hear your suggestions.
reddit.com·20h·
Discuss: r/rust
🔒Linear Types
🏂 Beginner-Friendly Guide: "Sum of k-Mirror Numbers" – LeetCode 2081 (python| JavaScript | Python )
dev.to·3d·
Discuss: DEV
λLambda Encodings
Learning resource for an experienced dev with zero Golang knowledge
reddit.com·2d·
Discuss: r/golang
🧠Lisp Dialects
Beyond Speed: A Smarter Framework for Measuring AI Developer Efficiency
dev.to·2d·
Discuss: DEV
📏Code Metrics
DAPFAM: A Domain-Aware Patent Retrieval Dataset Aggregated at the Family Level
arxiv.org·21h
🔍Information Retrieval
Reconstructing Intelligible Speech from the Pressure Sensor Data in HVACs
arxiv.org·21h
🎙️Whisper
Demystifying GPT-2: The Magic of Transformers and Attention published
dev.to·2d·
Discuss: DEV
🌀Brotli Internals