Hippopoto-monstro-sesquippedalio-phobia
rhollick.wordpress.comยท1d
๐ŸŒ€Brotli Dictionary
Pgschema โ€“ Declarative schema migration for Postgres
pgschema.comยท22hยท
Discuss: Hacker News
๐Ÿ”„Schema Evolution
Prompt Snapshot Testing
ninkovic.devยท4dยท
Discuss: Hacker News
โšกProof Automation
Shamir's Secret Sharing
en.wikipedia.orgยท3dยท
Discuss: Hacker News
๐Ÿ”Hash Functions
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿ“ผCassette Hacking
How to Use Claude Code Subagents to Parallelize Development
zachwills.netยท4dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.devยท4dยท
Discuss: Hacker News
โšกProof Automation
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.orgยท5d
๐Ÿ”Quantum Security
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.orgยท4d
โš™๏ธTLA+
Agentic Misalignment in LLMs: Unmasking Risks, Real Examples, and What CTOs Must Do Now
dev.toยท1dยท
Discuss: DEV
โš™๏ธProof Engineering
Homelab Virgin
reddit.comยท12hยท
Discuss: r/homelab
๐Ÿ Homelab Preservation
How to Make Your Data Science Project the Beyoncรฉ of the Boardroom
dev.toยท3dยท
Discuss: DEV
โšกPerformance Mythology
The Ultimate Developer's Guide to AI Tools in 2025: 247+ Curated Tools That Actually Matter
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Language Evolution
Symmetries in stochastic homogenization and acclimatizations for the RVE method
arxiv.orgยท1d
๐Ÿ“Linear Algebra
RECAP: REwriting Conversations for Intent Understanding in Agentic Planning
arxiv.orgยท5d
๐Ÿ”—Parser Combinators
Unlocking the Future of Work: A Deep Dive into Automation and AI Agents
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Archive Automation
๐Ÿš€ Day 13 of My Python Learning Journey
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Mathematical Art
Generative Quasi-Continuum Modeling of Confined Fluids at the Nanoscale
arxiv.orgยท2d
๐ŸŒComputational Topology