๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Linear Logic

Resource Awareness, Session Types, Proof Nets, Substructural Logic

Start hacking Bluetooth Low Energy today! (part 1)
pentestpartners.comยท2d
๐Ÿ“กBluetooth Archaeology
Phishing in the Cloud: SendGrid Campaign Exploits Account Security
cofense.comยท2d
๐Ÿ›กCybersecurity
The Zen of Feature Deletion
brajeshwar.comยท2d
๐ŸŽจSwedish Design Philosophy
Zeno, Bu and Jonni
finta.comยท3dยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
What to use for actual DNS resolving?
reddit.comยท15hยท
Discuss: r/homelab
๐ŸŒDNS Security
Linux Fu: Windows Virtualization the Hard(ware) Way
hackaday.comยท2d
๐Ÿ”ŒOperating system internals
Treasure Island ๐Ÿ๏ธ๐Ÿ’ฐโš“, A Beginner Python Adventure
dev.toยท2dยท
Discuss: DEV
๐Ÿ‘‘Isabelle
Show HN: Filelock โ€“ AES-GCM file&folder encryption with hardware acceleration
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”Archive Encryption
These Rust Tools Will Seriously Level Up Your Dev Experience
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
A Systematic Study of Deep Learning Models and xAI Methods for Region-of-Interest Detection in MRI Scans
arxiv.orgยท2d
๐Ÿค–Advanced OCR
Why Lightweight Language Models Might Be More Important Than Ever
dev.toยท4dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Advanced Microbial Fuel Cell Optimization via Hyperdimensional Data Fusion and Adaptive Enzyme Engineering
dev.toยท2dยท
Discuss: DEV
โšกIncremental Computation
Introducing r/OpenAIML
dev.toยท5dยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
MCP Proxy Pattern: Secure, Retrieval-First Tool Routing for Agents
dev.toยท3dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Semi-Supervised Anomaly Detection Pipeline for SOZ Localization Using Ictal-Related Chirp
arxiv.orgยท3d
๐Ÿ“ŠSpectrograms
gpt-oss-120b & gpt-oss-20b Model Card
arxiv.orgยท5d
๐Ÿ“ABNF Extensions
Retrieval-augmented reasoning with lean language models
arxiv.orgยท5d
๐ŸŒ€Brotli Internals
Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
arxiv.orgยท5d
๐ŸงฎSMT Solvers
Automated Patient Stratification via Multi-Modal Data Fusion and Reinforcement Learning
dev.toยท5dยท
Discuss: DEV
๐Ÿง Machine Learning
From Mud to Masterpiece: Meet dc-artisan and Craft Better Prompts
dev.toยท5dยท
Discuss: DEV
โšกProof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap