🎭 Polymorphic Variants - abnv · Scour

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·17h·

Discuss: Hacker News

🪢Rope Data Structures

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·18h·

Discuss: Hacker News

🔒Rust Borrowing

Making a Language

thunderseethe.dev·11h

🔬programming language theory

Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types

arxiv.org·3d

🏗️Calculus of Constructions

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·22h

🏗️Cranelift

GNU C Language Manual

gnu.org·14h

🪄C Metaprogramming

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·15h·

Discuss: r/cpp

🦀MIR Optimization

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·3d·

Discuss: Hacker News

🗂️Type Indexing

Type-Safe Routing Without the Build Step

werkbank.dev·15h·

Discuss: Hacker News

⚙️TOML Parsers

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Template Method Design Pattern

denvaar.dev·1d

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Checked exceptions and lambdas

dev.to·1h·

Discuss: DEV

🛡️Error Handling

TypeScript levels up with type stripping

infoworld.com·1h

🌈Gradual Languages

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

Kolmogorov Complexity

en.wikipedia.org·22h·

Discuss: Hacker News

λLambda Calculus

Memory layout matters: Reducing metric storage overhead by 4x in a Rust TSDB

baarse.substack.com·18h·

Discuss: r/rust

📦Compact Data

Chromosome-level genome assembly of narrow-leaf bur-reed ( Sparganium angustifolium Michx., Typhaceae)

nature.com·18h

🌳Tree Diffing

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Loading more...