๐Ÿฟ๏ธ 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

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
arxiv.orgยท6h
๐ŸŽฏPerformance Proofs
Monkeys, Typewriters, and Busy Beavers
lcamtuf.substack.comยท15hยท
Discuss: Substack
๐Ÿ“ผTape Combinators
๐Ÿ›ก๏ธ How to Build a Scalable QA Framework with Advanced TypeScript Patterns
dev.toยท14hยท
Discuss: DEV
๐ŸŽฏGradual Typing
Inequality Union Finds: Baby Steps to Refinement E-graphs
philipzucker.comยท2d
๐Ÿ”„Graph Rewriting
An Investment in Learning
slott56.github.ioยท1d
๐Ÿ’ปProgramming languages
TypeSanitizer: a detector for strict type aliasing violations
clang.llvm.orgยท22hยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงฎAlgebraic Datatypes
Optimal Addition Sequences for Integer Multiplication
jonot.meยท23h
๐Ÿ“Interval Arithmetic
Reachability in symmetric VASS
arxiv.orgยท6h
๐ŸŽฏPerformance Proofs
Introduction to Parser Combinators
blog.jcoglan.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Monadic Parsing
Command Controlled Rover
hackster.ioยท21h
โš™๏ธCassette Mechanics
Mixture of Experts Architecture in Transformer Models
machinelearningmastery.comยท7h
๐ŸงฎSMT Solvers
My history with Forth & stack machines
yosefk.comยท13h
๐Ÿฆ€Rust Macros
Making Rails delegated_typeโ€™s clearer
kaspth.comยท18hยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”คType Theory
Reliability for unreliable LLMs
stackoverflow.blogยท20h
๐Ÿ’ปLocal LLMs
Alternative Blanket Implementations for a Single Rust Trait
greyblake.comยท2hยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
Building Replication-Safe LSM Trees in Postgres
paradedb.comยท22hยท
Discuss: Lobsters
๐Ÿ—„๏ธPostgreSQL WAL
Vibe coding a Perl interface to a C library - Part 1
dev.toยท7hยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
arxiv.orgยท6h
๐ŸŽฏPerformance Proofs
Make C++ a better place #4: Go as an alternative
dev.toยท2hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
NativeJIT: A C++ expression โ€“> x64 JIT
github.comยท1dยท
Discuss: Hacker News
๐ŸญCompiler Backends
Loading...Loading more...
AboutBlogChangelogRoadmap