ฯ€ Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.orgยท1dยท
Discuss: Hacker News
โœจEffect Inference
A very short, very blunt, book note
logicmatters.netยท1d
๐Ÿ”—Concatenative Theory
CDB and World Bank agree on actions to advance projects in SVG
searchlight.vcยท1d
๐ŸŒBrowser REPLs
Old-school functional and design specification reviews
smalldatum.blogspot.comยท12hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
The Art of Abstraction โ€” Polymorphic Memory Allocator
unboxthecat.medium.comยท1dยท
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ยท23hยท
Discuss: r/LocalLLaMA
๐Ÿ’ฌSmalltalk VMs
Write in C โ€“ Let it Be
wiki.tcl-lang.orgยท1dยท
Discuss: Hacker News
๐Ÿช„C Metaprogramming
The foundation of "streams" in Node.js [NodeBook]
thenodebook.comยท3dยท
Discuss: r/node
โฑ๏ธReal-Time GC
SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
github.comยท11hยท
Discuss: Hacker News
โšกTokenizer Optimization
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.comยท17h
๐Ÿ”—Category Theory
Petri: An open-source auditing tool to accelerate AI safety research
lesswrong.comยท9h
๐Ÿ”ฎMetacircular Evaluators
Building a Command-Line Quiz Application in R
towardsdatascience.comยท2d
๐Ÿ’ฌInteractive REPLs
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.toยท18hยท
Discuss: DEV
๐ŸŽฒTest Generators
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.toยท10hยท
Discuss: DEV
๐ŸŒฑMinimal ML
Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
arxiv.orgยท1d
๐Ÿ’ฌInteractive REPLs
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning
arxiv.orgยท1d
๐ŸŽญErlang OTP
Detecting Distillation Data from Reasoning Models
arxiv.orgยท1d
โœ…Type Checking
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.orgยท1d
๐ŸŽญErlang OTP
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.orgยท1d
๐Ÿ“‹JSON Parsing
The fragility of "cultural tendencies" in LLMs
arxiv.orgยท2h
๐ŸŒฑMinimal Interpreters