👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

The Air Gap Is an Illusion: Securing AI Data Centers from Wireless Threats
bastille.net·2d
🎫Kerberos History
Saying Exactly What You Mean
feed.tedium.co·13h
💿FLAC Archaeology
Cybersecurity Snapshot: Security Lags Cloud and AI Adoption, Tenable Report Finds, as CISA Lays Out Vision for CVE Program's Future
tenable.com·3h
🏠Homelab Security
Are cybercriminals hacking your systems – or just logging in?
welivesecurity.com·1d
🔓Hacking
Terminating elegantly: a guide to graceful shutdowns (Go + k8s)
packagemain.tech·1d·
Discuss: r/golang
🌊Streaming Systems
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·5d·
Discuss: Hacker News, r/programming
🎯Automata theory
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·3d·
Discuss: Hacker News
🧩WASM Modules
When Dependencies Turn Dangerous: Responding to the NPM Supply Chain Attack
blog.qualys.com·1d
🔗Supply Chain
Accelerate your model training with managed tiered checkpointing on Amazon SageMaker HyperPod
aws.amazon.com·3d
🛡️Byzantine Fault Tolerance
I Replaced Animal Crossing's Dialogue with a Live LLM by Hacking GameCube Memory
simonwillison.net·2d
🕹Emulation
Show HN: 5MB Rust binary that runs HuggingFace models (no Python)
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
This Is How I Deploy My SSH App
dev.to·1h·
Discuss: DEV
📟Terminals
Explaining How Quantization Disparately Skews a Model
arxiv.org·2d
📊Quantization
Gin framework architecture visualized
reddit.com·2d·
Discuss: r/golang
🔌Interface Evolution
Adaptive Geriatric Companionship: Predictive Emotional Resonance via Dynamic Affective Mapping
dev.to·1d·
Discuss: DEV
🎯Threat Hunting
Bringing Multi-Modal Multi-Task Federated Foundation Models to Education Domain: Prospects and Challenges
arxiv.org·2d
🏠Homelab Federation
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·1d
📊Learned Metrics
Show HN: An open source Vercel/Render alternative for Python apps
github.com·1d·
Discuss: Hacker News
🐚Nordic Shell
AI-Driven Predictive Maintenance Optimization via Quantum-Enhanced Feature Extraction for Infineon Power Modules
dev.to·4d·
Discuss: DEV
⚛️Quantum Error Correction
Using RPI 5 Compute Module for FPGA Test
hackster.io·4d·
Discuss: Hacker News
⚡Homebrew CPUs