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
23363
posts in
442.0
ms
IDA
Plugin
Updates on 2026-02-08
williballenthin.com
·
3d
🌳
Incremental Parsing
Automatic
Programming
notes.billmill.org
·
6d
⚡
Proof Automation
Discovering
Negative-Days
with LLM Workflows
spaceraccoon.dev
·
4d
🧪
CBOR Fuzzing
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
Introducing
TealTiger
: AI Security & Cost Control Made Simple
dev.to
·
3d
·
Discuss:
DEV
🌀
Brotli Internals
Stop
Guessing
Code
Complexity
: Why Your Team Needs a Health Score"
dev.to
·
3d
·
Discuss:
DEV
📏
Code Metrics
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
I am
happier
writing code by
hand
abhinavomprakash.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
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
·
3d
·
Discuss:
Hacker News
🌀
Brotli Dictionary
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
5d
·
Discuss:
Hacker News
💻
Local LLMs
What does it take to build towards 100
PRs/day
per
engineer
?
jonathannen.com
·
5d
·
Discuss:
Hacker News
⚡
Proof Automation
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
A New AI Math Startup Just
Cracked
4 Previously
Unsolved
Problems
wired.com
·
6d
·
Discuss:
Hacker News
,
Hacker News
,
r/technews
📐
Mathematical Art
I
Write
Games in C (
yes
, C)
jonathanwhiting.com
·
3d
·
Discuss:
Hacker News
🔩
Systems Programming
stdlib
v7.2
erlang.org
·
5d
·
Discuss:
Hacker News
🦀
Rusty Databases
Jim
Roskind
on C
Ambiguity
pdos.csail.mit.edu
·
5d
·
Discuss:
Hacker News
🔍
Z3 Parsing
Loading...
Loading more...
« Page 18
•
Page 20 »
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