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

Augmenting Penetration Testing Methodology with Artificial Intelligence – Part 3: Arcanum Cyber Security Bot
blackhillsinfosec.com·5h
🕵️Penetration Testing
Ergo IRC server
notes.billmill.org·2d
🌊Streaming Systems
How To Prepare Your API for AI Agents
thenewstack.io·5h
🔌Interface Evolution
A novel approach to password-auth without sharing the password to server
danieltan.weblog.lol·1d·
Discuss: Hacker News
🎯NTLM Attacks
Single Core Hundred Thousand Concurrency(1750866547511600)
dev.to·3h·
Discuss: DEV
🌊Stream Processing
Creating Truly Custom Events for Web Components
dev.to·6h·
Discuss: DEV
📞Session Types
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·15h
🔍Type Inference
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·1d
🎯Gradual Typing
PEGTL -- Parsing Expression Grammar Template Library
github.com·20h·
Discuss: Hacker News
🔗Parser Combinators
How to sync Context across AI Assistants (ChatGPT, Claude, Perplexity...) in your browser
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·15h
🎙️Whisper
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·15h
🔗Topological Sorting
Supporting Deterministic Traffic on Standard NICs
arxiv.org·1d
📡Network Calculus
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4h·
Discuss: Substack
🦀Rust Macros
Flame Graph Performance Truth Analysis(1750839255230100)
dev.to·11h·
Discuss: DEV
⚡Performance Tools
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
What LLMs Know About Their Users
schneier.com·8h·
Discuss: Hacker News
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap