ฯ€ Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

CDB and World Bank agree on actions to advance projects in SVG
searchlight.vcยท4h
๐ŸŒBrowser REPLs
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.orgยท9hยท
Discuss: Hacker News
โœจEffect Inference
A very short, very blunt, book note
logicmatters.netยท15h
๐Ÿ”—Concatenative Theory
Origami Patterns Solve a Major Physics Riddle
quantamagazine.orgยท17hยท
Discuss: Hacker News, Hacker News
๐ŸคZipper Structures
Ask HN: Systems Development Path
news.ycombinator.comยท2dยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
The Art of Abstraction โ€” Polymorphic Memory Allocator
unboxthecat.medium.comยท5hยท
Discuss: r/cpp
๐Ÿ—๏ธCustom Allocators
"Intelligence" -> "Relentless, Creative Resourcefulness"
lesswrong.comยท8h
๐Ÿš‚Error Propagation
[PoC] LatentRecall โ€” an experiment in LLM memory that doesnโ€™t store prompts, but computes them on the fly
zenodo.orgยท1hยท
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ยท
Discuss: blog.mitrichev.ch
๐ŸงฉConstraint Solvers
Building a Command-Line Quiz Application in R
towardsdatascience.comยท1d
๐Ÿ’ฌInteractive REPLs
Learning to Predict Chaos: Curriculum-Driven Training for Robust Forecasting of Chaotic Dynamics
arxiv.orgยท4h
๐ŸŒฑMinimal ML
The Closure Phenomenon: Functions That Remember
dev.toยท3dยท
Discuss: DEV
๐Ÿ”—Lexical Scoping
Fully discrete finite element methods for the stochastic Kuramoto-Sivashinsky equation with multiplicative noise
arxiv.orgยท4h
๐Ÿ“กAsync Channels
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.orgยท1d
๐Ÿ’ฌInteractive REPLs
Why I Started Writing About Embedded Development
dev.toยท2hยท
Discuss: DEV
๐Ÿค–Embedded Go
A Conformal Prediction-Based Chance-Constrained Programming Approach for 24/7 Carbon-Free Data Center Operation Scheduling
arxiv.orgยท4h
๐Ÿ“‹Task Queues
A Generic Vector Implementation in C using void*, func*
github.comยท16hยท
Discuss: r/C_Programming
๐Ÿช„C Metaprogramming
# 10 Congruent and conjugate..History and Etymology of Math Terms
pballew.blogspot.comยท2hยท
Discuss: www.blogger.com
๐Ÿ”—Concatenative Theory