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
🔍 Type Checkers
mypy, Pyright, Static Analysis, Type Hints, Ruff
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112627
posts in
1.13
s
Proof-oriented
Programming in F*
fstar-lang.org
·
2d
·
Discuss:
Lobsters
🔬
Static Analysis
CryptoAnalystBench
:
Failures
in Multi-Tool Long-Form LLM Analysis
arxiv.org
·
1d
⏱️
Benchmarking
Txtbrd
txtbrd.com
·
10h
·
Discuss:
Hacker News
🐕
Ruff
Your
Fastly
VCL
deserves an IDE: bringing full
VCL
language support to Visual Studio Code
fastly.com
·
2d
📝
Code Editors
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
1d
·
Discuss:
Lobsters
🐕
Ruff
Show HN: AI-Powered Web Automation APIs (
Screenshot
,
Scrape
, SEO, PDF)
gmj00or0zlx1.share.zrok.io
·
12h
·
Discuss:
Hacker News
🤖
AI Coding Tools
Code
Snippet
Organizers
trendhunter.com
·
12h
🐕
Ruff
Show HN:
Lodum
, a Python
Serializer/Deserializer
(a.k.a. Load/Dump) Library
github.com
·
1d
·
Discuss:
Hacker News
📜
TorchScript
[]
enum
(
u8
){_} as string type
ziggit.dev
·
2d
🔬
Static Analysis
Beyond
SAST
: Using Gemini to
Orchestrate
Semantic Source Reviews.
ciex-software.com
·
1d
·
Discuss:
Hacker News
🐕
Ruff
I used a local LLM to
analyze
my journal
entries
ankursethi.com
·
15h
·
Discuss:
Lobsters
🐕
Ruff
The missing
call-assign
operator
kevincox.ca
·
15h
·
Discuss:
Hacker News
🚀
Compiler Optimization
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
📜
TorchScript
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
3d
🔬
Static Analysis
Better Python tests with
inline-snapshot
pydantic.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/opensource
🐕
Ruff
OpenClaw
After the Hype: A Real-World Test of a “
Do-Anything
” AI Assistant
hackernoon.com
·
1d
🤖
AI Coding Tools
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2d
·
Discuss:
Lobsters
🚀
Compiler Optimization
Building AI-Powered
Observability
with
Heroku
Managed Inference and Agents
heroku.com
·
12h
⚡
ONNX Runtime
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
1d
🤖
AI Coding Tools
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
2d
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
🐕
Ruff
Sign up or log in to see more results
Sign Up
Login
« Page 2
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