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
📏 Linear Types
Resource Management, Type Theory, Memory Safety, Rust Ownership
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2676
posts in
63.7
ms
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
2d
·
Discuss:
Hacker News
🛡️
Odin
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧩
Constraint Solving
The Rise of
Spec
Driven Development
dbreunig.com
·
2d
·
Discuss:
Hacker News
🛠️
Developer Experience
Automatic
Programming
Returns
cyber-omelette.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
💻
Programming languages
Flavours
of
Reflection
semantics.bernardteo.me
·
6d
·
Discuss:
Lobsters
,
r/cpp
💻
Programming languages
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
💻
Programming languages
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
5d
·
Discuss:
Lobsters
💻
Programming languages
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
How I Program with LLMs
blog.wesleyabbey.io
·
4d
·
Discuss:
Hacker News
💻
Programming languages
Breaking Down
CVE-2026-25049
: How TypeScript Types Failed
N8n
's Security
hetmehta.com
·
4d
·
Discuss:
Hacker News
🔷
Typescript
Redis/Valkey
Replication
Internals
: The Architecture Behind Zero-Copy Command Propagation
frostzt.com
·
4d
·
Discuss:
Hacker News
,
r/programming
🔄
Async Rust
One Year of Using Go
rugu.dev
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Training language models on
TPUs
shouldn't be
scary
dogac.dev
·
3d
·
Discuss:
Hacker News
⚡
SIMD
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
3d
·
Discuss:
Hacker News
⚡
SIMD Optimization
How not to program in
Dyalog
APL
toolofthought.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming languages
CIPS
Stack – 5 memory systems that give your AI agents
persistent
memory
cipscorps.io
·
4d
·
Discuss:
Hacker News
🛡️
Odin
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
6d
·
Discuss:
Hacker News
💻
Programming languages
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
4d
·
Discuss:
Hacker News
,
r/programming
💻
Programming languages
Open
Claw
=
Pasta
Maker
thoughtmerchants.com
·
3d
·
Discuss:
Hacker News
🛡️
Odin
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
6d
·
Discuss:
Hacker News
📐
Formal Methods
Loading...
Loading more...
« Page 6
•
Page 8 »
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