ABB, Blykalla team up on nuclear power technology for maritime industry
offshore-energy.biz·15h·
Discuss: Hacker News
🐳Containerization
Making Airbnb Social
contactsmanager.io·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Impact of AI on Engineering Teams
newsletter.eng-leadership.com·1h·
Discuss: r/programming
👁️System Observability
RSS co-creator launches new protocol for AI data licensing
techcrunch.com·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·8h·
Discuss: Hacker News
🧮Lambda Calculus
Careers Are More Than Ladders: They're Cyclones and Rhymes
sungwc.substack.com·8h·
Discuss: Substack
🧗Climbing Tech
Effects as Capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Rust's Enterprise Breakthrough Year
rust-trends.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Engineering a High-Performance Go PDF Microservice
reddit.com·1d·
Discuss: r/programming
🔧Unikernel Development
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·1d·
Discuss: r/programming
📊Runtime Verification
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
Dotter: Dotfile manager and templater written in Rust
github.com·6h·
Discuss: Hacker News
🐳Containerization
How OpenAI Operator Works with AI Agents
anchorbrowser.io·7h·
Discuss: Hacker News
🧠Automated Reasoning
Malicious NPM Versions (chalk, debug, strip-ANSI) Found in September 2025 Attack
blog.firstpoint.com.tr·13h·
Discuss: Hacker News
🔄Reproducible Builds
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Broadcom Steps Up to Challenge Nvidia in AI Chip Arms Race
hpcwire.com·10h·
Discuss: Hacker News
🔧Unikernel Development
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·12h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧠Automated Reasoning