π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

CDB and World Bank agree on actions to advance projects in SVG
searchlight.vc·1d
🌐Browser REPLs
The Mechanism of Mineral Nucleation and Growth in a Mini-Ferritin
pubs.acs.org·1d·
Discuss: Hacker News
✨Effect Inference
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·1d·
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·17h·
Discuss: r/javascript
🔧Nickel
Ask HN: Systems Development Path
news.ycombinator.com·4d·
Discuss: Hacker News
🦀MIR Optimization
SSDD: Single-Step Diffusion Decoder for Efficient Image Tokenization
github.com·18h·
Discuss: Hacker News
⚡Tokenizer Optimization
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.com·1d
🔗Category Theory
Petri: An open-source auditing tool to accelerate AI safety research
lesswrong.com·16h
🔮Metacircular Evaluators
AI SDK Streaming Text from Lambda
dev.to·1h·
Discuss: DEV
🌙Lua
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.org·9h
🌸Bloom Indexing
Variational and field-theoretical approach to exciton-exciton interactions and biexcitons in semiconductors
arxiv.org·9h
🔍Lens Libraries
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·4h·
Discuss: DEV
📦Monorepos
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·1d
🪜Recursive Descent
Creating Python Libraries & Reusable Modules
dev.to·6h·
Discuss: DEV
🎭Racket Modules
Artificial Intelligence: Key Trends & Developments
dev.to·1h·
Discuss: DEV
🎭Program Synthesis
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·1d
🌱Minimal ML
MADS: Multi-Agent Dialogue Simulation for Diverse Persuasion Data Generation
arxiv.org·9h
🎲Parser Fuzzing