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
123670
posts in
1.84
s
bounding
anglesmorts.org
·
2d
🔗
Lexical Scoping
#0183:
RLWRAP
and Elixir: A Pragmatic Approach to CLI
Readline
Support
matthewsinclair.medium.com
·
11h
💻
Terminal UIs
Reckoning
with Everything. The
Becoming-Environmental
of Computing
meson.press
·
6h
🗺️
Region Types
AI Prompt
Builder
– Build
Reliable
AI Prompts with the Right Context
cppdepend.com
·
1h
·
Discuss:
DEV
🎭
Program Synthesis
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
1d
🤖
Embedded Go
GLM
5 is already on
huggingface
!
huggingface.co
·
6h
·
Discuss:
r/LocalLLaMA
📈
Earley Parsing
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
2d
✅
Type Checking
Antirez
Strikes Again: The Creator of
Redis
Builds a Bare-Metal Vision AI in Pure C — And It Actually Works
webpronews.com
·
1d
🔄
Bootstrapping
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
10h
·
Discuss:
Hacker News
🔍
ML Language
Using
Databases
Without Putting Domain
Logic
in Them (2023)
alexkondov.com
·
5h
·
Discuss:
Lobsters
🗄️
Database Engines
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
Malicious
Private Set Union with
Two-Sided
Output
eprint.iacr.org
·
2d
📏
Linear Memory
Becoming
More
blog.startifact.com
·
1d
💬
Interactive REPLs
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
1d
·
Discuss:
r/LocalLLaMA
🧩
Constraint Solvers
The LLM
Context
Tax: Best Tips for Tax
Avoidance
nicolasbustamante.com
·
5h
·
Discuss:
Hacker News
🔄
Incremental Lexing
The Adventures of a
Pythonista
in
Schemeland/30
artima.com
·
4d
🔧
Scheme Macros
The Design
Checklist
: Keeping AI Products
Alive
After Week One
hackernoon.com
·
18h
🎭
Program Synthesis
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
2d
·
Discuss:
Hacker News
⚡
Partial Evaluation
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
18h
🧪
Testing Compilers
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🚂
Error Propagation
Loading...
Loading more...
« Page 9
•
Page 11 »
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