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
🌳 Pattern Match Compilation
Decision Trees, Exhaustiveness, Guards, ML Compilers
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80226
posts in
412.2
ms
Casual
For Registers,
Rectangles
, And Windows
irreal.org
·
14h
💻
Terminal UIs
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
1d
📞
Session Types
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
4d
📝
PEG Parsing
Recoll
Semantic
Searches
recoll.org
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
1d
·
Discuss:
Hacker News
🔀
SIMD Programming
Modernizing
my 150-line Python search engine: Yahoo!
dumps
-> Hugging Face 🤗
bart.degoe.de
·
11h
·
Discuss:
Hacker News
🌱
Minimal ML
Magic
Words
daverupert.com
·
14h
🌊
Gradual Effects
The Journey to a
Safer
Frontend
: Why We Removed React.FC
engineering.gusto.com
·
13h
🔧
API Design
Writing a
ONNX
Neural Network Inference Engine from Scratch in C to run image classification with
MobileNetV2
flexw.github.io
·
1d
·
Discuss:
r/C_Programming
🗺️
Region Inference
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
3d
·
Discuss:
Hacker News
,
r/rust
⚙️
TOML Parsers
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
23h
·
Discuss:
Hacker News
,
r/golang
🐹
Go Internals
Why
securing
AI model
weights
isn’t enough
the-substrate.net
·
9h
·
Discuss:
Hacker News
🏰
Capability Machines
Let
Lambda
Come Over
yamlscript.org
·
3d
λ
Lambda Calculus
Querying
Dataverse
Using AI Builder’s Grounded Prompts
dev.to
·
23h
·
Discuss:
DEV
🧠
Semantic Parsing
How Netflix,
Uber
, and Google Build AI Systems: Architecture Deep
Dive
dev.to
·
1d
·
Discuss:
DEV
⚡
JIT Optimizations
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🚂
Error Propagation
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
2d
🗂️
Type Indexing
AI is a High Pass
Filter
for Software
Delivery
bryanfinster.substack.com
·
7h
·
Discuss:
Substack
🎭
Program Synthesis
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
2d
·
Discuss:
Hacker News
🧪
Testing Compilers
Experiments
in building
bespoke
tools with AI
knlb.dev
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Loading...
Loading more...
« Page 11
•
Page 13 »
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