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
22902
posts in
963.8
ms
Locals
hit back at
Mafia
prison plan over fears it will create ‘Italy’s own Devil’s Island’
the-independent.com
·
10m
🌐
BGP Security
What if 1 in 10 people changed how they
eat
, drive, heat or
shop
?
the-independent.com
·
19m
🧮
Algorithmic Cooking
Automatic
WS2812
Characterization
cpldcpu.com
·
4d
👁️
System Observability
Synthesizing
scientific
literature
with retrieval-augmented language models
nature.com
·
6d
🔍
Information Retrieval
Study finds AI reasoning models
generate
a "society of thought" with
arguing
voices inside their process
the-decoder.com
·
4d
🔲
Cellular Automata
Rebuilding
the
spellchecker
zverok.space
·
4d
🌲
Parse Trees
AI Search
Ranking
Analysis Software
open.forem.com
·
4d
·
Discuss:
DEV
📊
Search Ranking
Understanding
Valyu
: AI-Native Search, and a CLI Tool to
Experiment
Faster
dev.to
·
5d
·
Discuss:
DEV
🌀
Brotli Internals
Best-Part Python Program: Smart To-Do List (
Beginner
Pro
Friendly
)
dev.to
·
4d
·
Discuss:
DEV
🔗
Concatenative Programming
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
2d
λ
Lambda Encodings
Some conditions
implying
if P=NP then P=
PSPACE
arxiv.org
·
1d
🎯
Performance Proofs
Accelerate your discovery by
parallelizing
experiments
magellink.com
·
3d
·
Discuss:
Hacker News
⚡
Incremental Computation
CCC
(Claude's C Compiler) on Compiler
Explorer
godbolt.org
·
4d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Paths
of
MySQL
, vector search edition
theconsensus.dev
·
4d
·
Discuss:
Hacker News
🦀
Rusty Databases
Why
Elixir
is the best language for AI
dashbit.co
·
6d
·
Discuss:
Hacker News
,
r/programming
💧
Liquid Types
How to set up Claude Code: a context-first approach
dhirajtourani.com
·
4d
·
Discuss:
Hacker News
,
r/programming
⚡
Effectful Programming
LLMs Are Prediction
Machines
kaelandt.github.io
·
3d
·
Discuss:
Hacker News
🧮
Kolmogorov Bounds
There is no
Alignment
Problem
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
⚙️
Assembly Verification
AI Wrote My Project, an
Nginx
Engineer
Rebuilt
the Architecture
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🤖
Network Automation
hirako2000/latent-energy
: An Energy Based Model to solve
nonograms
via self supervised CNN
github.com
·
2d
·
Discuss:
Hacker News
📊
Quantization
Loading...
Loading more...
« Page 20
•
Page 22 »
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