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
💻 Programming languages
programming language theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
20722
posts in
649.4
ms
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
3d
⚙
Rust Compiler Internals
Same Engine, Multiple Gears: Parallelizing
Fixpoint
Iteration at Different
Granularities
(Extended Version)
arxiv.org
·
23h
🧮
SMT Solvers
Words are
minimum-viable
coordination
tools
invertedpassion.com
·
5d
🔤
Tokenization
Python
everywhere
—but are we there yet?
infoworld.com
·
3d
⚙️
Language Runtimes
My Take on
Vibe
Coding
cedardb.com
·
6d
🔌
Claude Plugins
The
Worst
Instructions
You Can Give an AI Coding Agent
cline.ghost.io
·
4d
👨💻
AI Coding
Introducing
mjmx
: a custom
JSX
runtime for mjml
yieldcode.blog
·
3d
·
Discuss:
Hacker News
🧩
Web Components
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧠
LLM Inference
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
The Last of the
JavaScript
Frameworks
dbpro.app
·
4d
·
Discuss:
Hacker News
✏️
Code Editors
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonwillison.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🏗️
LLM Infrastructure
Teleportal
: A real-time
collaborative
editing framework
pckt.blog
·
3d
·
Discuss:
Hacker News
✏️
Yjs
Show HN:
Programming
Language for Music-
Aethra
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🎨
ChromaDB
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
🚀
Astral
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
📦
uv
Synthesizing
scientific
literature
with retrieval-augmented language models
nature.com
·
3d
🔄
LLM RAG Pipelines
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
5d
·
Discuss:
Hacker News
,
r/programming
🪄
Prompt Engineering
Secrets
of Intelligence Services - by Ben
Recht
argmin.net
·
3d
🛡️
AI Security
How Tools Turn into Agents: What Actually
Happens
at
Runtime
pub.towardsai.net
·
4d
🔧
Developer tools
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🛠️
Build Optimization
Loading...
Loading more...
« Page 15
•
Page 17 »
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