Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⏰ Temporal Logic
LTL, CTL, Model Checking, System Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23924
posts in
529.6
ms
Blake Lively and Justin
Baldoni
Fail to Reach a Deal in
Court-Mandated
Mediation
variety.com
·
42m
📋
PREMIS Events
Windows 11
Notepad
flaw let files execute
silently
via Markdown links
bleepingcomputer.com
·
42m
💣
ZIP Vulnerabilities
You can’t fire a bot: The
blunt
truth about AI
slop
and your job
thenewstack.io
·
39m
⚡
Proof Automation
James Van Der
Beek
died at 48 after being diagnosed with
colorectal
cancer. Here's what to know about common symptoms, which can be subtle.
businessinsider.com
·
48m
🎯
Content Recommendation
Chaos and confusion in El Paso after
airspace
closed and quickly
reopened
theguardian.com
·
41m
🛡
Cybersecurity
Alex
Oxlade-Chamberlain
makes instant Celtic impact as Rangers drop points in title race
the-independent.com
·
47m
🗃️
Database Forensics
Trump ally
Jeanine
Pirro tapped prosecutors with
scant
federal experience to lead failed indictment on Democrats over ‘illegal orders’ video
the-independent.com
·
38m
⚖️
Digital Evidence
Renishaw
plc 2026 Q2 - Results - Earnings Call Presentation (OTCMKTS:
RNSHF
) 2026-02-11
seekingalpha.com
·
43m
📈
Time Series
NanoXplore
Might See Green Shoots With The Trucking Upcycle, But Still Expensive (
NNXPF
)
seekingalpha.com
·
41m
🖥️
Modern Terminals
🧠 AI Architecture for
Beginners
: What Goes Where (No
Buzzwords
)
dev.to
·
4d
·
Discuss:
DEV
🌀
Brotli Internals
Why AI Agents Make
Different
Decisions
When They Think It's Real
dev.to
·
4d
·
Discuss:
DEV
🎯
Threat Hunting
Aligning
Tree-Search Policies with Fixed Token
Budgets
in Test-Time Scaling of LLMs
arxiv.org
·
18h
🌲
B-tree Variants
TamperBench
:
Systematically
Stress-Testing LLM Safety Under Fine-Tuning and Tampering
arxiv.org
·
2d
🧪
Binary Fuzzing
Show HN: Japanese ma is the most
underrated
design system in
front
end
opale-ui-mugen.vercel.app
·
54m
·
Discuss:
Hacker News
🎨
Nordic Design
Language a Wood for Thought:
Susan
Howe
's Work
poetryfoundation.org
·
50m
·
Discuss:
Hacker News
🏛
Digital humanities
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
49m
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Ruhal-Doshi/hld-bench
: Open-source benchmark evaluating LLMs on high-level system design
github.com
·
3d
·
Discuss:
Hacker News
🔍
FPGA Verification
Show HN:
Agents-docs-kits
–
reusable
"docs
kits
" for AI agents
github.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
📏
Code Metrics
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
1d
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
⚡
Proof Automation
Loading...
Loading more...
« Page 14
•
Page 16 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help