🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Python Fundamentals: LEGB rule
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Counting with Categories (Part 1)
golem.ph.utexas.edu·5h
λLambda Formalization
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Cactus Language • Syntax 10
inquiryintoinquiry.com·4h
📝Concrete Syntax
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
TypeScript: checking Map keys and Array indices
2ality.com·1d
🔤Type Theory
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·5d
🔓Decompilation
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Structured Output with LangChain and Llamafile
blog.brakmic.com·3h·
Discuss: Hacker News
💧Liquid Types
Program Synthesis is Interesting and Open
stephendiehl.com·19h·
Discuss: Hacker News
💻Programming languages
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·8h·
Discuss: Hacker News
🐛Fuzzing
What Is Wrong with Statement Coverage
bullseye.com·2h·
Discuss: Hacker News
🧪Property-Based Testing
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
Experiment proposal: In-place initialization
github.com·5h
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure(1750594760521200)
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing
The Probability of a Hash Collision
kevingal.com·17h·
Discuss: Hacker News
🔐Hash Functions
Loading...Loading more...
AboutBlogChangelogRoadmap