Feeds to Scour
SubscribedAll
Scoured 80035 posts in 725.9 ms
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·4d
🔒Rust Borrowing
SVRepair: Structured Visual Reasoning for Automated Program Repair
arxiv.org·1d
🩺Compiler Diagnostics
ByteDance Seed
seed.bytedance.com·1d
🗺️Region Polymorphism
A Very Good Guess
gregmorris.co.uk·14m
🌱Minimal ML
Automating Inference Optimizations with NVIDIA TensorRT LLM AutoDeploy
developer.nvidia.com·15h
🚂Cranelift IR
Better Python tests with inline-snapshot
pydantic.dev·12h·
Discuss: Lobsters, Hacker News
🚀PyPy JIT
Computer vision segmentation model—deep learning for categorizing microplastic debris
frontiersin.org·1h
🗺️Region Inference
Adding Myers Diff To Share Link Snapshots In Big Sexy Poems
bennadel.com·21h
📝Editor Buffers
Inside Mesa 26.0's RADV RT improvements
pixelcluster.github.io·11h·
Discuss: Hacker News, r/linux_gaming
⚡Interpreter Optimization
Cross compiling made easy, using Clang and LLVM
mcilloni.ovh·2d
🔗Language Toolchains
5 AI Coding Patterns That Actually Work (2026 Edition)
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
ValkDB/postgresparser: ANTLR-based PostgreSQL query parser for Go. Extracts tables, columns, joins, CTEs, parameters, DDL actions, and full column-usage metadata from SQL into a structured IR.
github.com·1d·
Discuss: Hacker News, r/devops, r/golang
🗃️Query Compilation
plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol
github.com·13h
👑Dependent Haskell
Data Modeling for the Agentic Era: Semantics, Speed, and Stewardship
rilldata.com·17h·
Discuss: Hacker News
📏Linear Logic
How I Built My Project in Haskell
dev.to·2d·
Discuss: DEV
🌱Minimal Languages
observation: the future of building software
hanspham.com·15h
🎮Language Ergonomics
Testing 80 LLMs on spatial reasoning on grids
mihai.page·1d·
Discuss: Hacker News
💬Interactive REPLs
The Future of Software Engineering
poberezkin.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Agentic Proof-Oriented Programming
risemsr.github.io·4d·
Discuss: Lobsters, Hacker News
πPi Calculus
Ai’s ‘steering’ Made Far More Precise With New Fine-Tuning Technique
quantumzeitgeist.com·30m
🪜Recursive Descent

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help