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
🔢 Coding Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16914
posts in
597.9
ms
Statistical
Learning from
Attribution
Sets
arxiv.org
·
1d
📐
Information Geometry
Science-Informed
Design of Deep Learning With Applications to Wireless Systems: A
Tutorial
arxiv.org
·
1d
🧠
Machine Learning
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
4d
·
Discuss:
Hacker News
🎯
Performance Proofs
Private Data Space Model
privatedata.space
·
5d
✅
Format Verification
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
2d
·
Discuss:
Hacker News
🌳
Incremental Parsing
**Title**
dev.to
·
3d
·
Discuss:
DEV
👁️
Perceptual Hashing
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
2d
📝
Concrete Syntax
I built a
cryptographic
memory layer for humans in Python tags: python,
opensource
, security, blockchain
dev.to
·
2d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Beyond
agentic
coding
haskellforall.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
⚡
Effectful Programming
Let
Lambda
Come Over
yamlscript.org
·
3d
⬆️
Lambda Lifting
Further
Meditation
on Taylor Series
alexkritchevsky.com
·
5d
⚔️
Lean Theorem
Writing an LLM from scratch, part
32d
--
Interventions
: adding attention bias
gilesthomas.com
·
3d
·
Discuss:
Hacker News
🧠
Intelligence Compression
Claude Code is the
Inflection
Point
newsletter.semianalysis.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
📏
Code Metrics
AL,
Logical
mathhombre.blogspot.com
·
5d
·
Discuss:
mathhombre.blogspot.com
🏛️
Isabelle HOL
Stop Using
Icons
in Data
Tables
medium.com
·
4d
·
Discuss:
Hacker News
🔠
Terminal Fonts
1M
token context: The good, the bad and the
ugly
(2025)
micron.com
·
4d
·
Discuss:
Hacker News
🌊
Streaming Compression
Synthia
Accord: The Governance of the 11th Art and the Sovereign Digital Nation By Adel
Abdel-Dayem
open.forem.com
·
4d
·
Discuss:
DEV
🧲
Magnetic Philosophy
**Abstract:** This paper proposes a novel approach to Neural Machine Translation (
NMT
) specifically targeting the
intricacies
of translating ancient texts, n...
freederia.com
·
5d
🤖
AI Translation
Pulling
values
from a graph without an LLM
leancrew.com
·
5d
📲
Digitization
Loading...
Loading more...
« Page 4
•
Page 6 »
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