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
74155
posts in
419.6
ms
LLM
Vibe
Coding or
Illiterate
Programming
slott56.github.io
·
4d
💬
Prompt Engineering
Does "AI-Ready Data"
simply
mean "Good Data
Modeling
"?
motherduck.com
·
3d
💰
TigerBeetle
Vibe Check:
Opus
4.6—The Best Coding Model We’ve Tested (With Some
Maddening
Habits)
every.to
·
4d
🌈
Nannou
Breaking Down
Barriers
: My Journey to Make Programming
Truly
Global
dev.to
·
2d
·
Discuss:
DEV
⚙️
JIT Compilation
Is OpenAI’s
GPT-5.3
Codex
Worth the Hype?
analyticsvidhya.com
·
2d
🎮
WebGPU
Modern
Trends
In
Floating-Point
semiengineering.com
·
4d
🛣️
Highway
stdlib
v7.2
erlang.org
·
2d
·
Discuss:
Hacker News
🛷
Sled
Wasure
: A Modular Toolkit for Comprehensive
WebAssembly
Benchmarking
arxiv.org
·
3d
🕸️
WebAssembly
Dynamic Reports: Natural Language
Queries
with
On-the-Fly
Code Generation
angulararchitects.io
·
3d
🏗️
Pavex
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🚀
MLOps
Logistic
Regression, Average Marginal Effects, and the Linear Probability Model - Part II:
Coefficients
and AMEs of nested models
elff.eu
·
2d
⚡
Polars Expression API
Automatic Classification of
Pedagogical
Materials against CS
Curriculum
Guidelines
arxiv.org
·
4d
🧮
Vector Databases
Literate
programming,
unTANGLEd
linestarve.com
·
6d
🪢
Rope Data Structure
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
2d
·
Discuss:
Hacker News
🧮
SMT Solvers
Don’t look Behind The
Curtains
!
rodyne.com
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
One Year of Using Go
rugu.dev
·
3d
·
Discuss:
Hacker News
🐹
golang
My
Current
AI Coding
Workflow
jonathannen.com
·
2d
🤖
Automation
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔄
Memory Disambiguation
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
1d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🦙
Ollama
Testing can be
fun
, actually
giacomocavalieri.me
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔍
Proptest
Loading...
Loading more...
« Page 12
•
Page 14 »
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