🐿️ 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

Refinery raid
blog.nviso.euΒ·1d
πŸ“¦Container Security
Everything You Need To Know About Redux Down in a hole uncovering why you would use it, no excuses now!
blog.codeminer42.comΒ·11h
🌊Streaming Systems
Hackers leak images and comments from women dating safety app Tea
securityaffairs.comΒ·15h
πŸ›‘Cybersecurity
jrsteensen/OpenHornet
github.comΒ·6h
πŸ”ŒOperating system internals
Vulnerability found: A single packet can paralyze smartphones
techxplore.comΒ·16hΒ·
Discuss: Hacker News
🌐Network Security
Two Birds with One Tone: I/Q Signals and Fourier Transform
wirelesspi.comΒ·8hΒ·
Discuss: Hacker News
πŸ“‘Frequency Archaeology
Formal specs as sets of behaviors
surfingcomplexity.blogΒ·3dΒ·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
βœ…Formal Methods
From XML to JSON to CBOR
cborbook.comΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ“‹Document Grammar
Things I Wish I Knew Before Vibe Coding
saastr.comΒ·19hΒ·
Discuss: Hacker News
πŸ”„Reproducible Builds
Coding for the Future Agentic World
addyo.substack.comΒ·12hΒ·
Discuss: Substack
πŸ”„Language Evolution
Troubleshooting Elastic Beanstalk Environments with Amazon Q Developer CLI
aws.amazon.comΒ·15h
πŸ”—Dependency Resolution
Adaptive Fuzzy Time Series Forecasting via Partially Asymmetric Convolution and Sub-Sliding Window Fusion
arxiv.orgΒ·1d
πŸ“ˆTime Series
ProMemAssist: Exploring Timely Proactive Assistance Through Working Memory Modeling in Multi-Modal Wearable Devices
arxiv.orgΒ·4h
βœ‹Tactile Computing
The Subtle Art of Herding Cats: Why AI Agents Ignore Your Rules (Part 1 of 4)
dev.toΒ·1dΒ·
Discuss: DEV
⚑Proof Automation
Assessment of Personality Dimensions Across Situations Using Conversational Speech
arxiv.orgΒ·2d
πŸ‘‚Psychoacoustics
Newelle 1.0: Your Ultimate Virtual Assistant
dev.toΒ·13hΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Efficient Nearest Neighbor Search Using Dynamic Programming
arxiv.orgΒ·4h
πŸ”ΆVoronoi Diagrams
How to Evaluate Graph Retrieval in MCP Agentic Systems
towardsdatascience.comΒ·16h
πŸ•ΈοΈNeo4j
On Purely Data-Driven Massive MIMO Detectors
arxiv.orgΒ·4h
🧠Machine Learning
The AI coding pattern spreading through engineering teams
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap