🐿️ 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

higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·16h·
Discuss: DEV
🧬Functional Programming
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·8h·
Discuss: Hacker News
🔗Functional Compilers
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Experiment proposal: In-place initialization
github.com·6h
🦀Rust Macros
Typst Examples Book
sitandr.github.io·2d
📝Concrete Syntax
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Discover C++26’s compile-time reflection
lemire.me·19h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🦀Rust Macros
TypeScript: checking Map keys and Array indices
2ality.com·1d
🔤Type Theory
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·42m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Memory Safety in Web Rust System Zero Cost Secure(1750594760521200)
dev.to·9h·
Discuss: DEV
🦀Rust Borrowing
I wrote my PhD Thesis in Typst
fransskarman.com·28m·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·5d
🔓Decompilation
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
To Bind and Loose a Reference
thephd.dev·22h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Creating Domain Types for Safer Code
dev.to·2h·
Discuss: DEV
🔒Linear Types
Memory Safety in Web Rust System Zero Cost Secure(1750570224424500)
dev.to·16h·
Discuss: DEV
🦀Rust Borrowing
Loading...Loading more...
AboutBlogChangelogRoadmap