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
🗺️ Region Inference
Memory Safety, Lifetime Analysis, MLKit, Region Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80048
posts in
425.4
ms
The
Geometry
of
Representational
Failures in Vision Language Models
arxiv.org
·
6h
🪜
Recursive Descent
POP: Online Structural
Pruning
Enables
Efficient Inference of Large Foundation Models
arxiv.org
·
1d
🪜
Recursive Descent
How to connect
Convex
to
RunPod
for serverless GPU workloads
stack.convex.dev
·
12h
🔍
Lens Libraries
OpenBSD
libexpat
errata
patches released for 7.7 and 7.8
discoverbsd.com
·
16h
🛡️
Capability VMs
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
17h
·
Discuss:
Hacker News
🎮
Language Ergonomics
ByteDance
Seed
seed.bytedance.com
·
1d
🗺️
Region Polymorphism
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
9h
·
Discuss:
Hacker News
🎲
Test Generators
Inside
Mesa
26.0's
RADV
RT improvements
pixelcluster.github.io
·
12h
·
Discuss:
Hacker News
,
r/linux_gaming
⚡
Interpreter Optimization
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
11h
📋
Tablegen
Running my
kernel
on real
hardware
kamkow1lair.pl
·
17h
·
Discuss:
Hacker News
🎯
CPU Dispatch
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
16h
📜
Proof Languages
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
17h
·
Discuss:
Hacker News
🎨
Domain-Specific Languages
Learning by
hand
is better than learning by AI
blog.engora.com
·
16h
·
Discuss:
Hacker News
🎓
Teaching Compilers
Using AI to
write
a
transpiler
dev.to
·
11h
·
Discuss:
DEV
🎭
Program Synthesis
Vector
Databases
Explained: Architecture and System Design for AI Apps
dev.to
·
1d
·
Discuss:
DEV
🔍
Query Engines
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
19h
·
Discuss:
Hacker News
🎭
Program Synthesis
Performance
Tip
of the Week #90: How to
estimate
abseil.io
·
2d
🚀
Code Motion
I run local LLMs daily, but I'll never trust them for these
tasks
xda-developers.com
·
3d
🏰
Capability Machines
From
Chunks
to
Connections
: The Case for Graph RAG
pub.towardsai.net
·
1d
🌲
Deforestation
A
GTM
guide to AI models
revengine.substack.com
·
2d
·
Discuss:
Substack
🏷️
Attribute Grammars
Loading...
Loading more...
« Page 8
•
Page 10 »
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