π Pi Calculus

Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Show HN: Convert between Mermaid, draw.io, and Excalidraw diagrams
diagram-bridge-project-new.vercel.app·6h·
Discuss: Hacker News
💬REPL Design
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·1d
💬Smalltalk VMs
Working for a Vendor with David Gee
blog.ipspace.net·18h
📚Self-Documenting Code
Model Customization as Moat
lorenzodalmazzo.com·12h·
Discuss: r/compsci
🎭Program Synthesis
Overwhelmed - need help on what to do next
reddit.com·52m·
Discuss: r/homelab
🤖Embedded Go
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·8h·
Discuss: DEV
🌊Streaming Lexers
Soft bioelectronics embedded with self-confined tetrahedral DNA circuit for high-fidelity chronic wound monitoring
nature.com·1d
🔌Microcontrollers
compile times... C void* vs <T>(&mut T ..)
reddit.com·1d·
Discuss: r/rust
🎪Staged Compilation
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Theorem Provers
Self-Reflective Generation at Test Time
arxiv.org·1d
✨Gleam
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·1d
🚀Tokenizer Performance
Detecting Distillation Data from Reasoning Models
arxiv.org·20h
✅Type Checking
Contrastive-SDE: Guiding Stochastic Differential Equations with Contrastive Learning for Unpaired Image-to-Image Translation
arxiv.org·20h
🔍ML Language
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
arxiv.org·20h
🔄Loop Optimization
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🧩Constraint Solvers
NEURODNAAI: Neural pipeline approaches for the advancing dna-based information storage as a sustainable digital medium using deep learning framework
arxiv.org·1d
📋JSON Parsing
Optimizing Python Loops for Speed and Memory Efficiency with Generators
dev.to·1d·
Discuss: DEV
🚀Code Motion
Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
arxiv.org·20h
🪜Recursive Descent