π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Excel’s MAP function is genius
makeuseof.com·12h
📋Row Typing
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·14h·
Discuss: Hacker News
🎮Language Ergonomics
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
Write in C – Let it Be
wiki.tcl-lang.org·1d·
Discuss: Hacker News
🪄C Metaprogramming
Notes on "Homology, Genes and Evolutionary Innovation"
lesswrong.com·20h
🔗Category Theory
Petri: An open-source auditing tool to accelerate AI safety research
lesswrong.com·12h
🔮Metacircular Evaluators
AWS CDK Unit Testing Guide: When and How to Use Different Test Types
dev.to·21h·
Discuss: DEV
🎲Test Generators
Carbon Emission Prediction in China Considering New Quality Productive Forces Using a Deep & Corss Learning Modeling Framework
arxiv.org·4h
🌲Deforestation
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
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·1d
🌱Minimal ML
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·2d
🚀Tokenizer Performance
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·1d
🔍ML Language
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
NEURODNAAI: Neural pipeline approaches for the advancing dna-based information storage as a sustainable digital medium using deep learning framework
arxiv.org·2d
📋JSON Parsing
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·1d
🪜Recursive Descent
Creating Python Libraries & Reusable Modules
dev.to·1h·
Discuss: DEV
🎭Racket Modules
Multi-Modal Oral Cancer Detection Using Weighted Ensemble Convolutional Neural Networks
arxiv.org·1d
⚖️Weighted Automata