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

Why Are Rabbits Sprouting Tentacles?
scientificamerican.com·22h
📡Feed Security
Threat Bulletin: Fire in the Woods – A New Variant of FireWood
intezer.com·2d
🌳Archive Merkle Trees
Function Colors Represent Different Execution Contexts
danieltan.weblog.lol·5d·
Discuss: r/programming
✨Effect Handlers
Cisco named a Leader in IDC MarketScape Hybrid Firewall Vendor Assessment
blogs.cisco.com·1d
📡Network Monitoring
GPT-5's modest gains suggest AI progress is slowing down
newscientist.com·2d
⚙️Compression Benchmarking
sshrc: Bring your .bashrc, .vimrc, etc. with you when you SSH
github.com·1d·
Discuss: Hacker News
🛡️CLI Security
OASIS INTERNSHIP
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: Multi-agent AI orchestration – lessons from a build log
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Hidden Bug in Go: Variable Shadowing Explained
dev.to·4d·
Discuss: DEV
🦀Rust Macros
Preacher: Paper-to-Video Agentic System
arxiv.org·1d
📄Document Streaming
Remocal and Minimum Viable Models: Why Right-Sized Models Beat API Overkill
docker.com·6d
⚡Performance Mythology
AI-Driven Dynamic Droplet Fusion Modeling for Enhanced Digital Microfluidics
dev.to·5d·
Discuss: DEV
🌊Stream Processing
Anomaly Detection for IoT Global Connectivity
arxiv.org·1d
📡Network Monitoring
Building a Tech Zeitgeist Machine: News Harvesting, Dirty Data, and the Audacity of Mr. Spruce
dev.to·4d·
Discuss: DEV
📰RSS Archaeology
Redis-Powered Crypto EdTech Content Pipeline: Scraping, Processing & Curation
dev.to·4d·
Discuss: DEV
⚡Redis Internals
"Getting a Little Rusty" – A guide for vibe coders who need to read Rust
github.com·3d·
Discuss: Hacker News
🦀Rust Macros
Data-Driven Adaptive Robust Control via Gaussian Process Regression and Lyapunov Redundancy
dev.to·2d·
Discuss: DEV
🛡️Error Boundaries
Superfast Low Rank Approximation
arxiv.org·3d
📐Compression Bounds
Optimized Recycled Aggregate Grading via Multi-Objective Genetic Algorithm
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
AIxCC and RoboDuck
theori.io·4d·
Discuss: Hacker News
🧪Binary Fuzzing
Loading...Loading more...
AboutBlogChangelogRoadmap