๐Ÿฟ๏ธ 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

Some third-party Mac apps I use
lapcatsoftware.comยท10h
๐ŸŽApple Archive
Rumble in the jungle: APT41โ€™s new target in Africa
securelist.comยท1d
๐ŸŽซKerberos Exploitation
Show HN: Make fake ChatGPT chats for memes and pranks
fakechatgpt.comยท1dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWebP Analysis
Show HN: I built a tool that automates cold DMs on Twitter
dmpro.aiยท1hยท
Discuss: Hacker News
๐Ÿ“กRSS Automation
Stop Paying for Free Monads โ€ข Mark Hopkins โ€ข YOW! 2016
youtube.comยท1d
๐Ÿ”€Category Theory
I built an MCP server for observability, here's my unhyped take
signoz.ioยท3dยท
Discuss: Hacker News, Hacker News
๐Ÿ›ก๏ธError Boundaries
Generating Production-Ready MCP Servers
withcoherence.comยท5dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Ununderstanding โ€“ Intellectual Work in the Age of AI
considerthebulldog.comยท9hยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Walking You Through WASI Support in Go
hackernoon.comยท2d
๐ŸŒWASI
Build, Learn, Delete, Repeat
ymichael.comยท1dยท
Discuss: Hacker News
โš”๏ธLean Tactics
Web Security 101: Seeing the Real Difference with HTTPS and HSTS
blog.devops.devยท1d
๐Ÿ›ก๏ธSecurity Headers
Transformer-based Deep Learning Model for Joint Routing and Scheduling with Varying Electric Vehicle Numbers
arxiv.orgยท20h
๐ŸงฉWASM Components
Exploring Human-AI Complementarity in CPS Diagnosis Using Unimodal and Multimodal BERT Models
arxiv.orgยท20h
๐Ÿง Machine Learning
Why Most AI Agents Fail in Production (And How to Build Ones That Donโ€™t)
dev.toยท4hยท
Discuss: DEV
โšกIncremental Computation
Common security pitfalls using Vibe coding
dev.toยท1dยท
Discuss: DEV
๐Ÿ”“Hacking
Chart-R1: Chain-of-Thought Supervision and Reinforcement for Advanced Chart Reasoner
arxiv.orgยท20h
๐ŸงฎProlog Parsing
ERR@HRI 2.0 Challenge: Multimodal Detection of Errors and Failures in Human-Robot Conversations
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
An Overview of the Risk-based Model of AI Governance
arxiv.orgยท20h
๐ŸŒCultural Algorithms
Scaling Decentralized Learning with FLock
arxiv.orgยท20h
๐Ÿ“กRSS Syndication
CQI-Based Interference Prediction for Link Adaptation in Industrial Sub-networks
arxiv.orgยท20h
โง—Information Bottleneck
Loading...Loading more...
AboutBlogChangelogRoadmap