🔺 CAP Theorem

Distributed Systems, Consistency, Availability, Partition Tolerance

I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
github.com·1d·
Discuss: r/C_Programming
λFunctional Programming
Flag this post
When Your Year of Work Gets Copied Overnight: What Matters?
glama.ai·11h·
Discuss: Lobsters, Hacker News
📵Digital Minimalism
Flag this post
AI Gateway from Pydantic
pydantic.dev·1d·
Discuss: Hacker News
🦙Ollama
Flag this post
Can Language Models Optimize Real-World Repositories on Real Workloads?
swefficiency.com·15h·
Discuss: Hacker News
📊Profile-Guided Optimization
Flag this post
Building a unified experience from the CLI to the Web Application
systeminit.com·1d·
Discuss: Hacker News
⌨️CLI Development
Flag this post
From ETL to AI(e)tl: Rethinking Data Pipelines for the AI Era
evanvolgas.substack.com·1d·
Discuss: Substack
🦙Ollama
Flag this post
Mastering Cross-Region Loadbalancer Configuration
linkedin.com·2d·
Discuss: DEV
🐝Cilium
Flag this post
Fun-reliable side-channels for cross-container communication
simonwillison.net·3d
🔒Futex
Flag this post
The Eightfold Path To Enlightened Disagreement
lesswrong.com·1d
🤔Philosophy
Flag this post
Architecting Trust: How AI and Blockchain Conquer Enterprise Finance
dev.to·1d·
Discuss: DEV
💰TigerBeetle
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Flag this post
[Question] Harvester + OpenStack + RKE2: Which Cloud Provider Setup Is Correct?
reddit.com·12h·
Discuss: r/kubernetes
☸️Kubernetes
Flag this post
Efficient Hyperdimensional Computing with Modular Composite Representations
arxiv.org·1d
🧮Vector Databases
Flag this post
An Efficient and Almost Optimal Solver for the Joint Routing-Assignment Problem via Partial JRA and Large-{\alpha} Optimization
arxiv.org·1d
📊Dynamic Programming
Flag this post
computer
dev.to·3d·
Discuss: DEV
🕐Vector Clocks
Flag this post
IoT Security in the 5G Era: How Connected Devices Became the New Attack Surface
dev.to·1d·
Discuss: DEV
🔒Security
Flag this post
Your Automation Platform is Lying to You About Scale.
dev.to·1d·
Discuss: DEV
🎆Firecracker
Flag this post
Why IBM iSeries Remains the Backbone of Mission-Critical Operations
dev.to·3d·
Discuss: DEV
🏗️System Design
Flag this post
Kiro with MCP for GitHub Integration, Docs, Diagrams and AWS Recommendations
dev.to·3h·
Discuss: DEV
🚀Shuttle
Flag this post
Building "CodeBro": My (Pointless) Adventure into AI Agents with Java
dev.to·1d·
Discuss: DEV
💼Thrift
Flag this post