๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”— Dependent Types

Proof Assistants, Theorem Proving, Coq, Idris

Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.comยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธLanguage Design
Bad Map Projection: Interrupted Spheres
xkcd.comยท2d
๐Ÿฆ€Rust
Container Use for Locally Sandboxed, Background Agents in Zed
zed.devยท2dยท
Discuss: Hacker News
โฑ๏ธTokio
Can small AI models think as well as large ones?
seangoedecke.comยท5dยท
Discuss: Hacker News
๐Ÿค–AI
Kite Incident
xkcd.comยท4d
๐Ÿ”Static Analysis
AboutBlogChangelogRoadmap