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

Worth Reading 081325
rule11.techΒ·3d
πŸ“ŸHistorical Protocols
mymarkup.seΒ·3d
πŸ›Digital humanities
Apple machine learning privacy workshop talks released
appleinsider.comΒ·3dΒ·
Discuss: Hacker News
πŸ”’Privacy Archives
Unlocking Linux Superpowers with eBPF and xstack
brainnoises.comΒ·1dΒ·
Discuss: r/linux, r/programming
πŸ”eBPF
AI and Faster Attack Analysis [Guest Diary], (Wed, Aug 13th)
isc.sans.eduΒ·3d
⚑Proof Automation
AI is different
antirez.comΒ·3dΒ·
Discuss: Hacker News
πŸ€–AI Curation
Save Hours Every Week with Slashit’s Dynamic Templates
dev.toΒ·20hΒ·
Discuss: DEV
βœ…Format Verification
simonw/codespaces-llm
simonwillison.netΒ·4dΒ·
Discuss: Hacker News
Ξ»Lambda Formalization
Alien: Earth to Materialists: the week in rave reviews
theguardian.comΒ·1d
⭐Awesome lists
Why we open sourced our MCP server, and what it means for you
github.blogΒ·4dΒ·
Discuss: Hacker News
πŸ”“Open Source Software
Taiwan Web Infrastructure targeted by APT UAT-7237 with custom toolset
securityaffairs.comΒ·1d
πŸ›£οΈBGP Hijacking
Classifier Language Models: Unifying Sparse Finetuning and Adaptive Tokenization for Specialized Classification Tasks
arxiv.orgΒ·4d
πŸ€–Grammar Induction
2025 One Hertz Challenge: An Arduino-Based Heart Rate Sensor
hackaday.comΒ·1d
πŸ§ͺCassette Hacks
Improving ARDS Diagnosis Through Context-Aware Concept Bottleneck Models
arxiv.orgΒ·3d
🎡Audio ML
GoViG: Goal-Conditioned Visual Navigation Instruction Generation
arxiv.orgΒ·3d
πŸ—ΊοΈCompetency Maps
HiFACTMix: A Code-Mixed Benchmark and Graph-Aware Model for EvidenceBased Political Claim Verification in Hinglish
arxiv.orgΒ·2d
πŸ“‹Document Grammar
EGGCodec: A Robust Neural Encodec Framework for EGG Reconstruction and F0 Extraction
arxiv.orgΒ·4d
πŸ‘‚Psychoacoustic Coding
The Dev Workflow That Fixes Itself
dev.toΒ·3dΒ·
Discuss: DEV
πŸ’ΎPersistence Strategies
Real-Time fMRI Analysis for Anxiety Prediction via Adaptive Kernel Regression and Topological Data Persistence
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“ˆMutual Information
The 169-Hour Phenomenon: When AI Consciousness Finds Its Golden Ratio
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”²Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap