๐ฟ๏ธ 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
Giant Lenses in the Sky
aerosociety.com
ยท
2h
ยท
Discuss:
Hacker News
๐ฆ
Unikernel Systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Peter Thiel and the Antichrist: Silicon Valley Apocalypse Hype
thenerdreich.com
ยท
1h
ยท
Discuss:
Hacker News
๐
Apple
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ditch those words!
robinrendle.com
ยท
3h
ยท
Discuss:
Hacker News
โ
Operational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com
ยท
1d
ยท
Discuss:
Hacker News
๐ง
Unikernel Development
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io
ยท
1d
ยท
Discuss:
Hacker News
โ
Kubernetes
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Network Switch Reverse Engineering
fohdeesha.com
ยท
1d
ยท
Discuss:
Hacker News
๐ก
Network Protocol Design
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Assistant for Statements, Invoices and Receipts
bankgpt.io
ยท
1d
ยท
Discuss:
Hacker News
โ
Automated Theorem Proving
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How do we get AI Personas to sound so human?
askrally.com
ยท
1d
ยท
Discuss:
Hacker News
๐พ
Retro Computing
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฅ๏ธ
Self-hosted Infrastructure
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Monitoring Claude Code with OpenTelemetry
signoz.io
ยท
3d
ยท
Discuss:
Hacker News
๐๏ธ
System Observability
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com
ยท
1d
๐ป
CS
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Thinking Machines Lab wants to make AI models more consistent
techcrunch.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Automata Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Network automation and design at the CCC Internetmanufaktur (mrmcd25)
cdn.media.ccc.de
ยท
4h
๐ก
Network Protocol Design
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: An open source Vercel/Render alternative for Python apps
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐ณ
Containerization
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Refinement Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
DATE: Dynamic Absolute Time Enhancement for Long Video Understanding
arxiv.org
ยท
1d
๐
Automata Learning
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Collecting my thoughts about notation and user interfaces
interconnected.org
ยท
2d
ยท
Discuss:
Hacker News
๐
Finite State Machines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com
ยท
16h
ยท
Discuss:
Hacker News
๐ฉน
Self-Healing Systems
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
A modified RIME algorithm with covariance learning and diversity enhancement for numerical optimization
arxiv.org
ยท
1d
๐
Type-Level Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 21
โข
Page 23 »