🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌐 NetworkProtocols
TLS, Formal Specification, Protocol State Machines, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
China After Communism: Preparing for a Post-CCP China
hudson.org
·
3h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Weak password allowed hackers to sink a 158-year-old company
bbc.co.uk
·
4h
·
Discuss:
Hacker News
📡
Network Protocol Design
I was tired of struggling to find a good apartment in NYC, so I built a free tool that finds the most undervalued apartments to buy/rent in NYC, helping me buy ...
realerestate.org
·
20h
·
Discuss:
Hacker News
,
r/InternetIsBeautiful
🍎
Apple
Accountability
fffej.substack.com
·
15h
·
Discuss:
Substack
🖥️
Self-hosted Infrastructure
Packages proxies
blog.garambrogne.net
·
5d
·
Discuss:
Lobsters
,
Hacker News
⎈
Kubernetes
Microsoft Names Threat Actors
learn.microsoft.com
·
3d
·
Discuss:
Hacker News
🍎
Apple
Docker Desktop: The Easiest Way to Debug Docker Containers
thenewstack.io
·
1d
⎈
Kubernetes
The power of the Unix philosophy for LLM agentic tools
blog.korny.info
·
3d
·
Discuss:
Hacker News
🛡️
seL4
Wikipedia: Signs of AI Writing
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
A Rust Shaped Hole
mnvr.in
·
5d
·
Discuss:
Lobsters
,
Hacker News
🐫
Embedded OCaml
Agents Built from Alloys
xbow.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
,
Hacker News
✓
Automated Theorem Proving
Who Wants to Be Acquired: 5 AI/Dev MVPs (1 Monetized, Full Code, Domains
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
⎈
Kubernetes
Knowledge Without Power: AI, Infrastructure, and the Ethics of Design
medium.com
·
3d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Home server setup living in a university dorm
reddit.com
·
22h
·
Discuss:
r/homelab
🏠
HomeLab
Finally have FTTH at home, however the router I was planning to use temporarily doesn't work, so I had to bring out the big guns
i.redd.it
·
2d
·
Discuss:
r/homelab
🏠
HomeLab
Show HN: UView – A Tool to View and Modify Unity Packages Outside Unity
github.com
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
Rack Upgrade: Keep My i9-12900KF Server or Go Efficient?
reddit.com
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
AI Coding Tools Underperform in Field Study with Experienced Developers
infoq.com
·
12h
·
Discuss:
Hacker News
👁️
System Observability
AI-ming backwards: Vanishing archaeological landscapes in Mesopotamia and automatic detection of sites on CORONA imagery
arxiv.org
·
6h
💻
CS
The Man Behind the Sound: Demystifying Audio Private Attribute Profiling via Multimodal Large Language Model Agents
arxiv.org
·
6d
🛡️
seL4
Loading...
Loading more...
« Page 33
•
Page 35 »