Fortune habits in Nix
lottia.net·1d
❄nix
Hardest Question From China’s University Entrance Exam
mindyourdecisions.com·4d
🧮SMT Solvers
Infrequently Asked Questions
www-cs-faculty.stanford.edu·4d
🎯Gradual Typing
ToolShell: An all-you-can-eat buffet for threat actors
welivesecurity.com·2d
🎫Kerberos Exploitation
Last Week on My Mac: 🦉 No AI content
eclecticlight.co·20m
🌀Brotli Internals
(Weak) Factorization Systems
bartoszmilewski.com·18h·
Discuss: Hacker News
🔀Category Theory
New Tool: ficheck.py, (Thu, Jul 24th)
isc.sans.edu·3d
✅Archive Fixity
Why Cursor is a great company
zandrey.com·2h·
Discuss: Hacker News
🖥️Terminal Renaissance
Intel Looking to Spin and Sell its Networking and Edge Business
servethehome.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Dark Source, Dark Forest: Rethinking Open Source and Blockchain in the Age of AI
darksource.ai·5d·
Discuss: Hacker News, r/opensource
🔓Open Source Software
Pointers Are Complicated, Or: What's in a Byte?
ralfj.de·2d·
Discuss: Hacker News
🦀Embedded Rust
In Defence of Gary Marcus
reubenadams.substack.com·20h·
Discuss: Substack
💾vintage computing
ViGuard™ — Intelligent Vehicle Shielding System
dev.to·4h·
Discuss: DEV
🎯Threat Hunting
18 months. 12,000 questions. A whole lot of anxiety. What I learned from reading students’ ChatGPT logs
theguardian.com·2h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
I am a cybersecurity pro and here's the most powerful strategy criminals are using against retailers right now
techradar.com·2d
🎯Threat Hunting
VisionTrap: Unanswerable Questions On Visual Data
arxiv.org·3d
📸TIFF Archaeology
The Engineering Principles Behind Sparrow’s Speed
dev.to·1d·
Discuss: DEV
🐚Nordic Shell
Neovim plugin to prompt any model from Markdown files
github.com·2h·
Discuss: Hacker News
📚Lempel-Ziv
Data Engineering in the Age of AI: Skills To Master Now
thenewstack.io·1d
🌊Stream Processing
What does the public want their local government to hear? A data-driven case study of public comments across the state of Michigan
arxiv.org·2d
🏛Digital humanities