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

GoLang Generics: Practical Examples to Level Up Your Code
dev.to·10h·
Discuss: DEV
💧Liquid Types
Built With Borrowed Hands
cra.mr·3h·
Discuss: Hacker News
⚡Proof Automation
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·2d
⬆️Lambda Lifting
PHP compile time generics: yay or nay?
thephp.foundation·16h·
Discuss: Hacker News
🔗Dependently Typed
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·2d
🔗Functional Compilers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·4d·
Discuss: Hacker News
💧Liquid Types
Jepsen: Capela dda5892
jepsen.io·13h·
Discuss: Lobsters, Hacker News
📊APL Heritage
Spritely Goblins v0.16.0 released!
spritely.institute·17h
🔒Linear Types
How To Solve Every Programming Problem
blog.codeminer42.com·1d
📐Interval Arithmetic
GoLang 101: Understanding Polymorphism Through Interfaces
dev.to·12h·
Discuss: DEV
🔤Type Theory
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·1d
📊Static Analysis
React + Typescript + Gemini: A pretty great combo
markjgsmith.com·15h
🎯Gradual Typing
Do you think they will ever add sum types/tagged unions?
reddit.com·7h·
Discuss: r/golang
💧Liquid Types
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🌳Persistent Data Structures
libsemigroups: C++ library for semigroups and monoids
github.com·2d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
LSP-mode Versus Eglot
irreal.org·6h
⚙️PL Implementation
The joy of building a bytecode VM from scratch
vivekn.dev·21h·
Discuss: Hacker News, Hacker News
🔩Systems Programming
Show HN: Kubernetes Operator for Neon Postgres
molnett.com·18h·
Discuss: Hacker News
📦METS Containers
original ↗
wingolog.org·1d·
Discuss: Hacker News
🔩Systems Programming
JavaScript Standards Update: What’s New in ECMAScript 2025
thenewstack.io·8h
🌐Web Standards
Loading...Loading more...
AboutBlogChangelogRoadmap