🎯 GADT

Generalized Algebraic Data Types, Type Safety, Phantom Types

Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.me·2d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Washington Post confirms data breach linked to Oracle hacks
techcrunch.com·12h
🛡️macOS Security
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·4d
🐳Containerization
Flag this post
Improving Rust Compile Times by 71 Percent
elijahpotter.dev·2d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Coding on Paper
thepalindrome.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
AWK technical notes (2023)
maximullaris.com·5d·
Discuss: Lobsters, Hacker News
🔀Brzozowski Derivatives
Flag this post
Why I stopped proofreading and started to listen
refp.se·6h·
Discuss: Hacker News
📚Automata Learning
Flag this post
original ↗
jamesoclaire.com·2d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·3d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
Intel's Rewrite Of Linux MM CID Code Showing Some Nice Gains For AMD
phoronix.com·16h
🔧Unikernel Development
Flag this post
Just dropping something useful I recently found, faceseek.
reddit.com·20h·
Discuss: r/artificial
🍎Apple
Flag this post
AIOps for SRE — Using AI to Reduce On-Call Fatigue and Improve Reliability
devops.com·20h
🩹Self-Healing Systems
Flag this post
Storing LLM Context the Laravel Way: EloquentChatHistory in Neuron AI
dev.to·16h·
Discuss: DEV
🌐ActivityPub
Flag this post
Generative Artificial Intelligence in Bioinformatics: A Systematic Review of Models, Applications, and Methodological Advances
arxiv.org·2d
📚Automata Learning
Flag this post
Accelerating MySQL Query Optimization via Reinforcement Learning & Hypergraph Analysis
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Understanding the Bridge Design Pattern in Go: A Practical Guide
reddit.com·1d·
Discuss: r/programming
💎Refinement Types
Flag this post
【A Cynic's Guide】The Paradox of Selecting Diagramming Tools: Which Tool Transcends Technical Elegance and the "Approval Hurdle"?
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🎯Complexity Classes
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
A.I. Abuse Is Reinventing the Law
nytimes.com·15h·
Discuss: Hacker News
🎮Verification Games
Flag this post