Authentication vs. authorization: What’s the difference?
proton.me·6h
🔐Capability Systems
Solutions and references
hamatti.org·1d
📐Proof Assistants
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·5d
🧬Functional Programming
No Points, No Velocity, No Problem: Scrum That Makes Sense
ktsakalozos.medium.com·1d
⚔️Lean Tactics
An easy, realistic model for MCP connectivity
tailscale.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Django Weblog: DSF member of the month - Jake Howard
djangoproject.com·2d
🚀Indie Hacking
In recruitment, an AI-on-AI war is rewriting the hiring playbook
thenextweb.com·4h·
Discuss: Hacker News
🌍Cultural Algorithms
Debugging Academia: What LaTeX Error Messages Teach Us About Surviving Peer Review
medium.com·1d·
Discuss: r/programming
📜Digital Philology
Lessons from writing a Kubernetes Security book
medium.com·1d·
Discuss: Hacker News
📦Container Security
Microsoft Is Trying to Trick You Into Using Copilot
lifehacker.com·23h
📡RSS Automation
We need to relearn how to use AI when it’s on our bodies
theverge.com·4h
🎯Content Recommendation
Ambler: rules of engagement with coding agents
dev.to·4d·
Discuss: DEV
💧Liquid Types
Python Comment Multiple Lines
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Evading Data Provenance in Deep Neural Networks
arxiv.org·12h
🔍Vector Forensics
TCDiff: Triplex Cascaded Diffusion for High-fidelity Multimodal EHRs Generation with Incomplete Clinical Data
arxiv.org·12h
🎙️Whisper
Context Guided Transformer Entropy Modeling for Video Compression
arxiv.org·12h
🧠Learned Codecs
Turbocharging TypeScript: What Happens When You Rebuild It in Go
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
Clojure Civitas – Open effort for learning resources with meaningful connections
github.com·3d·
Discuss: Hacker News
🦀Rust Macros
Trustworthy scientific inference for inverse problems with generative models
arxiv.org·12h
🧠Machine Learning
News Activity Map with Redis
dev.to·7h·
Discuss: DEV
⚖️Feed Ranking