ฯ€ Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

This one Excel symbol will change how you write formulas
makeuseof.comยท15h
๐Ÿ“‡Symbol Tables
Nonlinearly Self-Interacting Extended Bodies Move as Test Bodies in Effective External Fields
journals.aps.orgยท2h
๐Ÿ’ซEffect Systems
My time at Oracle: functional and design specification reviews
smalldatum.blogspot.comยท6hยท
Discuss: smalldatum.blogspot.com
๐ŸŽฎLanguage Ergonomics
Does anything people ask "surprise" the LLMs?
preview.redd.itยท3hยท
Discuss: r/LLM
โš–๏ธInference Rules
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.comยท10hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ“ฆCompression Algorithms
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.comยท5h
๐Ÿท๏ธMemory Tagging
Introduction to Python Module Two Part Four Data Types
dev.toยท10hยท
Discuss: DEV
๐Ÿlisp
What are some engaging projects for a pre-data structures CS student?
reddit.comยท1hยท
Discuss: r/AskProgramming
๐Ÿค–Embedded Go
My Node.js app's performance hit a wall at scale. I wrote a breakdown of the concurrency patterns I used to fix it.
reddit.comยท18hยท
Discuss: r/node
๐Ÿ“กErlang BEAM
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.orgยท22h
๐Ÿ’ฌInteractive REPLs
WASM in the Kernel: Tales of Triumph and Trouble
riptides.ioยท12hยท
Discuss: Hacker News
๐ŸŒWASM Runtimes
Show HN: A minimal VPN implementation written in Go
github.comยท15hยท
Discuss: Hacker News
๐Ÿ“กNetwork Serialization
Batch Processing with Spring Batch and Multiple Data Sources
dev.toยท21hยท
Discuss: DEV
๐Ÿ”งError Recovery
Why Microservices Are a Symptom, Not a Cure โ€“ and What the Future Looks Like
axx83.substack.comยท2dยท
Discuss: Substack
๐ŸŒฑForth Kernels
Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.ioยท11h
๐Ÿ’พMinimal Databases
The Future is Composable: Orchestrating Multiple APIs with FastServe MCP Servers
dev.toยท1dยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Database Transactions: Everything That Can Go Wrong When Using Them
hackernoon.comยท5h
๐Ÿš‚Error Propagation
Writing a Dictation Application
osada.blogยท1d
๐Ÿ“šSelf-Documenting Code
News for September 2025
ptreview.sublinear.infoยท2d
๐ŸŽฒProperty Testing
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.orgยท22h
โœ…Type Checking