Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

CDB and World Bank agree on actions to advance projects in SVG
searchlight.vcยท6h
๐ŸŒBrowser REPLs
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.orgยท11hยท
Discuss: Hacker News
โœจEffect Inference
Origami Patterns Solve a Major Physics Riddle
quantamagazine.orgยท20hยท
๐ŸคZipper Structures
Write in C โ€“ Let it Be
wiki.tcl-lang.orgยท17hยท
Discuss: Hacker News
๐Ÿช„C Metaprogramming
The Art of Abstraction โ€” Polymorphic Memory Allocator
unboxthecat.medium.comยท7hยท
Discuss: r/cpp
๐Ÿ—๏ธCustom Allocators
[PoC] LatentRecall โ€” an experiment in LLM memory that doesnโ€™t store prompts, but computes them on the fly
zenodo.orgยท3hยท
Discuss: r/LocalLLaMA
๐Ÿ’ฌSmalltalk VMs
Dimensional Analysis in Programming Languages (2018)
gmpreussner.comยท1dยท
Discuss: Hacker News
๐Ÿ”ขAlgebraic Datatypes
The foundation of "streams" in Node.js [NodeBook]
thenodebook.comยท2dยท
Discuss: r/node
โฑ๏ธReal-Time GC
A grand week
blog.mitrichev.chยท1dยท
๐ŸงฉConstraint Solvers
Building a Command-Line Quiz Application in R
towardsdatascience.comยท1d
๐Ÿ’ฌInteractive REPLs
Ask HN: Systems Development Path
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
Closing the Loop: Coordinating Inventory and Recommendation via Deep Reinforcement Learning on Multiple Timescales
arxiv.orgยท6h
๐Ÿ”„Coroutines
SoC-DT: Standard-of-Care Aligned Digital Twins for Patient-Specific Tumor Dynamics
arxiv.orgยท6h
โœจEffect Inference
Partial Information Decomposition via Normalizing Flows in Latent Gaussian Distributions
arxiv.orgยท6h
๐ŸŒฑMinimal ML
A Generic Vector Implementation in C using void*, func*
github.comยท19hยท
๐Ÿช„C Metaprogramming
Safe and Compliant Cross-Market Trade Execution via Constrained RL and Zero-Knowledge Audits
arxiv.orgยท6h
๐Ÿ“ฎMessage Queues
Introduction to Apache Airflow
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กErlang BEAM
Characteristic Learning for Provable One Step Generation
arxiv.orgยท6h
๐ŸชœRecursive Descent