From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
arxiv.org·2d
🕸️Network Topology
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·13h·
Discuss: Hacker News
🔢Denotational Semantics
Advanced Go Concurrency: Unleashing Lock-Free Data Structures for Real-World Wins
dev.to·6h·
Discuss: DEV
⚡Hardware Transactional Memory
And the other Big Red Logic Books?
logicmatters.net·14h
🔀Category Theory
Coordinating computers in a relativistic universe: Expert ponders how algorithms might function across space
phys.org·15h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
RaptorCast: Designing a Messaging Layer
category.xyz·1d·
Discuss: Hacker News
🤝Distributed Consensus
OpenProcessing
openprocessing.org·1h
📐Mathematical Art
Beating Redis with a Dictionary and Redis
frappe.io·6h
⚡Redis Internals
Posit floating point numbers: thin triangles and other tricks
marc-b-reynolds.github.io·16h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
My first experience with Formal Methods | ZipCPU
zipcpu.com·20h
🔧Hardware Verification
From Differentials to Derivatives
ams.org·3d·
Discuss: Hacker News
⚔️Lean Theorem
Working with Claude Code
bphogan.com·11h·
Discuss: Hacker News
🦀Rust Macros
Beyond Model Stacking: The Architecture Principles That Make Multimodal AI Systems Work
towardsdatascience.com·7h
✨Effect Handlers
In-Memory C++ Leap in Blockchain Analysis
caudena.com·1d·
Discuss: Hacker News
🌊Stream Processing
The Art of Bijective Combinatorics
viennot.org·13h·
Discuss: Hacker News
🕸️Graph Algorithms
Lambda : History-Aware Bayesian Jump Event Detector for Time Series (with Dual EYE Mode)
dev.to·6h·
Discuss: DEV
🧬Bitstream Evolution
Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C
errorcodezero.dev·2h·
Discuss: Hacker News
🔩Systems Programming
[2210.16877] On Rate-Distortion Theory in Capacity-Limited Cognition & Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
[EN-US] How does the internet work?
dev.to·8h·
Discuss: DEV
📡Network Protocol Design
Circular Directional Flow Decomposition of Networks
arxiv.org·3d
🕸️Network Topology