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

My third Airsoft game day and perhaps I am finally getting the hang of it
neilzone.co.uk·22h
🎯Threat Hunting
NFC reader and alarm/door entry system
revk.uk·1d·
Discuss: www.revk.uk
🏠Home Automation
Quantum device detects all units of electricity at once
newscientist.com·2h
⚛️Quantum Tape
Implementing an ikiwiki subset in Rust
blog.liw.fi·3d
🦀Rust Macros
First alpha release of Karta, the canvas file browser
kartakarta.app·6h·
Discuss: Hacker News
🌐WebRTC Archives
Why Are Digital Systems Failing the People They're Meant to Serve?
syntheticauth.ai·4d·
Discuss: Hacker News
⚖️Lossy Compression Ethics
Django Weblog: Building better APIs: from Django to client libraries with OpenAPI
djangoproject.com·5d
🔌Archive APIs
Colt forced to take services offline following apparent cyberattack
techradar.com·4h
🎫Kerberos Attacks
The rise of universities as engines of innovation
phys.org·50m
🔐PKI Archaeology
AMD to disclose roadmaps in mid-November — The future of Zen 6, RDNA, CDNA, and UDNA expected
tomshardware.com·11m
🌊Stream Processing
PyLadies SF Meetup on 8/28: Python + Pizza
dev.to·4d·
Discuss: DEV
λLambda Formalization
Should Education Be Free in the Age of AI?
dev.to·4h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Hackaday Links: August 17, 2025
hackaday.com·16h
🏠Homelab Archaeology
Scientists Create New Magnetic State: The Magneto-Ionic Vortex (“Vortion”)
scitechdaily.com·1d
🧲Magnetic Recording
When the insider Is the adversary: North Korea’s remote work espionage campaign
techradar.com·4h
🔓Hacking
Advanced Beamline Optimization via Reinforcement Learning and Spectral Deconvolution
dev.to·3d·
Discuss: DEV
🌈Spectroscopy
# Creation of Interactive Python Dashboards for Performance Analysis and Metrics in Realtor Cleaning Services
dev.to·2d·
Discuss: DEV
🌊Stream Processing
The Testing Paradox: Why 90% of IT Projects Are Late and How to Break the Cycle
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Automated Quench Optimization via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·5d·
Discuss: DEV
🧮Algorithmic Cooking
Enhancing DAC Efficiency via Amine-Functionalized Metal-Organic Frameworks with Dynamic Pore Optimization
dev.to·1d·
Discuss: DEV
🧲Magnetic Recording
Loading...Loading more...
AboutBlogChangelogRoadmap