🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ”„ Session Type Inference

Protocol Synthesis, Communication Safety, Type Reconstruction, Multiparty Sessions

Spritely presented spirited speeches spanning the planet
spritely.instituteΒ·1d
πŸ•ΉοΈRetro Gaming
Release Highlights: VMRay Platform 2025.3.0
vmray.comΒ·13h
🎬WebCodecs
Stop Hardcoding Passwords
blog.nviso.euΒ·13h
πŸ”PKI Archaeology
Spying on People Through Airportr Luggage Delivery Service
schneier.comΒ·9h
πŸ•΅οΈVector Smuggling
TclSqueak – Program in Tcl the Smalltalk Way
xdobry.deΒ·1dΒ·
Discuss: Hacker News
πŸ’§Liquid Types
Show HN: WanVideo – Wan 2.2 AI Video Generation
wanvideo.tvΒ·11hΒ·
Discuss: Hacker News
πŸ—œοΈLZW Variants
A roboticist's journey with JAX: Finding efficiency in optimal control and simulation
developers.googleblog.comΒ·3d
⚑Effectful Programming
The Math Is Haunted
overreacted.ioΒ·2dΒ·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
βš”οΈLean Theorem
SkyEye: When Your Vision Reaches Beyond IAM Boundary Scope in AWS Cloud
arxiv.orgΒ·2d
πŸ‘οΈObservatory Systems
The Dating App Breach That Turned Into a Biometric Black Mirror Episode
hackernoon.comΒ·2d
πŸ”—Data Provenance
Text2VLM: Adapting Text-Only Datasets to Evaluate Alignment Training in Visual Language Models
arxiv.orgΒ·3d
πŸŽ™οΈWhisper
Ultra-Low-Latency Edge Inference for Distributed Sensing
arxiv.orgΒ·3d
β§—Information Bottleneck
Helping or Homogenizing? GenAI as a Design Partner to Pre-Service SLPs for Just-in-Time Programming of AAC
arxiv.orgΒ·2d
πŸŽ™οΈWhisper
Voice-guided Orchestrated Intelligence for Clinical Evaluation (VOICE): A Voice AI Agent System for Prehospital Stroke Assessment
arxiv.orgΒ·16h
πŸ‘‚Audio Evidence
Reviving Your MNEME: Predicting The Side Effects of LLM Unlearning and Fine-Tuning via Sparse Model Diffing
arxiv.orgΒ·2d
πŸ’»Local LLMs
Decentralized Modeling of Vehicular Maneuvers and Interactions at Urban Junctions
arxiv.orgΒ·2d
πŸ”„Lens Laws
Adaptive XAI in High Stakes Environments: Modeling Swift Trust with Multimodal Feedback in Human AI Teams
arxiv.orgΒ·2d
🧠Intelligence Compression
Gotta Search 'Em All, MCP!!
dev.toΒ·4dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
🧠 What’s the deal with MCP? And why you should start exploring it now
dev.toΒ·5dΒ·
Discuss: DEV
πŸ’§Liquid Types
Show HN: Term – Rust-based data validation with OpenTelemetry
github.comΒ·2dΒ·
Discuss: Hacker News
βœ…Archive Validation
Loading...Loading more...
AboutBlogChangelogRoadmap