Mathematics linked to Water
poetrywithmathematics.blogspot.com·9h·
Discuss: poetrywithmathematics.blogspot.com
📐Mathematical Art
Doing Lean Dirty: Lean as a Jupyter Notebook Replacement
philipzucker.com·5d
🦀Rust Macros
Commodore emulation packages Amiga Forever 11 and C64 Forever 11 released
heise.de·1d
🕸️WASM Archives
Atomic macOS infostealer adds backdoor for persistent attacks
bleepingcomputer.com·7h·
Discuss: Hacker News
💿WORM Storage
Stop Hiding My Controls: Hidden Interface Controls Are Affecting Usability
interactions.acm.org·2d·
Discuss: Hacker News
🔐Capability Systems
Secure AI Vibe Coding with Rules Files
wiz.io·4d·
Discuss: Hacker News
⚡Proof Automation
Integrating Long-Term Memory with Gemini 2.5
philschmid.de·5d
🎙️Whisper
Building a Potato-based GLaDOS as an Introduction to AI
hackaday.com·1d
🎮GameBoy Architecture
The “Senior Dev” Singleton: How I Shot Myself in the Foot with Database Connections
dev.to·11h·
Discuss: DEV
💾SQLite
APRMCTS: Improving LLM-based Automated Program Repair with Iterative Tree Search
arxiv.org·5d
🧮SMT Solvers
Racing Game with Python + Pygame 🚗
dev.to·1d·
Discuss: DEV
📼Retro Games
Meta reportedly recruits Apple’s head of AI models
techcrunch.com·6h·
Discuss: Hacker News
🍎Apple Computing
Never Miss a Local Meetup Again! 🚀
dev.to·1d·
Discuss: DEV
🎯Recommendation Metrics
Keeping Your AI in Check: The Importance of Model Monitoring and Versioning
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Python Fundamentals: bandit
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
UGG-ReID: Uncertainty-Guided Graph Model for Multi-Modal Object Re-Identification
arxiv.org·2h
📊Learned Metrics
The 12-Factor Agent: A Practical Framework for Building Production AI Systems
dev.to·3d·
Discuss: DEV
⚙️TLA+
In Cursor, Context is King.
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Show HN: Build your own AI code editor
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Vibe Coding - Conversational Software Development - Part 1 Introduction
dev.to·3d·
Discuss: DEV
🎙️Whisper