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
123754
posts in
4.13
s
About
forethought.org
·
17m
🏠
indieweb
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
3h
🏃
Escape Analysis
Common
Mistakes
[0]
ilya-sher.org
·
2d
💬
Error Message Design
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
2h
🔗
Hash Functions
Langfuse
- Open Source LLM Engineering Platform
langfuse.com
·
1d
🎮
Language Ergonomics
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
1d
·
Discuss:
Hacker News
🎲
Test Generators
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
1d
🚚
Code Migration
AI Game
Worlds
and
Humane
Games
thenewleafjournal.com
·
13h
🌊
Gradual Effects
When is a
bug
not a
bug
?
blog.zarfhome.com
·
11h
🔍
Static Analysis
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
14h
·
Discuss:
Hacker News
🎭
Program Synthesis
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
🌱
Minimal Languages
Article
: From Prompts to Production: A
Playbook
for Agentic Development
infoq.com
·
5h
🎭
Program Synthesis
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
1d
·
Discuss:
Hacker News
🗺️
Region Inference
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
1d
·
Discuss:
r/programming
🎮
Language Ergonomics
On Meta-Level Adversarial
Evaluations
of (White-Box) Alignment
Auditing
lesswrong.com
·
21h
🎲
Parser Fuzzing
What the
philosophy
of
biology
was [pdf]
gbragafibra.github.io
·
17h
·
Discuss:
Hacker News
🔢
Binary Formats
Naughty
is
Nice
!
yamlscript.org
·
4d
🧼
Lisp Hygiene
Value
Receivers
vs
Pointer
Receivers
in Go (A Practical Explanation)
dev.to
·
1d
·
Discuss:
DEV
🔗
Go Generics
Redefining
Go
Functions
pboyd.io
·
23h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🐹
Minimal Go
New comment by
anonymous908213
in "What functional
programmers
get wrong about systems"
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🚂
Error Monads
Loading...
Loading more...
« Page 7
•
Page 9 »
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