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
112786
posts in
357.3
ms
Simplifying
complex ideas in
sketches
sketchplanations.com
·
14h
📐
Mathematical Computing
The missing
call-assign
operator
kevincox.ca
·
12h
·
Discuss:
Hacker News
😴
Lazy Evaluation
The
Fourth
Wave
of Computing
lucibrowser.com
·
17h
·
Discuss:
Hacker News
🌱
Green Threads
Building an AI Proposal Pipeline: From Call
Transcripts
to Branded Web Pages with Python and
Supabase
dev.to
·
3h
·
Discuss:
DEV
🔄
Subinterpreters
Design Decision:
Technical
Debt in
BillaBear
iain.rocks
·
16h
·
Discuss:
Hacker News
,
r/programming
📊
Code Metrics
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
17h
·
Discuss:
Hacker News
🐹
Minimal Go
TIL: Template
Strict
Locals (
TSL
)
youtube.com
·
18h
·
Discuss:
DEV
⚙️
TOML Parsers
How to think like a computer
scientist
: Learning with C
open.umn.edu
·
1d
·
Discuss:
r/C_Programming
🎭
Racket
LISP
Prolog
and Evolution
blog.samibadawi.com
·
2d
🐪
OCaml
AgentRE-Bench
: Can LLM Agents Reverse Engineer Malware?
agentre-bench.ai
·
58m
·
Discuss:
Hacker News
📜
Bytecode Interpreters
A geometric foundation model for
enzyme
retrieval with
evolutionary
insights
nature.com
·
7h
🗺️
Region Polymorphism
The
Impatient
Programmer's Guide to
Bevy
and Rust: Build a 2D Game from Scratch
aibodh.com
·
8h
·
Discuss:
Hacker News
🏗️
Cranelift
Atomistic
, but non-complete
lattices
dominiczypen.wordpress.com
·
17h
🔶
Lattice Theory
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
2d
·
Discuss:
Hacker News
🔮
Clojure
Context
Graphs
: Building Production World Models for the Age of AI Agents
hackernoon.com
·
14h
🎭
Program Synthesis
Show HN:
Orangensaft
– A mini Python-like language with LLM
eval
in lang runtime
github.com
·
15h
·
Discuss:
Hacker News
⚡
Incremental Parsing
[]
enum
(
u8
){_} as string type
ziggit.dev
·
2d
🎭
Polymorphic Variants
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
1d
🔗
Graph Rewriting
Trace
Length
is a Simple Uncertainty Signal in Reasoning Models
machinelearning.apple.com
·
1d
⚖️
Inference Rules
6
niche
programming
languages
developers secretly love
howtogeek.com
·
1d
🏺
Code Archeology
Sign up or log in to see more results
Sign Up
Login
« Page 2
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