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

Sitting Down with Dr. Darren Pulsipher from Intel Corporation, Chair of the Government EA Working Group
blog.opengroup.org·3d
🔌Interface Evolution
Exploring Adversarial Attacks on the MaSTer Truncation Protocol
esat.kuleuven.be·4d
💻Local LLMs
Show HN: Infragram – C4 style interactive architecture diagrams for Terraform
marketplace.visualstudio.com·57m·
Discuss: Hacker News
⚡gRPC
Intermediaries in Network-Based Ecosystems
mydata.org·4h·
Discuss: Lobsters, Hacker News
🧅Tor Networks
Elon Musk’s X investigated in France for alleged data tampering and fraud
the-independent.com·50m
⚖️Digital Evidence
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·22h·
Discuss: r/homelab
📟Vintage Protocols
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·2h·
Discuss: Hacker News
🔓Open Source Software
Amjad Massad on scaling Replit and the future of software development
vanta.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·21h·
Discuss: Hacker News
🧊Arctic Storage
I switched from PR to health tech with no engineering or medical experience. Here's how I overcame impostor syndrome.
businessinsider.com·8h
🔌Interface Evolution
Tech Lead Manager: it's a trap (and I'm still in it)
grahamgilbert.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Intermediate and Advanced K8S CRDs and Operators Interview Questions
reddit.com·1d·
Discuss: r/kubernetes
🔗Constraint Handling
Open Comments Rewind: Unravelling the Intricacies of AI in Education and Beyond, with Dr. Chris Harding
blog.opengroup.org·1d
📊Feed Optimization
Semiconductor catalyst achieves high selectivity in converting carbon dioxide to methanol
phys.org·7h
🌈Spectroscopy
Go self-referential interface confusion
reddit.com·4d·
Discuss: r/golang
💻Programming languages
☔ Linear vs Logistic Regression — The Umbrella Story
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Adversarial Threats in AI Systems: The Hidden Risks You Shouldn’t Ignore
dev.to·1d·
Discuss: DEV
🕵️Vector Smuggling
On Grok and the Weight of Design
hackernoon.com·22h
🌀Brotli Internals
Synthetic MC via Biological Transmitters: Therapeutic Modulation of the Gut-Brain Axis
arxiv.org·14h
🧠Machine Learning
Gemini Photo Coach: Learn Photography With an AI Tutor
dev.to·6h·
Discuss: DEV
🏛Digital humanities
Loading...Loading more...
AboutBlogChangelogRoadmap