🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Understanding Your Attack Surface: The Key to Effective Exposure Management
tenable.com·21h
🔗Data Provenance
My Debian Activities in June 2025
blog.alteholz.eu·1d
🐧FOSS
Stop Hiding My Controls: Hidden Interface Controls Are Affecting Usability
interactions.acm.org·2d·
Discuss: Hacker News
🔐Capability Systems
Conventional Commits makes me sad
srazkvt.codeberg.page·1d·
Discuss: Lobsters, Hacker News
🌿git
Show HN: Ring oscillator circuit implementation using the CSS if() function
github.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Sleepovers used to be relatively low-stress. Then, my kids entered high school.
businessinsider.com·19m
🌐Protocol Synthesis
Building Employee Self-Service Portals with Custom HR Software Development
dev.to·2h·
Discuss: DEV
🌊Streaming Systems
A Domain-specific Language and Architecture for Detecting Process Activities from Sensor Streams in IoT
arxiv.org·6d
🌊Stream Processing
Learning to context switch
thomasrigby.com·3d
⚔️Lean Tactics
Massive MIMO over Correlated Fading Channels: Multi-Cell MMSE Processing, Pilot Assignment and Power Control
arxiv.org·6h
⚽Sphere Packing
Medical Data Pecking: A Context-Aware Approach for Automated Quality Evaluation of Structured Medical Data
arxiv.org·4d
📰Content Curation
Misaligned from Within: Large Language Models Reproduce Our Double-Loop Learning Blindness
arxiv.org·4d
💻Programming languages
Create a Lift and Drag Calculator with Python: A Beginner’s Guide to Aerodynamics
dev.to·13h·
Discuss: DEV
🔩Systems Programming
Python Fundamentals: bandit
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
🧠 How We Built Our Own ZIP Handler from Scratch: Complete Technical Journey (Pagonic Project)
dev.to·3d·
Discuss: DEV
🏺ZIP Archaeology
Why Frontend Deserves More Respect: Beyond Pretty Pixels and AI Magic
dev.to·1d·
Discuss: DEV
🎨Nordic Design
Estimating Correctness Without Oracles in LLM-Based Code Generation
arxiv.org·6d
💻Programming languages
Automated FTM Trading Bot - Powered by bolt.new and Netlify
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
VaxPulse: Monitoring of Online Public Concerns to Enhance Post-licensure Vaccine Surveillance
arxiv.org·6h
📥Feed Aggregation
An Explainable Transformer Model for Alzheimer's Disease Detection Using Retinal Imaging
arxiv.org·6h
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap