An introduction to computer algebra (2018)
corywalker.me·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
How to make government work: Lessons from a rare British success story
samf.substack.com·2d·
Discuss: Substack
🩹Self-Healing Systems
Flag this post
It's much easier to hold computers accountable than to hold humans accountable
andymasley.substack.com·2d·
Discuss: Substack
🩹Self-Healing Systems
Flag this post
China Reveals Specifications for Largest Nuclear-Powered Cargo Ship
marineinsight.com·13h·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
DS-STAR: A state-of-the-art versatile data science agent
research.google·3d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
You Should Write An Agent
fly.io·4d·
🛡️seL4
Flag this post
Run LLMs Locally
ikangai.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
2025 Component Abuse Challenge: Using Inductors to Steal Power from Qi Wireless Charging Base Station
hackaday.com·2d
🩹Self-Healing Systems
Flag this post
Container redundancy for home server
reddit.com·7h·
Discuss: r/homelab
Kubernetes
Flag this post
China's AI Dual Flywheel: Why Mainland Hardware Wins First, Hong Kong Internet Later
dev.to·15h·
Discuss: DEV
💻Apple Virtualization
Flag this post
As AI-powered threat detection and response become increasin
dev.to·15h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Toward fast, containerized, user-space filesystems
lwn.net·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
RAG vs Fine‑Tuning: A Simple, Practical Guide for Beginners
dev.to·12h·
Discuss: DEV
📚Automata Learning
Flag this post
Integrity Under Siege: A Rogue gNodeB's Manipulation of 5G Network Slice Allocation
arxiv.org·4d
🌐Network Protocols
Flag this post
Operating System Questions
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
Detached agent chains that work like people do
dev.to·4d·
Discuss: DEV
Timed Automata
Flag this post
The Rise of the Specialist: Why Small Language Models are the Future of Enterprise AI
dev.to·3d·
Discuss: DEV
🧮SMT Solvers
Flag this post
Minimizing Loss ≠ Maximizing Intelligence
lesswrong.com·3d
📚Automata Learning
Flag this post