Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·19h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·1d·
Discuss: DEV
📊Runtime Verification
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Visopsys: OS maintained by a single developer since 1997
dev.to·20h·
Discuss: DEV
❄️NixOS
Flag this post
🚀 Modular vs Monolithic Blockchain Explained (L1, L2, Web3 Future in Simple Hindi)
dev.to·4h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
GitHub Issue Monitor AI Agent with Mastra
dev.to·15h·
Discuss: DEV
🔌APIs
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
JavaScript Utility Library Lodash Changing Governance Model
thenewstack.io·1d
🔧DevOps
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
dev.to·23h·
Discuss: DEV
🎯GADT
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.com·12h·
Discuss: Hacker News
🍎Apple
Flag this post
How do you stay safe from malware?
reddit.com·13h·
Discuss: r/linux
💻QEMU
Flag this post
AWS Terraform Module - Custom Prompt Injection Detection
dev.to·1d·
Discuss: DEV
❄️NixOS
Flag this post
How Cover Whale Scaled Its Developer Platform Beyond an MVP
thenewstack.io·2d
🔧DevOps
Flag this post
Building UnisonDB a DynamoDB-Inspired Database in Go with 100+ Edge Replication
reddit.com·1d·
Discuss: r/golang
🔄Reproducible Builds
Flag this post
GitHub Announces 'Agent HQ', Letting Copilot Subscribers Run and Manage Coding Agents from Multiple Vendors
developers.slashdot.org·11h
🔧DevOps
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·3h·
Discuss: DEV
🔧DevOps
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·1d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Rouille – Rust Programming, in French
dev.to·2d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·8h·
Discuss: DEV
🎮Verification Games
Flag this post
Collateral Crossroads: Quantum-AI's Revolution in Risk Mitigation
dev.to·7h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post