Process Calculi, Mobile Processes, Channel Passing, Concurrency Theory

Unusual circuits in the Intel 386's standard cell logic
righto.com·23h·
📊Register Machines
Flag this post
Windows VTL2 Technical Exploration
howknows.github.io·1h·
Discuss: Hacker News
🛡️Capability VMs
Flag this post
I built a tool to generate docs (NDA/PP/ToS/GDPR/ToS) automatically. Free plan included. Feedback welcome.
aidocs.app·2h·
Discuss: r/webdev
🔄Incremental Lexing
Flag this post
Cardano Temporarily Splits Into Two Chains After Attacker Uses AI-Generated Script to Exploit a Known Bug
coindesk.com·4h
📡Protocol Buffers
Flag this post
Code Sandbox Tech Behind Manus and Claude Agent Skills
dataleadsfuture.com·1d·
Discuss: Hacker News
🌙Lua
Flag this post
Ask HN: Feedback on my discrete substrate transport preprint?
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Nanopass
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
🎯Finite Automata
Flag this post
Block propagation & miner revenue, resolving multi-party protocols - Optech #381
bitcoinops.org·2d
📮Message Queues
Flag this post
PBX Voip Set up with multiple numbers from multiple countries
reddit.com·2h·
Discuss: r/selfhosted
💬Smalltalk VMs
Flag this post
Title: New Chapter Published: Minimization of Finite Automata — A deeper look into efficient automaton design
link.springer.com·5d·
Discuss: r/compsci
🎯Finite Automata
Flag this post
The Offline Data Engineer: Building Resilient API Pipelines that Work on an Airplane
dev.to·1d·
Discuss: DEV
📋JSON Parsing
Flag this post
Rethinking Data Protection in the Generative AI Era
arxiv.org·1d·
Discuss: r/privacy
🎭Program Synthesis
Flag this post
The Architect’s Mindset: Structuring Data for Robust AI Pipelines
dev.to·2d·
Discuss: DEV
🪢Rope Data Structures
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
💓Live Variable Analysis
Flag this post
Abstract advice to researchers tackling the difficult core problems of AGI alignment
lesswrong.com·1d
🌳Tree Diffing
Flag this post
Lorxus Does Halfhaven: 11/15~11/21
lesswrong.com·2d
Fusion Laws
Flag this post
Announcing Spikard v0.1.0: High-Performance Polyglot API Toolkit with Native TypeScript Bindings
reddit.com·3h·
Discuss: r/typescript
🔧API Design
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·2d
🎭Program Synthesis
Flag this post
Automated Quality Control Assessment of Fujifilm Photoensitive Polymer Films via Multi-Modal Data Fusion
dev.to·1h·
Discuss: DEV
Effect Inference
Flag this post
Stream of Consciousness as a Scaffolding Skill
lesswrong.com·13h
💬Interactive REPLs
Flag this post