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
🎯 Instruction Selection
Pattern Matching, Code Generation, DAG Rewriting, Peephole
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122607
posts in
662.7
ms
Analysis of systems with dependent components through a
variance-based
index and
regression
importance signature
sciencedirect.com
·
14m
📊
Code Metrics
vindarel
: 🖌️
Lisp
screenshots: today's Common
Lisp
applications in action
lisp-journey.gitlab.io
·
17h
🐍
lisp
Learn to Design Your Own
Boards
udemy.com
·
6h
💬
Error Message Design
Architecture
of
SQLite
sqlite.org
·
1d
·
Discuss:
Hacker News
💾
Minimal Databases
Backtracking
Algorithms
algos.khourani.com
·
2d
🪢
Rope Data Structures
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
7h
·
Discuss:
Hacker News
🧩
Constraint Solvers
Your AI Strategy Has a
Human-Shaped
Hole
superiortech.io
·
2h
·
Discuss:
Hacker News
🎭
Program Synthesis
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
19h
·
Discuss:
Hacker News
,
r/rust
✨
Gleam
Giving AI Agents Access to a
Compiled
Design and
Verification
Database
semiwiki.com
·
23m
🎭
Program Synthesis
Functional
Programming
in an LLM World
notes.druchan.com
·
1d
🔍
ML Language
We have
outgrown
the
Process
model
sidhion.com
·
3h
·
Discuss:
Hacker News
🎯
Ring Buffers
Building
DamN64
: LLM-Assisted
N64
Development
vieux.fr
·
21h
·
Discuss:
Hacker News
🏗️
LLVM
I ran Arch for a year before
realizing
I should have used
CachyOS
xda-developers.com
·
52m
🌱
Forth Kernels
Measure
Twice
, Prompt Once
ignasibosch.com
·
1d
·
Discuss:
DEV
🔬
Nanopasses
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
18h
·
Discuss:
Hacker News
📚
Self-Documenting Code
Redefining
Go
Functions
pboyd.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🐹
Minimal Go
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
8h
🧩
SAT Solvers
🛌 Beginner-Friendly Guide 'Longest Balanced
Substring
I' -
Leetcode
Problem 3713 (C++, Python, JavaScript)
dev.to
·
12h
·
Discuss:
DEV
🪢
Rope Algorithms
C-- Home
cs.tufts.edu
·
2d
·
Discuss:
Lobsters
🪄
C Metaprogramming
Software at the speed of AI
infoworld.com
·
1d
🎭
Program Synthesis
Loading...
Loading more...
« Page 4
•
Page 6 »
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