📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Aug 23 2025 : Soft Circuits 101
nycresistor.com·22h
⚙️Cassette Mechanics
AMI not AGI?
languagelog.ldc.upenn.edu·50m
🔲Cellular Automata
Your Computer Interviewed Chris Curry (1981)
computeradsfromthepast.substack.com·2h·
Discuss: Substack
🇬🇧British Computing
Releasing open weights for FLUX.1 Krea
krea.ai·2d·
Discuss: Hacker News, r/LocalLLaMA
📊Learned Metrics
Top 7 Continuous Integration and Continuous Delivery Tools for 2025
kdnuggets.com·2d
🔄Reproducible Builds
How to use ChatGPT to make it sound like you’re an expert on something, even if you know nothing
techradar.com·12h
🧠Personal Knowledge Base
Site Runs on Laravel
coryd.dev·3d·
Discuss: Hacker News
🦋Format Metamorphosis
We're Losing the Global War on End-to-End Encryption
community.qbix.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
NetworkManager 1.54 Adds Per-Device IPv4 Forwarding
linuxiac.com·22h
🕸️WASM Archives
Playing with open source LLMs
alicegg.tech·4d·
Discuss: Hacker News
🌀Brotli Internals
Mythbusting Large Language Models
medium.com·1d·
Discuss: Hacker News
💻Local LLMs
AI reshapes the craft of software engineering, with Yoav Tzfati
complexsystemspodcast.com·4d·
Discuss: Hacker News
🔄Language Evolution
Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance
arxiv.org·2d
💻Local LLMs
RedCoder: Automated Multi-Turn Red Teaming for Code LLMs
arxiv.org·2d
⚔️Lean Tactics
Critical Findings: Developer Crypto Challenges on Stack Overflow
hackernoon.com·4d
🧪Binary Fuzzing
Containerize legacy Spring Boot application using Amazon Q Developer CLI and MCP server
aws.amazon.com·22h
🔌Interface Evolution
Erys: Run Jupyter Notebooks in Terminal
github.com·1d·
Discuss: Hacker News
📺Terminal UI
Multi-fidelity Bayesian Data-Driven Design of Energy Absorbing Spinodoid Cellular Structures
arxiv.org·2d
🌀Differential Geometry
Let the AI Run Code: Inside the REPL Loop
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Context engineering for production-grade web agents
dev.to·2d·
Discuss: DEV
🌊Streaming Systems