🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Formal Verification
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Kissing bugs bring deadly Chagas disease to California
latimes.com
·
12h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Stay vs. Live: How Verb Choice Reveals Cultural Maps of Rootedness
zakelfassi.com
·
13h
·
Discuss:
Hacker News
📚
Automata Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Lessons in Disabling RC4 in Active Directory
syfuhs.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🛡️
seL4
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Pgschema – Declarative schema migration for Postgres
pgschema.com
·
22h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Measuring success when doing Math
kidswholovemath.substack.com
·
16h
·
Discuss:
Substack
🎮
Verification Games
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A simple clustering and replication solution for Postgres
enterprisedb.com
·
1d
·
Discuss:
Hacker News
🏠
HomeLab
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Raspberry Pi Synthesizers – How the Pi is transforming synths
gearnews.com
·
11h
·
Discuss:
Hacker News
💾
Retro Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What Happened to Google's A2A?
blog.fka.dev
·
2d
·
Discuss:
Hacker News
🐳
Containerization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space
·
3d
·
Discuss:
Hacker News
🔤
DSLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Working in Groups
internet.place
·
2d
·
Discuss:
Lobsters
,
Hacker News
📦
Unikernel Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com
·
5d
·
Discuss:
Hacker News
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Enhance your CLI testing workflow with the new dotnet test
devblogs.microsoft.com
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Perl Rebounds In TIOBE Index - Why?
i-programmer.info
·
2d
·
Discuss:
Hacker News
,
r/programming
🔤
DSLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com
·
3d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Coding
geohot.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📚
Automata Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org
·
4d
·
Discuss:
Lobsters
🧩
Parser Combinators
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev
·
3d
·
Discuss:
Hacker News
🛡️
seL4
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing Code Is Easy. Reading It Isn't
idiallo.com
·
5d
·
Discuss:
Hacker News
,
r/programming
🔬
Static Analysis
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI code is creating more Ops incidents – who should own fixing them?
medium.com
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 20
•
Page 22 »