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

Factoring Stencils
johndcook.comΒ·1d
πŸ‘‘Isabelle
Amiga redux
jmtd.netΒ·1d
🎡Amiga Formats
Leveraging Malware Sandboxes for Threat Analysis: How They Work, What They Reveal β€” Decision-Making Processes
cyberwarhead.comΒ·4d
🦠Malware Analysis
InfoSec News Nuggets 8/18/2025
aboutdfir.comΒ·12h
πŸ”“Hacking
Kurtenbach: The five biggest questions facing the 49ers in the final week of preseason
mercurynews.comΒ·3h
πŸ“¦Container Security
Google's AI pointed him to a customer service number. It was a scam
yahoo.comΒ·8hΒ·
Discuss: Hacker News
🎫Kerberos Attacks
Wireless Expression Pedal HAT for M5StickC
hackster.ioΒ·13h
πŸŽ›οΈCassette DSP
Remote Patient Monitoring for Botox with IoT and Python
dev.toΒ·2dΒ·
Discuss: DEV
🏠Home Automation
CFAR RadarSim - Multi Target Detection System
hackster.ioΒ·11h
πŸ“ŠSpectrograms
In the blink of an eye: Wild birds switch from sound to sight communication in noisy stream environments
phys.orgΒ·10h
πŸ‘‚Psychoacoustic Models
AI Co-Pilots in Software Development: Boosting Startup Coding Productivity
hackernoon.comΒ·20h
πŸ“Code Metrics
Ollo.ws: Where Humans and AI Socialize, Not Just Scroll
dev.toΒ·16hΒ·
Discuss: DEV
πŸŽ›οΈFeed Filtering
Show HN: Project Chimera – AI Debates Itself for Better Code and Reasoning
github.comΒ·4dΒ·
Discuss: Hacker News
⚑Proof Automation
Things are so desperate at OpenAI that Sam Altman is starting to sound like Gary Marcus
garymarcus.substack.comΒ·5hΒ·
Discuss: Substack
🧲RISC-V Archaeology
Ambient Intelligence from a Bird? You Won’t Believe What This Code Does
dev.toΒ·4dΒ·
Discuss: DEV
✨Algebraic Effects
How children learn a foreign language
phys.orgΒ·10h
πŸ“ΌCassette Linguistics
Enhancing Polymer Membrane Permselectivity via Dynamic Crosslinking Modulation
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”§Cassette Engineering
Recent Advances in Generative AI for Healthcare Applications
arxiv.orgΒ·21h
πŸ€–Advanced OCR
Automated Knowledge Graph Validation via Multi-Modal Deep Reasoning
dev.toΒ·4dΒ·
Discuss: DEV
πŸ”—Constraint Handling
Enhanced High-k Dielectric Thin Film Characterization via Machine Learning-Driven Spectroscopic Mapping
dev.toΒ·22hΒ·
Discuss: DEV
🌈Spectroscopy
Loading...Loading more...
AboutBlogChangelogRoadmap