GOLD BLADE Remote DLL Sideloading Attack Deploys RedLoader
news.sophos.com·4h
🎫Kerberos Exploitation
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·21h·
Discuss: Hacker News
⚔️Lean Theorem
Show HN: Same prompt tested across Replit, Bolt, v0, Lovable and Raq.com
raq.com·7h·
Discuss: Hacker News
⚡Proof Automation
My 2.5 year old laptop can write Space Invaders in JavaScript now
simonwillison.net·7h·
Discuss: Hacker News, r/LocalLLaMA
🖥️Terminal Renaissance
How I Took Over a Forgotten Google Storage Bucket Used to Distribute Helm Binaries
infosecwriteups.com·12h
📦Container Security
State of the Art SISR [R]
reddit.com·1d·
Discuss: r/MachineLearning
💾Disk Imaging
Detecting and Handling Backend Failures with (Community) NGINX-Ingress
reddit.com·1d·
Discuss: r/kubernetes
🛡️eBPF Security
Best queue choice for low latency systems
reddit.com·2d·
Discuss: r/golang
🌊Streaming Systems
Tokenomics by Grammar
hackernoon.com·1d
📋Document Grammar
Why Context-Aware AI Is Quickly Replacing Code-Only Tools
thenewstack.io·2d
⚡SMT Integration
Bitnami moving most free container images to a legacy repo on Aug 28, 2025. What's your plan?
reddit.com·11h·
Discuss: r/kubernetes
📦Archive Formats
The VibeTDD Experiment: A Roadmap for Combining AI and Test-Driven Development
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Mitigating Geospatial Knowledge Hallucination in Large Language Models: Benchmarking and Dynamic Factuality Aligning
arxiv.org·16h
🧠Intelligence Compression
The Old Internet Can’t Handle Real-Time Apps
hackernoon.com·2d
🕸️Mesh Networking
Software Architecture Is Finally Fixing Its Biggest Problem: Developer Experience
thenewstack.io·4d
🔌Interface Evolution
Bitnami Alternative For A Beginner
reddit.com·2h·
Discuss: r/kubernetes
📦Container Security
To Rack or Not to Rack?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Geometric-Perturbation-Robust Cut-Cell Scheme for Two-Material Flows: Exact Pressure-Equilibrium Preservation and Rigorous Analysis
arxiv.org·16h
🌀Differential Geometry
Are we building AI coding assistants wrong?
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Proof Automation
Show HN: Tinycoder is a tiny provider-agnostic alt. to Codex/Code/Gemini CLI
github.com·2d·
Discuss: Hacker News
🎙️Whisper