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
20289
posts in
418.8
ms
Theory-independent monitoring of the
decoherence
of a superconducting qubit with generalized
contextuality
nature.com
·
2d
🧩
Types
Intrinsic
Stability Limits of
Autoregressive
Reasoning: Structural Consequences for Long-Horizon Execution
arxiv.org
·
11h
🧠
LLM Inference
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
3d
⚙
Rust Compiler Internals
Claude Code and the Coming
Rupture
: Why AI-Powered Development Tools May Redefine the Software Engineering
Profession
webpronews.com
·
1d
🔧
Developer tools
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
2d
·
Discuss:
Hacker News
🧩
Types
Private Data Space Model
privatedata.space
·
4d
📏
Linear Types
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
1d
·
Discuss:
Hacker News
🖥️
Hardware Architecture
Dynamic Reports: Natural Language
Queries
with
On-the-Fly
Code Generation
angulararchitects.io
·
3d
⛰
Alpine.js
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
2d
·
Discuss:
Hacker News
🧵
Concurrency Models
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🔌
Claude Plugins
Performance
Tip
of the Week #79: Make at most one
tradeoff
at a time
abseil.io
·
1d
⚙️
Mechanical Sympathy
Week 1: Why did I start learning Rust?
vitaliihonchar.com
·
2d
·
Discuss:
r/programming
🦀
Rust
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
6d
·
Discuss:
Hacker News
✏️
Code Editors
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
5d
·
Discuss:
Hacker News
📏
Linear Types
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
5d
·
Discuss:
Lobsters
🔄
Serde
When Language Models Get Stuck: The Mechanics of
Repetition
Loops
pub.towardsai.net
·
2d
💾
Prompt Caching
These
Mathematicians
Are Trying to
Educate
A.I.
nytimes.com
·
2d
·
Discuss:
Hacker News
🧮
SMT Solvers
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
1d
·
Discuss:
Hacker News
🔌
Claude Plugins
Software design is now
cheap
dottedmag.net
·
1d
·
Discuss:
Hacker News
🎨
Design Tokens
Why are Neural Networks
architected
that way in the first place?
threads.championswimmer.in
·
1d
🔢
BitNet
Loading...
Loading more...
« Page 7
•
Page 9 »
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