MultiChannel and MultiPTLC: Towards A Global High-Availability Database
delvingbitcoin.org·1d
🎯Ring Buffers
Porting a library to a different language with a sentence
randomlabs.ai·8h·
Discuss: Hacker News
🎮Language Ergonomics
Scaling Healthcare Data Processing: Multi-Environment FHIR Patient Updates with Smart Batch Processing
dev.to·43m·
Discuss: DEV
⚡Incremental Parsing
Typename syntax and resolution in ClojureCLR
dmiller.github.io·2d
🔮Type Inference Visualization
Towards the State Space Interpretation (SSI): A Formalized Framework for Game Studies and Design
arxiv.org·2h
⚡Control Synthesis
istio/istio
github.com·4h
🌉Language Bridges
7 Essential Distributed Systems Techniques Every Software Architect Must Master in 2024
dev.to·2d·
Discuss: DEV
📮Persistent Queues
Implicit Communication in Linear Quadratic Gaussian Control Systems
arxiv.org·1d
⚡Control Synthesis
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.org·2h
📜Bytecode Interpreters
Three Meanings of Effects
burakemir.ch·3d·
Discuss: Hacker News
💫Effect Systems
Ordered Multi-Signatures with Public-Key Aggregation from SXDH Assumption
arxiv.org·2h
📡Binary Protocols
Building Your First MCP Server: From Zero to AI-Powered Enterprise Tools
dev.to·17h·
Discuss: DEV
🌍Minimal HTTP
From Junior to Pro: Mastering Code Design with S.O.L.I.D.
dev.to·2d·
Discuss: DEV
🔧API Design
Truth Without Comprehension: A BlueSky Agenda for Steering the Fourth Mathematical Crisis
arxiv.org·2h
📡Binary Protocols
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.org·2h
📏Linear Memory
Shall We Play a Game? Language Models for Open-ended Wargames
arxiv.org·2h
🤖Abstract Machines
Object Orientation [2013 !]
jackrusher.com·2d·
Discuss: Hacker News
💬Smalltalk VMs
What is the fastest way to send messages: websockets or server sent events (SSE)?
reddit.com·22h·
Discuss: r/webdev
📦Message Serialization
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
eprint.iacr.org·9h
🔗Hash Functions
Quantum Simulation Programming via Typing
arxiv.org·2h
🏗️Minimal Compilers