Maximize Vim with Macros
spin.atomicobject.com·10h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Data breach at major Swedish software supplier impacts 1.5M
bleepingcomputer.com·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.com·6h·
Discuss: Hacker News
📦OPAM
Flag this post
The Next Big Thing
semiengineering.com·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
Teaching robots to map large environments
news.mit.edu·8h·
Discuss: Hacker News
🤖Robotics
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.org·14h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Why We Migrated from Python to Node.js
blog.yakkomajuri.com·2d·
Discuss: Hacker News, r/node
🔧DevOps
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·14h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·1d·
Discuss: Hacker News, Hacker News
🔧ppx
Flag this post
We need to give LLMs human-like vision
matml.bearblog.dev·1d·
Discuss: Hacker News, Hacker News
📚Automata Learning
Flag this post
A toy model of corrigibility
lesswrong.com·3d
⏰Timed Automata
Flag this post
AI and Emotional Data Privacy: Balancing Innovation with Human Trust
dev.to·1d·
Discuss: DEV
🛡️Privacy Engineering
Flag this post
Code Smell 313 - Workslop Code
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Neural Green's Functions
arxiv.org·18h
📐Linear Algebra
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·6h·
Discuss: DEV
🎮Verification Games
Flag this post
Maxwell's Demon and the Arrow of Time
lesswrong.com·15h
🩹Self-Healing Systems
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.to·1d·
Discuss: DEV
📊Runtime Verification
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·1d
📐Linear Algebra
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.to·1d·
Discuss: DEV
📊Runtime Verification
Flag this post