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
✅ Property Testing
QuickCheck, Generative Testing, Haskell, Test Cases
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74700
posts in
752.4
ms
Towards
Understanding What State Space Models Learn About Code
arxiv.org
·
15h
·
Discuss:
Hacker News
🔄
Memory Ordering
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
3d
🦀
Rust
*Minor
spelling
mistake* in Opus 4.6
VSCode
extension system prompt
pastebin.com
·
2d
·
Discuss:
r/ClaudeAI
💻
CLI Tools
StatLLM
: A Dataset for Evaluating the Performance of Large Language Models in
Statistical
Analysis
nature.com
·
3d
🌳
Tree-sitter
[Dev Weekly #97]
Astro
is 39% More Loved Than Next.js, Claude 4.6 + GPT-5.3
Codex
Just Dropped, and more
blog.codeminer42.com
·
3d
⚙️
SWC
I Built a 13-Agent AI System That
Reviews
Its Own
Decisions
. Here's the Architecture.
dev.to
·
6h
·
Discuss:
DEV
🛡️
AI Security
Stop Silent Failures: Using LLMs to
Validate
Web
Scraper
Output
dev.to
·
14h
·
Discuss:
DEV
📡
SonarQube
Does "AI-Ready Data"
simply
mean "Good Data
Modeling
"?
motherduck.com
·
3d
💰
TigerBeetle
Hello Edge: Keyword
Spotting
on
Microcontrollers
paperium.net
·
2d
·
Discuss:
DEV
📱
Edge AI
stdlib
v7.2
erlang.org
·
3d
·
Discuss:
Hacker News
🛷
Sled
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔓
Binary Exploitation
Landlord
: a
tenancy
controller and experiment in AI driven product building
leebriggs.co.uk
·
3d
·
Discuss:
Hacker News
🏠
Self-hosting
SalesforceAIResearch/promptomatix
: An Automatic Prompt Optimization Framework for Large Language Models
github.com
·
3d
💬
Prompt Engineering
Profiling
Swift Applications on Windows and macOS with
Tracy
compositorapp.com
·
2d
·
Discuss:
Hacker News
🧊
Iced
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
3d
·
Discuss:
Hacker News
🔨
Compiler Design
I built a Python
LSP
in Go!
reddit.com
·
1d
·
Discuss:
r/golang
⚡
FastAPI
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
3d
·
Discuss:
r/golang
🔍
Linux BPF
What I
wish
I
knew
before building a vibe coding platform
imagine.dev
·
3d
·
Discuss:
Hacker News
📝
Poem
Issues with AI:
Toxic
Dependencies
blog.mathieui.net
·
3d
·
Discuss:
Hacker News
💬
Prompt Engineering
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧮
SMT Solvers
Loading...
Loading more...
« Page 10
•
Page 12 »
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