What's new in Swift: October 2025 Edition
swift.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Handbook of Satisfiability (2021)
iospress.com·21h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Show HN: I built a tool to version control datasets (like Git, but for data)
shodata.com·19h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·22h·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·2d·
Discuss: Hacker News, r/cpp
👁️System Observability
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·2d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·13h·
Discuss: DEV
🎮Verification Games
Flag this post
Code, community, and copilot. AI is changing the way we contribute
dev.to·8h·
Discuss: DEV
🌐ActivityPub
Flag this post
How to Build an AWS Bedrock Supervisor Agent to Automate EC2 and CloudWatch Tasks
hackernoon.com·17h
🌐ActivityPub
Flag this post
Active transfer learning for structural health monitoring
arxiv.org·4h
📚Automata Learning
Flag this post
Claude Skills Market
skillsmp.com·1h·
Discuss: Hacker News
💻CLI Tools
Flag this post
Show HN: A desktop app for managing multiple CI/CD pipelines
github.com·2d·
Discuss: Hacker News, r/devops, r/opensource
🔧DevOps
Flag this post
DIY? Or Retired Server?
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
Flag this post
DiscoBSD
github.com·12h·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
How I Built an MCP-Powered AI Git Commit Generator (And Why My Repository Loves Me Now) 🚀🤖
dev.to·2d·
Discuss: DEV
❄️Nixified Development
Flag this post
Best Linux Distros for Development
thenewstack.io·1d
❄️NixOS
Flag this post
Tech With Tim: Blitzy vs Devin vs Factory: Which AI Platform is The Best?
dev.to·21h·
Discuss: DEV
🔧DevOps
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·22h·
Discuss: DEV
🏃Escape Analysis
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
dev.to·22h·
Discuss: DEV
🎯GADT
Flag this post
Tech With Tim: Blitzy vs Devin vs Factory: Which AI Platform is The Best?
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post