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
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
76576
posts in
2.42
s
Does "AI-Ready Data"
simply
mean "Good Data
Modeling
"?
motherduck.com
·
1d
💰
TigerBeetle
Vibe Check:
Opus
4.6—The Best Coding Model We’ve Tested (With Some
Maddening
Habits)
every.to
·
2d
🌈
Nannou
LFortran
Compiles
Lapack
lfortran.org
·
21h
·
Discuss:
Hacker News
🔨
LLVM
Modern
Trends
In
Floating-Point
semiengineering.com
·
1d
🛣️
Highway
Scalable Generation and Validation of
Isomorphic
Physics Problems with
GenAI
arxiv.org
·
1d
🎲
Deterministic Simulation
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
1d
🎭
Program Synthesis
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
11h
·
Discuss:
Lobsters
,
Hacker News
🚀
MLOps
Is OpenAI’s
GPT-5.3
Codex
Worth the Hype?
analyticsvidhya.com
·
17h
🎮
WebGPU
High Speed
dev.to
·
1d
·
Discuss:
DEV
⚙️
Systems Programming
Kadajett/blECSd
: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com
·
7h
·
Discuss:
Hacker News
🧊
Iced
My
Current
AI Coding
Workflow
jonathannen.com
·
21h
🤖
Automation
Debugging
Kotlin
Multiplatform
Apps with Better Observability
dev.to
·
2h
·
Discuss:
DEV
📝
Tracing Subscriber
The ‘weird’ things that happened when
Clickhouse
replaced
C++ with Rust
thenewstack.io
·
2d
·
Discuss:
Hacker News
⚠️
Rust Unsafe
stdlib
v7.2
erlang.org
·
18h
·
Discuss:
Hacker News
🛷
Sled
Issues with AI:
Toxic
Dependencies
blog.mathieui.net
·
14h
·
Discuss:
Hacker News
💬
Prompt Engineering
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
2d
·
Discuss:
Lobsters
,
Hacker News
🌳
Merkle Trees
Fifty
Shades
of
OOP
lesleylai.info
·
4d
💫
Effect Systems
Bjarne
’s Last
Stand
: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·
4d
·
Discuss:
Substack
,
r/cpp
🦀
Rust
Logistic
Regression, Average Marginal Effects, and the Linear Probability Model - Part II:
Coefficients
and AMEs of nested models
elff.eu
·
16h
⚡
Polars Expression API
Dot
Chain Special
Operators
yamlscript.org
·
2h
3️⃣
Three-Address Code
Loading...
Loading more...
« Page 5
•
Page 7 »
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