🔺 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·8h·
Discuss: Lobsters, Hacker News
📵Digital Minimalism
Flag this post
Can Language Models Optimize Real-World Repositories on Real Workloads?
swefficiency.com·13h·
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
Mastering Cross-Region Loadbalancer Configuration
linkedin.com·2d·
Discuss: DEV
🐝Cilium
Flag this post
Portal - Permissionless hosting network that transforms your local project into a public web endpoint
reddit.com·18h·
Discuss: r/golang
🚀Shuttle
Flag this post
Frequency-Aware Sparse Optimization for Diagnosing Grid Instabilities and Collapses
arxiv.org·3d
🔍DTrace
Flag this post
Docker: A core backend concept
dev.to·7h·
Discuss: DEV
🐳Docker
Flag this post
Two Hours to Find a Swapped String
dev.to·1d·
Discuss: DEV
📐Type Theory
Flag this post
The Hidden Cost of Event-Driven Architecture: Why Decoupling Can Triple Your Debugging Time
dev.to·4d·
Discuss: DEV
🔍DTrace
Flag this post
How to Sync Anything: Building a Sync Engine from Scratch — Part 1
dev.to·3d·
Discuss: DEV
🌳Merkle Trees
Flag this post
The Bug: How a Missing Database Index Cost Us Real Money
dev.to·1d·
Discuss: DEV
🦆DuckDB
Flag this post
Enabling Continuous Deployment with Amazon Elastic Container Service and Infrastructure as Code
dev.to·2d·
Discuss: DEV
🚀Shuttle
Flag this post
Architecting Trust: How AI and Blockchain Conquer Enterprise Finance
dev.to·1d·
Discuss: DEV
💰TigerBeetle
Flag this post
On Battle-Short: What, How, and Why Not To
lesswrong.com·19h
🦀Rust
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Flag this post
I/O Multiplexing
dev.to·1d·
Discuss: DEV
🔄epoll
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
[Question] Harvester + OpenStack + RKE2: Which Cloud Provider Setup Is Correct?
reddit.com·10h·
Discuss: r/kubernetes
☸️Kubernetes
Flag this post
Efficient Hyperdimensional Computing with Modular Composite Representations
arxiv.org·1d
🧮Vector Databases
Flag this post