Installing Proxmox on a Raspberry Pi to run Virtual Machines on it
itsfoss.com·12h
🖥Home Lab Setup
Why not REST?
adam.nels.onl·2d
⚡gRPC
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·9h
🔗Combinatory Logic
Sallies
asemic-horizon.com·3h
🏗️Constructive Logic
UNC6395 Expands Data Theft Campaign to Email OAuth Tokens
decipher.sc·3d
🔓Hacking
Ten Blue Links, "will people stop doing interesting things with AI" edition
ianbetteridge.com·22h
🔍BitFunnel
What Happened When Unix Co-Creator Brian Kernighan Tried Rust?
developers.slashdot.org·1d
🔩Systems Programming
Secure by Design: A Shift-Left Approach with Testcontainers, Docker Scout, and Hardened Images
docker.com·4d
📦Container Security
How we made Kagi Assistant load twice as fast
jacobwinters.com·3d·
Discuss: Hacker News, Hacker News
🗄️Database Internals
AI Models Need a Virtual Machine
blog.sigplan.org·2d·
Discuss: Hacker News, Hacker News
⚙️TLA+
Zero-Shot KWS for Children's Speech using Layer-Wise Features from SSL Models
arxiv.org·14h
🎙️Whisper
Anatomy of Email Security Vulnerabilities: How Spoofing, Protocol Weaknesses, and Misconfigurations Power Modern Attacks
dev.to·1d·
Discuss: DEV
🌐DNS Security
The Cookie Bomb: My First $10K in Bug Bounties
infosecwriteups.com·12h
🔓Hacking
OmniCloudMask: Cloud and shadow segmentation for satellite imagery
github.com·2h·
Discuss: Hacker News
📊Quantization
Flutter 3.5 Offers New Developer Experience Features
thenewstack.io·2d
🌐WASI
Chicken Scheme internals: the garbage collector
more-magic.net·3d·
Discuss: Hacker News
🧠Separation Logic
Automated Protocol Synthesis & Validation for Multi-Modal Scientific Data Streams
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Automated Multi-Scale Anomaly Detection in Granular Material Simulations via Hybrid Tensor-Graph Networks
dev.to·7h·
Discuss: DEV
🕸️Tensor Networks
Security Affairs newsletter Round 539 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·1d
🛡Cybersecurity
Improving Aviation Safety Analysis: Automated HFACS Classification Using Reinforcement Learning with Group Relative Policy Optimization
arxiv.org·14h
✨Algebraic Effects