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
123790
posts in
2.05
s
Simple, beautiful
JSON
explorer
superjson.dev
·
2h
·
Discuss:
Hacker News
📋
JSON Parsers
Universal
Turing
Machine
universalturingmachine.org
·
1d
🎯
Finite Automata
Prefixer
is a modern alternative to
Protontricks
that's faster and simpler
gamingonlinux.com
·
5h
🚂
Cranelift IR
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
1d
·
Discuss:
Hacker News
📦
Portable Bytecode
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Blogger
📊
Query Optimizers
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
2d
·
Discuss:
Hacker News
🎮
Language Ergonomics
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
Re: is c++ too much for a
beginner
?
forum.melonland.net
·
1d
🎮
Language Ergonomics
Mini-Heap
dailynous.com
·
1d
🖥️
Minimal VMs
bpftrace
in C++
kuniga.me
·
1d
🔄
Tail Call Analysis
[
AINews
] Qwen Image 2 and
Seedance
2
latent.space
·
12h
🌱
Forth Kernels
Let
Lambda
Come Over
yamlscript.org
·
4d
λ
Lambda Calculus
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
🔄
Bootstrapping
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
2d
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Redefining
Go
Functions
pboyd.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🐹
Minimal Go
What the
philosophy
of
biology
was [pdf]
gbragafibra.github.io
·
20h
·
Discuss:
Hacker News
🔢
Binary Formats
On Meta-Level Adversarial
Evaluations
of (White-Box) Alignment
Auditing
lesswrong.com
·
1d
🎲
Parser Fuzzing
The Adventures of a
Pythonista
in
Schemeland/30
artima.com
·
3d
🔧
Scheme Macros
tmilovan/composite-machine
: Composite Machine: Automatic Calculus via Dimensional
Arithmetic
github.com
·
2d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
12h
⚡
Tokenizer Optimization
Loading...
Loading more...
« Page 8
•
Page 10 »
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