Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·10h
🔧Hardware Verification
How to find Smartbedded Meteobridge devices on your network
runzero.com·14h
🛡️eBPF Security
SSH keys in TPM
blog.dan.drown.org·9h
🔒Hardware Attestation
SysLinuxOS: The Go-To Linux for System Administrators
thenewstack.io·1d
🔌Operating system internals
My First Contribution to Linux
vkoskiv.com·1h·
Discuss: Lobsters, Hacker News
📺VT100 Emulation
Practical ZFS Performance Tuning: ARC, L2ARC, and SLOG Explained
discoverbsd.com·1d
🔍eBPF
Obelisk 0.25.4 and handling of WASM traps
obeli.sk·1h·
Discuss: Hacker News
🐚Shell Monads
Three important things to get right for successful AI Coding
kau.sh·21h
⚡Proof Automation
Infinite Footguns: Writing a JavaScript Interpreter in JavaScript
scour.ing·1d
⚡Proof Automation
Are Software Registries Inherently Insecure?
developers.slashdot.org·12h
📦Container Security
Quick and Dirty Analysis of Possible Oracle E-Business Suite Exploit Script (CVE-2025-61882), (Mon, Oct 6th)
isc.sans.edu·10h
🎫Kerberos Exploitation
New script: AWS China MFA login
perrotta.dev·2d
🇨🇳Chinese Computing
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
I have created a tutorial on how to install Mint with BTRFS and Full Disk Encryption!
gist.github.com·16h·
Discuss: r/linux
🔒Secure Boot
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·26m·
Discuss: Hacker News
🔒WASM Capabilities
6th October – Threat Intelligence Report
research.checkpoint.com·4h
🛡Cybersecurity
Koske miner – Panda images and malware generated by AI
baco.sk·22h·
Discuss: Hacker News
🔗Binary Similarity
Design Principle: Composable Services
sleepingpotato.com·54m·
Discuss: Hacker News
⚡gRPC
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
🐚Shell Calculus
Dave's Paper Notes: A Tutorial for the Sam Command Language
ratfactor.com·5d
📝Shell Parsing