🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔗 Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

My A-Z toolbox: dcfldd
rubenerd.com·17h
📋DFDL
Announcing Blackacre Labs
writing.kemitchell.com·12h
📡RSS Automation
Knuth’s Twindragon
johndcook.com·5h
📐Mathematical Art
Micropycelium - prototype routable mesh network for ESP32
hackster.io·1d
🕸️Mesh Networking
Permacomputing
inkdroid.org·13h
🧲Magnetic Philosophy
Codeminer42 Dev Weekly #75
blog.codeminer42.com·1d
📏Code Metrics
RTL generation for custom CPU Mrav
popovicu.com·5m
⚙️Modern Assembly
Sapir-Whorf does not apply to Programming Languages
buttondown.com·2d·
Discuss: Hacker News
💻Programming languages
Fox pairing
ncatlab.org·5h
🔱Galois Theory
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·1d·
Discuss: Hacker News
⚡Dependent Rust
Building your first MCP server: How to extend AI tools with custom capabilities
github.blog·1d
⚔️Lean Tactics
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·5d
🔗Parser Combinators
Constructor Best Practices in Rust
blog.cuongle.dev·4d·
Discuss: Hacker News
🔒Type Safety
Qimem: Open-Source Rust Crypto Toolkit. Help Us Build It
github.com·5h·
Discuss: Hacker News
🦀Rust Macros
3D Layered Text: Interactivity and Dynamism
css-tricks.com·1d
📟Terminal Physics
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·20h·
Discuss: Hacker News
🕸️Neo4j
Writing Speed-of-Light Flash Attention for 5090 in CUDA C++
gau-nernst.github.io·5h·
Discuss: Hacker News
🖥️Terminal Renaissance
WeakC4, or Distilling an Emergent Object
2swap.github.io·17h·
Discuss: Hacker News
🔲Cellular Automata
Make LLMs supportive, not sycophantic
chrisbarber.co·2h·
Discuss: Hacker News
🎯Gradual Typing
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
Loading...Loading more...
AboutBlogChangelogRoadmap