Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
26031
posts in
20.2
ms
The Cost of
Indirection
in Rust
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
⚙
Rust Compiler Internals
What Will Future
Programming
Languages
Look Like?
jackwsmth.com
·
3d
🪄
Prompt Engineering
What's Python __future__?
dpbmdev.com
·
17h
·
Discuss:
Hacker News
🌊
Async Patterns
trekhleb/javascript-algorithms
: 📝 Algorithms and data structures implemented in JavaScript with explanations and links to further
readings
github.com
·
8h
🌳
Trie Structures
Dimensional Type Systems and
Deterministic
Memory Management: Design-Time Semantic Preservation in Native
Compilation
arxiv.org
·
3d
📏
Linear Types
JavaScript
for Everyone:
Destructuring
css-tricks.com
·
1d
📘
Typescript
Equality
in Dependent Type
Theories
nadrieril.github.io
·
1d
🧩
Types
Making our own
String
type
in Rust
artificialworlds.net
·
19h
⚙
Rust Compiler Internals
Data is Code (2016)
haskellforall.com
·
2d
·
Discuss:
Lobsters
📏
Linear Types
Which
Programming
Language Should You Use with Claude Code?
medium.huizhou92.com
·
3h
💻
Claude Code
Can LLMs Reason Like Automated Theorem
Provers
for Rust Verification?
VCoT-Bench
: Evaluating via Verification Chain of Thought
arxiv.org
·
1d
📐
TLA+
leostera/agents
: a rust toolkit for building, running, and evaluating type-safe,
composable
agents
github.com
·
16h
·
Discuss:
Hacker News
💻
Coding Agents
Infinite
Lists in
Lean
unnamed.website
·
5h
🔥
BurntSushi
The "Billion Dollar
Mistake
"
Lives
On In Rust
joel.place
·
10h
·
Discuss:
r/rust
⚙
Rust Compiler Internals
A with-based
effect
notation
blog.yoshuawuyts.com
·
1d
⚙
Rust Compiler Internals
Design Patterns with Python
Examples
- Part 3 - The
Facade
Pattern in Python
jonaskemper.com
·
3d
🔌
API Design Theory
Cleaning
the
Slate
: The Radical Engineering Behind Python 3.0 - The Story of Python Series
techlife.blog
·
1d
·
Discuss:
Hacker News
⚙️
Language Runtimes
We replaced our
Rust/WASM
parser
with TypeScript and it got 3x faster
openui.com
·
11h
·
Discuss:
Hacker News
,
r/programming
,
r/rust
🔬
Rust Profiling
What we
heard
about Rust's challenges, and how we can
address
them
blog.rust-lang.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙
Rust Compiler Internals
Build a Simple Single-File Rust Web API
hamy.xyz
·
3d
⚙
Rust Compiler Internals
Loading...
Loading more...
Page 2 »
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