🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Verification Calculi

Refinement Types, SMT Integration, Program Logic, Type Safety

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...
AboutBlogChangelogRoadmap