🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·16h·
Discuss: DEV
🧬Functional Programming
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·2d
🔗Functional Compilers
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·16m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
TypeScript: checking Map keys and Array indices
2ality.com·1d
🔤Type Theory
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
Creating Domain Types for Safer Code
dev.to·2h·
Discuss: DEV
🔒Linear Types
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·5d
🔓Decompilation
RAG Made Simple: Simplicity’s Approach to Modular Retrieval & Generation (Part 1)
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·8h·
Discuss: Hacker News
🐛Fuzzing
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Loading...Loading more...
AboutBlogChangelogRoadmap