Lichess Mobile App Official Release
lichess.orgΒ·1dΒ·
Discuss: Hacker News
🎯Emulator Accuracy
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.comΒ·6dΒ·
Discuss: Hacker News
πŸ’§Liquid Types
Rust's .map is cool
bennett.inkΒ·4d
πŸ”’Linear Types
Adrarsh Divakaran: Vibe Coding with Junie - JetBrains AI Coding Agent
blog.adarshd.devΒ·5d
πŸŽ™οΈWhisper
Penpot (open-source Figma alternative) AI whitepaper
penpot.appΒ·3dΒ·
Discuss: Hacker News
πŸ“ŸCLI Design
A Deep Dive into a Potential Privilege Escalation Issue
infosecwriteups.comΒ·9h
πŸ”“Hacking
Using geometry and physics to explain feature learning in deep neural networks
phys.orgΒ·2h
🧠Machine Learning
Entering Technical Debt's ZIRP Era
worksonmymachine.aiΒ·1dΒ·
Discuss: Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
I feel like I've wasted years, by not using Cockpit.
reddit.comΒ·2dΒ·
Discuss: r/linux
🐧FOSS
Masked Menace: How a Fake OAuth App and a Loose GraphQL Endpoint Stole the Real Keys
infosecwriteups.comΒ·9h
🎫Kerberos Attacks
Copilot Taught Me NextJS 15
dev.toΒ·3dΒ·
Discuss: DEV
πŸ”—Concatenative Programming
i think i accidentally ddos'd my own database with goroutines
reddit.comΒ·3dΒ·
Discuss: r/golang
πŸ¦€Rusty Databases
Axum Is Shaping the Future of Web Development in Rust
dev.toΒ·5dΒ·
Discuss: DEV
πŸ”’Linear Types
Machine Learning Fundamentals: model selection
dev.toΒ·1dΒ·
Discuss: DEV
🎡Audio ML
Intel CPU Temperature Monitoring Driver For Linux Now Unmaintained After Layoffs
phoronix.comΒ·1dΒ·
Discuss: r/linux
πŸ”eBPF
AI-Driven Post-Operative Rehabilitation Optimization via Kinematic Analysis & Personalized Exercise Prescription
dev.toΒ·2hΒ·
Discuss: DEV
πŸŒ€Riemannian Computing
How would you design multi-cluster EKS job triggers at scale?
reddit.comΒ·21hΒ·
Discuss: r/kubernetes
🌊Streaming Systems
Context Engineering β€” A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.comΒ·4d
✨Effect Handlers
Machine Learning Fundamentals: model evaluation with python
dev.toΒ·3dΒ·
Discuss: DEV
πŸ“Code Metrics
The Subtle Art of Herding Cats: Show, Don’t Tell: Teaching AI by Example (Part 2 of 4)
dev.toΒ·3dΒ·
Discuss: DEV
⚑Proof Automation