π 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·9h·
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
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·1d
🏷️Memory Tagging
Working for a Vendor with David Gee
blog.ipspace.net·21h
📚Self-Documenting Code
Model Customization as Moat
lorenzodalmazzo.com·15h·
Discuss: r/compsci
🎭Program Synthesis
Overwhelmed - need help on what to do next
reddit.com·3h·
Discuss: r/homelab
🤖Embedded Go
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·11h·
Discuss: DEV
🌊Streaming Lexers
Soft bioelectronics embedded with self-confined tetrahedral DNA circuit for high-fidelity chronic wound monitoring
nature.com·1d
🔌Microcontrollers
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·3d·
Discuss: DEV
🧮Theorem Provers
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·23h
🔄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·23h
🪜Recursive Descent
Automated Structure-Based Drug Discovery via Hyperdimensional Protein-Ligand Interaction Scoring
dev.to·18h·
Discuss: DEV
✨Effect Inference
Multi-Modal Oral Cancer Detection Using Weighted Ensemble Convolutional Neural Networks
arxiv.org·23h
⚖️Weighted Automata
Long-Range Interacting Particles on a Helix: A Statistical and Correlation Analysis of Equilibrium Configurations
arxiv.org·23h
🔍ML Language
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·23h
🔄Subinterpreters
# 🧩 Build an MCP Server with ASP.NET Core
dev.to·3d·
Discuss: DEV
🌍HTTP Servers