🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Celsius: Alani Nu Is A Game-Changer, But Execution Must Be Flawless
seekingalpha.com·4h
📰Feed Readers
Sophos fixed two critical Sophos Firewall vulnerabilities
securityaffairs.com·8h
🔓Hacking
Testing Your Knowledge of JavaScript’s Date Class
hackaday.com·2d
✅Format Verification
CVE-2025-25200: this Koa ReDoS is not a serious vulnerability
sjoerdlangkemper.nl·23h
📦Container Security
XProc tips and tricks
so.nwalsh.com·2d
⚡Proof Automation
Project Lyra – Exploring Interstellar Objects
i4is.org·1d·
Discuss: Hacker News
🏺Computational Archaeology
Bypassing Watermark Implementations
blog.kulkan.com·1d·
Discuss: Hacker News
🌊Audio Watermarks
Three Decades of OpenWindows (2024)
vcojot.blogspot.com·1d·
Discuss: Hacker News
🏠Homelab Archaeology
Detecting code copying at scale with Vendetect
blog.trailofbits.com·2d·
Discuss: Hacker News
🚀Indie Hacking
My Two Lives as a Programmer
maxmynter.com·1d·
Discuss: Hacker News
🔩Systems Programming
Rethinking CLI Interfaces for AI
notcheckmark.com·4d·
Discuss: Lobsters, Hacker News
🔒WASM Capabilities
Forcing Myself to Vibe Code
kevinhighwater.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
Fundamental limits of distributed covariance matrix estimation via a conditional strong data processing inequality
arxiv.org·55m
⧗Information Bottleneck
Semi-off-Policy Reinforcement Learning for Vision-Language Slow-thinking Reasoning
arxiv.org·1d
🔲Cellular Automata
Top 5 LLM Observability Tools of 2025
dev.to·22h·
Discuss: DEV
👁️System Observability
Structural variation in 1,019 diverse humans based on long-read sequencing
nature.com·12h
🧬Copy Number Variants
Give your AI agent superpowers with MCP
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
LLM Meets the Sky: Heuristic Multi-Agent Reinforcement Learning for Secure Heterogeneous UAV Networks
arxiv.org·55m
🤐Secure Multiparty
Competitive Algorithms for Cooperative Multi-Agent Ski-Rental Problems
arxiv.org·2d
🔲Cellular Automata
VisionTrap: Unanswerable Questions On Visual Data
arxiv.org·55m
📸TIFF Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap