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

A bird dropped a fish on power lines and sparked a brush fire in Canada, firefighters say
the-independent.com·2h
🚨Incident Response
Philosophers and Embedded Ethics (guest post)
dailynous.com·4h
⚖️Archive Ethics
ESP32 Bus Pirate open-source firmware works on off-the-shelf hardware
cnx-software.com·5h
🔌Single Board PC
Have a lot of squash? Make this savory pastry
mercurynews.com·4h
🧮Algorithmic Cooking
Simulating Ice Worlds in the Lab – Universe Today
universetoday.com·5h·
Discuss: Hacker News
🧊Arctic Storage
Top MCP Security Risks (and How to Avoid Them)
prefactor.tech·3d·
Discuss: Hacker News
🔓Hacking
AI Playbook for the Great Game
romeviharo.substack.com·11h·
Discuss: Substack
🔲Cellular Automata
3D Line Drawings
amritkwatra.com·17h·
Discuss: Hacker News
📟Terminal Physics
Cheyenne to host massive AI data center using more electricity than all Wyoming homes combined
dev.to·4h·
Discuss: DEV
🏠Homelab Federation
AI and Burnout
petersobot.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Raw SQL or ORMs? Why ORMs are a preferred choice
dev.to·2d·
Discuss: DEV
🗄️Database Internals
Nudl v0.0.1 MVP Release
github.com·2d·
Discuss: r/golang
🔓Open Source Software
GITEX GLOBAL 2025
darkreading.com·4d
🛡Cybersecurity
StackLiverNet: A Novel Stacked Ensemble Model for Accurate and Interpretable Liver Disease Detection
arxiv.org·1d
🧠Machine Learning
Rubrik & Sophos Enhance Cyber Resilience for Microsoft 365
news.sophos.com·1d
🎫Kerberos History
“I think of analysts as data wizards who help their product teams solve problems”
towardsdatascience.com·4d
⚡Proof Automation
Alternatives to replace reed relay in 1132 printer carriage control tape PCB
rescue1130.blogspot.com·2h·
Discuss: rescue1130.blogspot.com
🔌Single Board PC
Hybrid LSTM-Transformer Models for Profiling Highway-Railway Grade Crossings
arxiv.org·1d
🧠Machine Learning
I Built a Cyberpunk Story About Meta's AI Future Using AI as My Pair Programmer
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·4d
✨Algebraic Effects
Loading...Loading more...
AboutBlogChangelogRoadmap