🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Verification Calculi
Refinement Types, SMT Integration, Program Logic, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.com
·
1d
·
Discuss:
Hacker News
🎯
Gradual Typing
Peeking Under the Hood of Cursor's API Calls
proxymock.io
·
21h
·
Discuss:
Hacker News
🔌
Archive APIs
[Media] I Have No Mut and I Must Borrow
reddit.com
·
1d
·
Discuss:
r/rust
🦀
Rust Borrowing
How SeatGeek eliminated flaky container builds with a custom Buildkit operator
chairnerd.seatgeek.com
·
1d
·
Discuss:
Hacker News
📦
Container Security
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.io
·
58m
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com
·
3d
🔗
Concatenative Programming
Fearless Programming with Rust
infoq.com
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Sapir-Whorf does not apply to Programming Languages
buttondown.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
FFmpeg 8.0 Released
ffmpeg.org
·
10h
·
Discuss:
Hacker News
🎬
AV1 Encoding
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com
·
1d
·
Discuss:
Hacker News
🗄️
Database Internals
AI Agents Need Data Integrity
schneier.com
·
1d
·
Discuss:
www.schneier.com
🛡️
Preservation Proofs
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com
·
2d
·
Discuss:
Hacker News
,
r/programming
⚡
Performance Mythology
Using Derive_more for Errors in Rust
quamserena.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io
·
10h
·
Discuss:
Hacker News
📼
Tape Combinators
Can AI weaponize new CVEs in under 15 minutes?
valmarelox.substack.com
·
1d
·
Discuss:
Substack
🧪
Protocol Fuzzing
Beyond Bézier
beyondbezier.ch
·
4h
·
Discuss:
Hacker News
📖
Nordic Typography
What it took to make a multi-agent trading simulation durable and observable
union.ai
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
It's okay to solve a problem twice
til.andrew-quinn.me
·
5h
·
Discuss:
Hacker News
⚡
Proof Automation
The Supply Chain Paradox: When “Hardened” Images Become a Vendor Lock-in Trap
docker.com
·
3d
🔒
Secure Boot
Contrasting Data and Objects (2018)
tedinski.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Loading...
Loading more...
« Page 2
•
Page 4 »