π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Excel’s MAP function is genius
makeuseof.com·14h
📋Row Typing
CDB and World Bank agree on actions to advance projects in SVG
searchlight.vc·1d
🌐Browser REPLs
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·2d·
Discuss: Hacker News
🔢Algebraic Datatypes
A grand week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
🤐Zipper Structures
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·16h·
Discuss: Hacker News
⚡Tokenizer Optimization
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.com·22h
🔗Category Theory
Petri: An open-source auditing tool to accelerate AI safety research
lesswrong.com·14h
🔮Metacircular Evaluators
Building a Command-Line Quiz Application in R
towardsdatascience.com·2d
💬Interactive REPLs
Carbon Emission Prediction in China Considering New Quality Productive Forces Using a Deep & Corss Learning Modeling Framework
arxiv.org·6h
🌲Deforestation
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·1d
🪜Recursive Descent
Creating Python Libraries & Reusable Modules
dev.to·3h·
Discuss: DEV
🎭Racket Modules
Multi-Modal Oral Cancer Detection Using Weighted Ensemble Convolutional Neural Networks
arxiv.org·1d
⚖️Weighted Automata
Harnessing LLM for Noise-Robust Cognitive Diagnosis in Web-Based Intelligent Education Systems
arxiv.org·1d
🌱Minimal ML
Your-Tests-Are-Slow-and-Brittle-Youre-Testing-the-Wrong-Thing
dev.to·42m·
Discuss: DEV
🧪Compiler Testing
MADS: Multi-Agent Dialogue Simulation for Diverse Persuasion Data Generation
arxiv.org·6h
🎲Parser Fuzzing
Quantum capacity amplification via privacy
arxiv.org·1d
📡Async Channels
Self-Reflective Generation at Test Time
arxiv.org·2d
✨Gleam
SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
arxiv.org·1d
🔍ML Language