HPE ProLiant MicroServer Gen11 Review Great New Mini Server
servethehome.com·1d
🏠Homelab Preservation
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·1d
⚡Proof Automation
Cross-Device Session Fixation and How the DC API Solves It
danielfett.de·10h·
Discuss: Hacker News
🎫Kerberos Attacks
Google spoofed via DKIM replay attack: A technical breakdown
easydmarc.com·20h·
Discuss: Hacker News
🎫Kerberos Attacks
Show HN: What Happens to Your Secrets When You're Gone? Inspired by Real Events
news.ycombinator.com·8h·
Discuss: Hacker News
🏠Personal Archives
Reliable by Design: Fast, Fail-Safe AI Agents
aimon.ai·4d·
Discuss: Hacker News
🔍Concolic Testing
Sjj1024/PakePlus
github.com·2d
🏺ZIP Archaeology
Vintage computing boffin releases expansive Intel 286 test suite
theregister.com·4d·
Discuss: r/hardware
🎯Emulation Accuracy
Euro healthcare giant AMEOS Group shuts down IT systems after mystery attack
theregister.com·1d
🎫Kerberos Attacks
A bizarre new Linux malware can be found hiding in cute animal photos
techradar.com·10h
🔓Hacking
TheProtector: Bash Based
github.com·2d·
Discuss: Hacker News
🔍eBPF
Linux Kernel Could Soon Expose Every Line AI Helps Write
linux.slashdot.org·3h
🔩Systems Programming
Deep Learning for Glioblastoma Morpho-pathological Features Identification: A BraTS-Pathology Challenge Solution
arxiv.org·22h
🧠Machine Learning
Intel might cancel 14A process node development and the following nodes if it can't win a major external customer — move would cede leading-edge market to TSMC ...
tomshardware.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Understanding Prompt Programming Tasks and Questions
arxiv.org·1d
🔗Concatenative Programming
Building Trust in AI: Enterprise Knowledge Base Validation with MindsDB
dev.to·6h·
Discuss: DEV
🧬PostgreSQL Forensics
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
arxiv.org·1d
🤖Lisp Machines
Axiomatizing Rumsfeld Ignorance
arxiv.org·22h
🔲Proof Irrelevance
Writing experience: My decade with Org
lmno.lol·1d
🦋Format Metamorphosis
Revisiting LLM Reasoning via Information Bottleneck
arxiv.org·22h
📏Linear Logic