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
123669
posts in
1.48
s
Style Intelligence
Platforms
trendhunter.com
·
5h
🎮
Language Ergonomics
TPUs
Demystified
pub.towardsai.net
·
3h
🎭
Racket
Semantic
Design
Tokens
That Scale Across Platforms
hackernoon.com
·
9h
📡
Protocol Buffers
Fine
Grained
Everything, and what comes after React Server
Components
blog.logrocket.com
·
20h
📦
Monorepos
Issue #721: Classification With
zstd
,
Callables
, Gemini, and More (Feb. 10, 2026)
pycoders.com
·
20h
🛠
programming language development
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
1h
·
Discuss:
Hacker News
🛡️
Error Ergonomics
jordanrubin/FUTURE
_TOKENS: Composable reasoning skills for Claude -
antithesize
, excavate, metaphorize, synthesize, and more
github.com
·
2h
🔄
Incremental Lexing
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
Mastra
: Build AI agents with a modern
TypeScript
stack
producthunt.com
·
20h
✨
Gleam
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
1d
✨
Gleam
Show HN: 0x – A language that
compiles
to React, Vue, and
Svelte
(80% less code)
0xlang.com
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Frugal
AI
ainowinstitute.org
·
1d
🗺️
Region Polymorphism
#632,
Feburary
9th 2026
llvmweekly.org
·
1d
⚙️
Compilers
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
1d
🔄
Subinterpreters
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
1d
🚂
Error Propagation
Large Language Models for
Mortals
book released
crimede-coder.com
·
1d
·
Discuss:
Hacker News
🌱
Minimal ML
It’s about to get a lot
easier
for your JavaScript to clean up after
itself
piccalil.li
·
1d
🌈
Gradual Languages
Graph
algebra
en.wikipedia.org
·
1d
🔗
Category Theory
Impredicativity
in Linear
Dependent
Type Theory
arxiv.org
·
1d
∀
Quantified Types
Antirez
Strikes Again: The Creator of
Redis
Builds a Bare-Metal Vision AI in Pure C — And It Actually Works
webpronews.com
·
1d
🔄
Bootstrapping
Loading...
Loading more...
« Page 4
•
Page 6 »
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