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
🐫 Ocaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121476
posts in
1.90
s
Sympathy
for the Model, or,
Welfare
Concerns as Takeover Risk
lesswrong.com
·
2d
🔧
PLT
Relay
Lang –
Async
first programming language
harrisonerd.com
·
2d
·
Discuss:
Hacker News
🔧
PLT
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
·
4d
·
Discuss:
r/Zig
⚡
Zig
Go
Concurrency
with Database
Transactions
postgresql.org
·
2d
·
Discuss:
DEV
🪜
Scala
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
2d
🤖
AI
I
vibecoded
a production grade
internationalization
library in 2 days
sklivvz.com
·
2d
·
Discuss:
Hacker News
🔎
Semantic Analysis
C++20
span
tutorial
solarianprogrammer.com
·
4d
🔍
Static Analysis
The Two-Board Problem: Training
Environment
for Research Agents
lesswrong.com
·
3d
🔧
PLT
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
2d
·
Discuss:
Hacker News
🔍
Refinement Types
Infrequently
Asked Questions in
comp.lang.c
seebs.net
·
4d
·
Discuss:
r/C_Programming
🔍
Static Analysis
C and
Undefined
Behaviour
lelanthran.com
·
3d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🔍
Static Analysis
Go 1.26 is released
go.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔍
Symbolic Execution
Enforcing
Code Feature
Requirements
in C++
artima.com
·
4d
🔍
Refinement Types
What You Have to Know About
Syntactic
Support for Error
Handling
hackernoon.com
·
3d
🔎
Semantic Analysis
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
2d
·
Discuss:
Hacker News
📐
formal specification
49ers DL
Keion
White shot in
ankle
at Super Bowl event, expected to be OK: Sources
nytimes.com
·
2d
🦀
Rust
🚀
OLSRT
v1.2: A Powerful
Runtime
for All Programming Languages!
dev.to
·
3d
·
Discuss:
DEV
🔍
Static Analysis
Java
Basics
dev.to
·
2d
·
Discuss:
DEV
🔍
Static Analysis
vlang/v
weekly.2026.07
github.com
·
2d
🔧
PLT
Category O for
p-adic
rational
Cherednik
algebras
arxiv.org
·
2d
🔧
PLT
Loading...
Loading more...
« Page 16
•
Page 18 »
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