📞 Session Types

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

A tiny Mojolicious server in a test program
briandfoy.github.io·3d
🐚Shell Calculus
As AI coding services face a reckoning, Bolt tries to go beyond building
businessinsider.com·16h
🔍BitFunnel
“Privacy preserving age verification” is bullshit
doctorow.medium.com·14h
🔓Hacking
35 Thoughts About AGI and 1 About GPT-5
secondthoughts.ai·1d
🔲Cellular Automata
The end of the Kaisen Linux project
kaisenlinux.org·1d·
Discuss: Hacker News
📦Git LFS
The Fire Between: Agency as Creative Field
philosophermaker.substack.com·1d·
Discuss: Substack
🧲Magnetic Philosophy
Self-host open-source LLM agent sandbox on your own cloud
blog.skypilot.co·2d·
Discuss: Hacker News, Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·2d·
Discuss: Hacker News
🧠Computational Logic
LLMs in Programming
thecodedmessage.com·4d·
Discuss: Hacker News
🦀Rust Macros
GenHuzz: An Efficient Generative Hardware Fuzzer
usenix.org·2d
🧪RISC-V Fuzzing
GitHub removes bunch of data from their webhook payloads
github.blog·2d·
Discuss: Hacker News
📋PREMIS Events
📢 Neuro-Symbolic AI Summer School 2025 | Online Event | Aug 14 - 15
dev.to·1d·
Discuss: DEV
💻CS
Towards Safer AI Moderation: Evaluating LLM Moderators Through a Unified Benchmark Dataset and Advocating a Human-First Approach
arxiv.org·3d
🤖AI Curation
User Perception of Attention Visualizations: Effects on Interpretability Across Evidence-Based Medical Documents
arxiv.org·3h
📊Learned Metrics
VISOR: Visual Input-based Steering for Output Redirection in Vision-Language Models
arxiv.org·2d
⟷Bidirectional Programming
Automated Knowledge Synthesis Network for Dynamic Scientific Discovery (AKS-DSD)
dev.to·2d·
Discuss: DEV
🏺Computational Archaeology
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·1d·
Discuss: DEV
📏Code Metrics
Building a production MCP server (and, incidentally, $45M/mo in ad spend)
dev.to·1d·
Discuss: DEV
📊Feed Optimization
X-UniMotion: Animating Human Images with Expressive, Unified and Identity-Agnostic Motion Latents
arxiv.org·1d
📊Learned Metrics
Taking next steps for my homelab and trying to figure out the best solution (Stable Plex + VM Testing)
reddit.com·13h·
Discuss: r/homelab
🏠HomeLab