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
🔮 Proof Search
Automated Reasoning, Tactic Languages, Resolution, Unification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23329
posts in
1.14
s
Milly
Alcock
, Yvonne
Strahovski
and Olympian Ian Thorpe to Be Honored at G’Day USA Arts Gala (EXCLUSIVE)
variety.com
·
9m
🏛
Digital humanities
5 of the best and 3 of the worst looks from the 2026 Oscar
Nominees
Luncheon
businessinsider.com
·
7m
⭐
Awesome lists
Healthcare Services Group, Inc. (
HCSG
)
Q4
2025 Earnings Call Transcript
seekingalpha.com
·
11m
💰
Archive Economics
Piers Morgan Rejects
Megyn
Kelly’s Meltdown Over Bad Bunny, Then Asks: Is MAGA Going ‘Woke’ and ‘
Thin-Skinned
’ Amid Super Bowl Outrage?
variety.com
·
11m
📡
RSS
The surprising day jobs of 15 US
Olympians
, from a clown to a
dentist
businessinsider.com
·
6m
🗺️
Competency Maps
Discovering
Negative-Days
with LLM Workflows
spaceraccoon.dev
·
4d
🧪
CBOR Fuzzing
Search and
Extract
: Why This AI Pattern Matters, Tutorial, and
Example
hackernoon.com
·
6d
🗂️
Vector Search
AI Agents in
Web3
: Real Business Applications Beyond the
Hype
hackernoon.com
·
4d
🤖
AI Curation
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
4d
🏗️
Compiler Archaeology
Agentic AI
Frameworks
in 2026: The Practical Guide to Building
Reliable
AI Agents
dev.to
·
4d
·
Discuss:
DEV
⚡
Proof Automation
ReAct
Pattern
dev.to
·
3d
·
Discuss:
DEV
✨
Effect Handlers
Learning to
Self-Verify
Makes Language Models Better
Reasoners
arxiv.org
·
1d
🔍
Z3 Parsing
PRISM
: A
Principled
Framework for Multi-Agent Reasoning via Gain Decomposition
arxiv.org
·
1d
📏
Linear Logic
Open-source security
middleware
for AI agents
latchagent.com
·
4d
·
Discuss:
Hacker News
🔒
Language-based security
How I
squeezed
a
BERT
sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io
·
4d
·
Discuss:
Hacker News
🌀
Brotli Dictionary
What does it take to build towards 100
PRs/day
per
engineer
?
jonathannen.com
·
5d
·
Discuss:
Hacker News
⚡
Proof Automation
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
5d
·
Discuss:
Hacker News
💻
Local LLMs
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
5d
·
Discuss:
Hacker News
🔗
Functional Compilers
The Engagement Trap: 45
Adversarial
Patterns in Modern AI
Assistants
pastebin.com
·
5d
·
Discuss:
Hacker News
🎯
Threat Hunting
I
Write
Games in C (
yes
, C)
jonathanwhiting.com
·
3d
·
Discuss:
Hacker News
🔩
Systems Programming
Loading...
Loading more...
« Page 19
•
Page 21 »
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