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

Request Collapsing Demystified
fastly.com·1d
💨Cache Analysis
Soft-banned from LINE
boussejra.com·1d·
Discuss: Hacker News
📡Feed Security
EasyJet planes clip wings on ground at Manchester Airport
the-independent.com·6h
💾Floppy Imaging
Lewis: Welcome to American politics without norms
mercurynews.com·4h
🎯Proof Tactics
Hunting Bugs in Perf_event2
roci.co.za·4d·
Discuss: Hacker News
🔍eBPF
Ice discs slingshot across a metal surface all on their own
arstechnica.com·22h
⚙️Tape Transport
Same AI, Different Answer: How Tiny Prompts Can Change Everything
lightcapai.medium.com·1d·
Discuss: Hacker News
⚡Proof Automation
Downgrade Attack Allows Phishing Kits to Bypass FIDO
darkreading.com·16h
🔓Hacking
Stay calm. Keep going. AI must wait or the bubble will burst
smartmic.bearblog.dev·1d·
Discuss: Hacker News
🔲Cellular Automata
Hiring >> Senior Software Engineer (Go)
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Stop rewriting your weekly team updates automate them with Slashit Dynamic Templates
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Processor leaks: Apple is planning these SoCs and SiPs in its upcoming devices
heise.de·1d
🧲RISC-V Preservation
WahResume: AI-Powered Resume Builder for Job Seekers
dev.to·12h·
Discuss: DEV
🎙️Whisper
InfoSec News Nuggets 8/15/2025
aboutdfir.com·37m
🔓Hacking
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·5d·
Discuss: r/golang
🧠Lisp Dialects
Automated Validation Pipeline for High-Dimensional Scientific Data Analysis
dev.to·3d·
Discuss: DEV
🔍FLAC Forensics
Automated Anomaly Detection and Predictive Maintenance in Cryogenic Pump Systems via Dynamic Bayesian Networks
dev.to·3d·
Discuss: DEV
🌊Stream Processing
🚀 How I Built an AI Agent That Generates Structured Test Cases in Minutes
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Enhancing Transparency and Trust Through RWA Tokenization Services
dev.to·2d·
Discuss: DEV
🔗Data Provenance
How We're Helping AI Startups Cut Costs by 67% With Open-Source Models
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap