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, Hypothesis, Generative Testing, Invariant Checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81263
posts in
1.38
s
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
1d
🪜
Recursive Descent
Surprisal-Guided
Selection: Compute-Optimal Test-Time Strategies for
Execution-Grounded
Code Generation
arxiv.org
·
16h
📅
Instruction Scheduling
Everything is not perfect
aleksei.dev
·
1d
🛡️
Error Boundaries
Fundamentals
of Data
Visualization
clauswilke.com
·
2d
🔥
Flamegraphs
Dirk
Eddelbuettel
:
chronometre
: A new package (pair) demo for R and Python
dirk.eddelbuettel.com
·
2d
🚀
PyPy JIT
Looking at
binary
trees
in C++
meetingcpp.com
·
2d
🤐
Zipper Structures
Oatmeal
-
Constraint
propagation for fun
eli.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
🧩
Constraint Solvers
Proving Immediate Mode
GUIs
are
Performant
forrestthewoods.com
·
2d
📈
Performance Tools
How do
robots
dream
?
dev.to
·
34m
·
Discuss:
DEV
🏰
Capability Machines
Show HN:
Molinar
– Open-source alternative to ai.com (
AGPL-3.0
)
business.molinar.ai
·
1d
·
Discuss:
Hacker News
🔄
Incremental Parsers
How I Built My Project in
Haskell
dev.to
·
2d
·
Discuss:
DEV
🌱
Minimal Languages
Software design is now
cheap
dottedmag.net
·
2d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
💬
Interactive REPLs
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
2d
·
Discuss:
r/golang
🐹
Go Internals
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
1d
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Using AI for Code
Reviews
: What Works, What Doesn’t, and Why
entelligence.ai
·
2d
·
Discuss:
Hacker News
🚚
Code Migration
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🗺️
Region Inference
RAG
vs. Fine-Tuning: Why Your LLM Strategy is Probably
Half-Baked
pub.towardsai.net
·
1d
🎮
Language Ergonomics
sebringj/autonomo
:
Autonomo
enables AI coding assistants to observe app state, drive multiple devices simultaneously, and validate cross-device interactions — all in one iterative development loop.
github.com
·
23h
·
Discuss:
Hacker News
🌉
Cross-Platform FFI
Safe
Labels
in C++
artima.com
·
2d
🏷️
Symbol Mangling
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