ฯ€ Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

This one Excel symbol will change how you write formulas
makeuseof.comยท17h
๐Ÿ“‡Symbol Tables
Does anything people ask "surprise" the LLMs?
preview.redd.itยท5hยท
Discuss: r/LLM
โš–๏ธInference Rules
Souvenir
deprogrammaticaipsum.comยท1d
๐Ÿ”—Weak References
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท23hยท
Discuss: DEV
๐ŸŒณPattern Match Compilation
MOCs & Atomic Notes: An 80/20 approach for those of us who aren't Luhmann?
reddit.comยท1dยท
Discuss: r/ObsidianMD
๐Ÿ›๏ธElm Architecture
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.comยท7h
๐Ÿท๏ธMemory Tagging
Introduction to Python Module Two Part Four Data Types
dev.toยท12hยท
Discuss: DEV
๐Ÿlisp
What are some engaging projects for a pre-data structures CS student?
reddit.comยท3hยท
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ยท20hยท
Discuss: r/node
๐Ÿ“กErlang BEAM
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.orgยท1d
๐Ÿ’ฌInteractive REPLs
WASM in the Kernel: Tales of Triumph and Trouble
riptides.ioยท14hยท
Discuss: Hacker News
๐ŸŒWASM Runtimes
Show HN: A minimal VPN implementation written in Go
github.comยท17hยท
Discuss: Hacker News
๐Ÿ“กNetwork Serialization
Batch Processing with Spring Batch and Multiple Data Sources
dev.toยท23hยท
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
Database Transactions: Everything That Can Go Wrong When Using Them
hackernoon.comยท6h
๐Ÿš‚Error Propagation
Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.ioยท13h
๐Ÿ’พMinimal Databases
A Solution to the Paperclip Problem
link.springer.comยท1hยท
Discuss: Hacker News
๐Ÿ’ซEffect Systems
The Future is Composable: Orchestrating Multiple APIs with FastServe MCP Servers
dev.toยท1dยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Writing a Dictation Application
osada.blogยท1d
๐Ÿ“šSelf-Documenting Code
News for September 2025
ptreview.sublinear.infoยท2d
๐ŸŽฒProperty Testing