2011 N1 = 2024 A2
blog.evanchen.cc·1d
🔬Lean
Agent OS | A free Spec-Driven Development System for AI-Powered Coding
buildermethods.com·5h
⚡Proof Automation
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming”
vidarholen.net·1d·
Discuss: Hacker News
💻Programming languages
Post-Quantum Cryptography in Kubernetes
kubernetes.io·1h
🔐Quantum Security
A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·4h·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Why 1Password hasn't released an MCP server
blog.1password.com·1d·
Discuss: Hacker News
🔌Interface Evolution
OpenAI claims the new ChatGPT agent can run your errands, build your slides, and make you look like you have your life together
techradar.com·5h
🚀Indie Hacking
Grappling with the Existential Panic over AI
easydns.com·1d·
Discuss: Hacker News
⚡Proof Automation
An AI Skeptic Uses AI for a Week
keithjgrant.com·2d·
Discuss: Hacker News
✨Effect Handlers
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·1d
⚔️Lean Tactics
Fundamental Concepts In Cloud Computing.
dev.to·9h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·21h
🔲Cellular Automata
Machine Learning Fundamentals: dropout
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Using AI in the development of stdlib
dev.to·6h·
Discuss: DEV
📏Code Metrics
Machine Learning Fundamentals: decision trees tutorial
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Decoding AI and ML in Testing Environments
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
arxiv.org·1d
📊Quantization
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.org·2d
📊Learned Metrics
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·21h
🔍Information Retrieval