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

Sertraline for anxiety in adults with a diagnosis of autism (STRATA)
pmc.ncbi.nlm.nih.govยท16hยท
Discuss: Hacker News
๐Ÿ”—Data Provenance
The Dartboard Sequence
mathpages.comยท2dยท
Discuss: Hacker News
๐ŸŽž๏ธTape Combinatorics
Making Libcurl Work in WebAssembly
jeroen.github.ioยท3dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒWASI
Executing arbitrary Python code from a comment
hacktron.aiยท3dยท
Discuss: Hacker News
๐Ÿ”งBinary Parsing
Freenet / Hyphanet build 1503: fix vulnerability, WebP, convenience, optimized
hyphanet.orgยท1dยท
Discuss: Hacker News
๐Ÿ’ฃZIP Vulnerabilities
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.ioยท3dยท
Discuss: Lobsters, Hacker News
๐ŸŒ€Brotli Internals
Self-Hosting AI Models After Claude's Usage Limits
steipete.meยท1dยท
Discuss: Hacker News, Hacker News
โšกHomebrew CPUs
Encode any data into a mnemonic, with custom dictionary.
github.comยท3dยท
Discuss: r/golang
๐Ÿ“ฆDeflate
Progress update for Mixreel (3D and video-to-video)
mixreel.aiยท1dยท
Discuss: Hacker News
๐ŸŽž๏ธFFmpeg Filters
5 smart privacy features on iPhone you need to know about
techradar.comยท8h
๐Ÿ”Homomorphic Encryption
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.orgยท3d
๐ŸงฎTheorem Proving
Perplexity AI - Donโ€™t get how they still exist.
reddit.comยท1dยท
Discuss: r/artificial
๐Ÿ”Concolic Testing
Training language models to be warm and empathetic makes them less reliable and more sycophantic
arxiv.orgยท3d
๐ŸŽ™๏ธWhisper
Show HN: Go-DDD: Production-ready DDD patterns and clean architecture in Go
github.comยท2dยท
Discuss: Hacker News
โœ…CDDL Validation
PyCharm vs. VSCode: Which One is Truly Better?
dev.toยท20hยท
Discuss: DEV
๐ŸŒWASI
How Hackers Break AI Models: A Developer's Guide to Adversarial Threats
dev.toยท19hยท
Discuss: DEV
๐Ÿ•ต๏ธVector Smuggling
The Problem with Safety Classification is not just the Models
arxiv.orgยท3d
๐Ÿ“ABNF Parsing
Tensor-based reduction of linear parameter-varying state-space models
arxiv.orgยท1d
๐Ÿ“Linear Algebra
Ultra-Low-Latency Edge Inference for Distributed Sensing
arxiv.orgยท4d
โง—Information Bottleneck
Matching Game Preferences Through Dialogical Large Language Models: A Perspective
arxiv.orgยท4d
๐Ÿง Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap