Arch Linux Security with Foxboron and Anthraxx
opensourcesecurity.io·1h
🐚Nordic Shell
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·1d
🧮Theorem Proving
Accidentally solving the Swisscom 2025 security.txt challenge
wejn.org·1d
🔓Hacking
Tired of Python virtual environments eating your disk space? I built a solution (uvkill)
github.com·8h
🪟Awesome windows command-line
LLMs Suck at Deep Thinking Part 3 - Trying to Prove It (fixed)
lesswrong.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Autonomous Testing of Etcd's Robustness
cncf.io·3d·
Discuss: Hacker News
🔍Concolic Testing
The impact of large language models in science
nature.com·1d·
Discuss: Hacker News
💻Local LLMs
Agent design lessons from Claude Code
jannesklaas.github.io·2d·
Discuss: Hacker News
⚡Proof Automation
The AI coding trap
chrisloy.dev·9h·
Discuss: Hacker News
📏Code Metrics
From JIT to Native: Path to Efficient Java Containers
medium.com·1d·
Discuss: Hacker News
🕸️WebAssembly
We reverse-engineered Flash Attention 4
modal.com·3d·
Discuss: Hacker News, Hacker News
🖥️Modern Terminals
This graph alone shows how global AI power consumption is getting out of hand very quickly - and it's not just about hyperscalers or OpenAI
techradar.com·1d
📊Homelab Monitoring
ONNX Runtime v1.23.0 Released
github.com·2d·
Discuss: Hacker News
🌊Streaming Compression
FreeBSD 15.0 Alpha 4 Will Now Install pkg From Release Media
phoronix.com·1d
🐡OpenBSD
Help needed choosing hardware components?
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Preservation
[D] Serving solutions for recsys
reddit.com·17h·
Discuss: r/MachineLearning
🌊Streaming Systems
Asus addresses stuttering issues plaguing its gaming laptops — beta patch released for ROG laptops, final fix due in October
tomshardware.com·1d·
Discuss: r/technews
🎯Emulation Accuracy
Adaptive Wavelet-Based Artifact Mitigation for High-Density EEG Decoding
dev.to·8h·
Discuss: DEV
👂Psychoacoustic Models
NEC V20: The Original PC Processor Upgrade
hackaday.com·1d
🕹️Retro Gaming
Mainframed/ANSi2EBCDiC: convert ANSI art to EBCDIC/TN3270 art
github.com·5d·
Discuss: Hacker News
📺VT100 Emulation