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
123985
posts in
1.80
s
3/4
spell
swap
extra notes
cowboy-starshine.itch.io
·
1d
🏷️
Symbol Mangling
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
11h
🏃
Escape Analysis
Microsoft just built a
scanner
that exposes hidden LLM
backdoors
techradar.com
·
1d
🏷️
Memory Tagging
Deferred
member
initialization
in C++
sandordargo.com
·
23h
·
Discuss:
Lobsters
🪆
Embedded DSLs
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
1d
·
Discuss:
Hacker News
🎲
Test Generators
AI Game
Worlds
and
Humane
Games
thenewleafjournal.com
·
21h
🌊
Gradual Effects
Langfuse
- Open Source LLM Engineering Platform
langfuse.com
·
1d
🎮
Language Ergonomics
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
2d
🚚
Code Migration
State of
HLSL
: February 2026
abolishcrlf.org
·
1d
·
Discuss:
Hacker News
🔗
Language Toolchains
When is a
bug
not a
bug
?
blog.zarfhome.com
·
19h
🔍
Static Analysis
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
22h
📡
Erlang BEAM
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
🌱
Minimal Languages
Understanding Providers and
Dependency
Injection in
NestJS
en.wikipedia.org
·
1d
·
Discuss:
DEV
🔀
Control Structures
Article
: From Prompts to Production: A
Playbook
for Agentic Development
infoq.com
·
13h
🎭
Program Synthesis
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
1d
·
Discuss:
Hacker News
🗺️
Region Inference
MPSpeed
: Implementing and Optimizing
MPC-in-the-Head
Digital Signatures in Hardware
eprint.iacr.org
·
2d
⏲️
Embedded GC
Notes on using AI tools for debugging, learning, and shipping software (as a
cautious
adopter
)
linkedin.com
·
1d
·
Discuss:
r/programming
🎮
Language Ergonomics
The 4 most common security risks when vibe coding your app—Martian
Chronicles
, Evil
Martians
’ team blog
evilmartians.com
·
22h
🏷️
Symbol Interning
The Adventures of a
Pythonista
in
Schemeland/29
artima.com
·
3d
🧼
Lisp Hygiene
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Loading...
Loading more...
« Page 13
•
Page 15 »
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