ฯ€ Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

The non-problem of unsigned integers in Java
bitmath.blogspot.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฑBytecode Design
Bonito.jl โ€“ A flashy Julia web framework
makie.orgยท1dยท
Discuss: Hacker News
๐ŸŒ™Lua
Obelisk 0.25.4 and handling of WASM traps
obeli.skยท2dยท
Discuss: Lobsters, Hacker News, r/rust
๐Ÿ›ก๏ธError Handling
20 hardest to easiest rankings of programming languages to learn in 2025 | BIZMIA
hellobizmia.comยท9hยท
Discuss: r/programming
๐Ÿ”—Concatenative Languages
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.appยท2dยท
Discuss: Hacker News, r/programming
๐ŸŒŠReactive Languages
What is the correct answer to 50รท5ร—2 + 10 = ?
mindyourdecisions.comยท1d
๐Ÿ“Mathematical Computing
errors with multiplayer synchronizer
github.comยท19hยท
Discuss: r/godot
๐ŸŽฏRing Buffers
Moving Toward a Quantum-Safe Future with Urgency and Vision
blogger.comยท1h
๐ŸฐCapability Machines
Writing a simple operating system for a STM32 dev board: periperals are a small tft lcd and a ps-2 keyboard
reddit.comยท11hยท
Discuss: r/embedded
๐Ÿ–ฅ๏ธMinimal VMs
Know Your Real Birthday: Astronomical Computation and Geospatial-Temporal Analytics in Python
towardsdatascience.comยท1h
๐ŸŒ™Lua
Capstone Project: PCI DSS Online Payment Website
dev.toยท1hยท
Discuss: DEV
๐Ÿ›ก๏ธCapability VMs
I built a faster singleflight implementation for Go (zero allocations, ~4x faster than std)
reddit.comยท2dยท
Discuss: r/golang
๐Ÿ’พZero-Copy
Binary: The Language That Runs the World (and Your Wi-Fi)
dev.toยท3dยท
Discuss: DEV
๐Ÿ“กBinary Protocols
digital-asset/cn-quickstart
github.comยท13h
๐ŸŒBrowser REPLs
Detecting Distillation Data from Reasoning Models
arxiv.orgยท1d
โœ…Type Checking
Finite Time Analysis of Constrained Natural Critic-Actor Algorithm with Improved Sample Complexity
arxiv.orgยท1d
๐ŸŽญErlang OTP
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ยท11h
๐ŸŒฑ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