ฯ€ 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
CDB and World Bank agree on actions to advance projects in SVG
searchlight.vcยท1d
๐ŸŒBrowser REPLs
The Art of Abstraction โ€” Polymorphic Memory Allocator
unboxthecat.medium.comยท1dยท
Discuss: r/cpp
๐Ÿ—๏ธCustom Allocators
Origami Patterns Solve a Major Physics Riddle
quantamagazine.orgยท1dยท
Discuss: Hacker News, Hacker News
๐ŸคZipper Structures
Claude helped me built this insane weather application.
preview.redd.itยท22hยท
Discuss: r/ClaudeAI
๐Ÿ indieweb
[PoC] LatentRecall โ€” an experiment in LLM memory that doesnโ€™t store prompts, but computes them on the fly
zenodo.orgยท1dยท
Discuss: r/LocalLLaMA
๐Ÿ’ฌSmalltalk VMs
Simplify Your JavaScript Code with Logical Assignment Techniques
reddit.comยท12hยท
Discuss: r/javascript
๐Ÿ”งNickel
Ask HN: Systems Development Path
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
github.comยท13hยท
Discuss: Hacker News
โšกTokenizer Optimization
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.comยท19h
๐Ÿ”—Category Theory
Petri: An open-source auditing tool to accelerate AI safety research
lesswrong.comยท11h
๐Ÿ”ฎMetacircular Evaluators
D2E: Scaling Vision-Action Pretraining on Desktop Data for Transfer to Embodied AI
arxiv.orgยท4h
๐ŸŒฑMinimal Interpreters
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.orgยท4h
๐ŸŒธBloom Indexing
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.toยท12hยท
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ยท4h
๐ŸŒฑMinimal Interpreters