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
↔️ Bidirectional Typing
Type Synthesis, Type Checking, Local Inference, Elaboration
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
124004
posts in
2.31
s
Universal
Turing
Machine
universalturingmachine.org
·
1d
🎯
Finite Automata
Simple, beautiful
JSON
explorer
superjson.dev
·
8h
·
Discuss:
Hacker News
📋
JSON Parsers
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Blogger
📊
Query Optimizers
About
forethought.org
·
9h
🏠
indieweb
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
2d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Is this
const
str
concat
macro cursed or blessed?
docs.rs
·
9h
·
Discuss:
r/rust
🦀
Rust Macros
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
💬
Interactive REPLs
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
11h
🔗
Hash Functions
What's New in the February Release of
Zoomtext
2026
groups.io
·
6h
📝
Rope Editors
bpftrace
in C++
kuniga.me
·
1d
🔄
Tail Call Analysis
[
AINews
] Qwen Image 2 and
Seedance
2
latent.space
·
18h
🌱
Forth Kernels
Notes on
Kim
&
Yegge
federicopereiro.com
·
8h
🎭
Program Synthesis
The Problem With LLMs
deobald.ca
·
23h
·
Discuss:
Lobsters
🎮
Language Ergonomics
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
23h
·
Discuss:
Hacker News
🎭
Program Synthesis
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
2d
·
Discuss:
Hacker News
🔄
Bootstrapping
What the
philosophy
of
biology
was [pdf]
gbragafibra.github.io
·
1d
·
Discuss:
Hacker News
🔢
Binary Formats
On Meta-Level Adversarial
Evaluations
of (White-Box) Alignment
Auditing
lesswrong.com
·
1d
🎲
Parser Fuzzing
LookML
: An Alternative Semantic Layer Approach to build a Reliable AI Analytics Agent with
BigQuery
pub.towardsai.net
·
2d
🔄
Subinterpreters
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
1d
🔍
Static Analysis
roc-lang/roc
: A fast, friendly, functional language.
github.com
·
2d
📐
Standard ML
Loading...
Loading more...
« Page 12
•
Page 14 »
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