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

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Python Fundamentals: LEGB rule
dev.to·17h·
Discuss: DEV
🎯Gradual Typing
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Reflection and open implementations (2006)
dcc.uchile.cl·21h·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Discover C++26’s compile-time reflection
lemire.me·10h·
Discuss: Hacker News
🦀Rust Macros
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·2d
🔗Functional Compilers
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·7h·
Discuss: DEV
🧬Functional Programming
Swift Sendable: Mastering Thread Safety in iOS Development
dev.to·2d·
Discuss: DEV
🔒Type Safety
Python Fundamentals: abstraction
dev.to·14h·
Discuss: DEV
💧Liquid Types
Memory Safety in Web Rust System Zero Cost Secure(1750570224424500)
dev.to·6h·
Discuss: DEV
🦀Rust Borrowing
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Python Fundamentals: any
dev.to·13h·
Discuss: DEV
💧Liquid Types
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·4d
🔓Decompilation
Python Fundamentals: anaconda
dev.to·13h·
Discuss: DEV
💧Liquid Types
To Bind and Loose a Reference
thephd.dev·12h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Python Fundamentals: __repr__
dev.to·15h·
Discuss: DEV
💧Liquid Types
Logic App Http Connector with Swagger + C# Function App
dev.to·36m·
Discuss: DEV
🔐CBOR
Python Fundamentals: all
dev.to·13h·
Discuss: DEV
💧Liquid Types
Program Synthesis is Interesting and Open
stephendiehl.com·11h·
Discuss: Hacker News
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap