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
120281
posts in
883.5
ms
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
2h
🏃
Escape Analysis
Microsoft just built a
scanner
that exposes hidden LLM
backdoors
techradar.com
·
16h
🏷️
Memory Tagging
Deferred
member
initialization
in C++
sandordargo.com
·
14h
·
Discuss:
Lobsters
🪆
Embedded DSLs
Common
Mistakes
[0]
ilya-sher.org
·
2d
💬
Error Message Design
How ‘effectively zero-knowledge’
proofs
could transform
cryptography
scientificamerican.com
·
1h
🔗
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
When is a
bug
not a
bug
?
blog.zarfhome.com
·
10h
🔍
Static Analysis
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
1d
·
Discuss:
Hacker News
🗺️
Region Inference
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
13h
·
Discuss:
Hacker News
🎭
Program Synthesis
On Meta-Level Adversarial
Evaluations
of (White-Box) Alignment
Auditing
lesswrong.com
·
20h
🎲
Parser Fuzzing
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
🌱
Minimal Languages
six
thoughts
on
generating
c
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🪄
C Metaprogramming
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🚂
Error Propagation
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
🔄
Bootstrapping
tmilovan/composite-machine
: Composite Machine: Automatic Calculus via Dimensional
Arithmetic
github.com
·
2d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
2d
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Calculus
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
6h
🧪
Testing Compilers
Loading...
Loading more...
« Page 6
•
Page 8 »
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