🔢 const Generics - hello · Scour

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

thume.ca·2d·

Discuss: Hacker News

📐Type Theory

Making generic method for getter and setter

reddit.com·20h·

Discuss: r/golang

Rust async combinators for elegant and secure concurrency

kerkour.com·16h·

Discuss: r/rust

A Deep Dive into TypeScript Type Assertions: From Basics to Advanced Patterns

typescriptworld.com·2d·

Discuss: DEV

Turing meets Moore-Penrose: Computing the Pseudoinverse on Turing Machines

arxiv.org·17h

🧮SMT Solvers

Dealing with alternatives

jemarch.net·1d

🏷️Pointer Tagging

ImmutableList vs. List in Jetpack Compose: Rethinking “Best Practice” After Strong Skipping Mode

dev.to·8h·

Discuss: DEV

🔁eBPF Tail Calls

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·10h

🦀Rust Macros

Workarounds for C11 _Generic

chiark.greenend.org.uk·3d

GNU C Language Manual

gnu.org·3h

🔨Compiler Design

Type-Safe Routing Without the Build Step

werkbank.dev·4h·

Discuss: Hacker News

Subterms Modulo Theories I

philipzucker.com·2d

🔍Type Inference

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

docs.rs·6h·

Discuss: Hacker News

⚠️Rust Unsafe

Kolmogorov Complexity

en.wikipedia.org·10h·

Discuss: Hacker News

🗜️Huffman Coding

Stop Overusing Interfaces (2017)

blog.hovland.xyz·7h·

Discuss: Hacker News

C++26 Reflection 💚 QRangeModel

qt.io·2d·

Discuss: Lobsters, Hacker News, r/cpp

🦀Rust Macros

Alexis King’s Blog

lexi-lambda.github.io·2d

📐Type Theory

Debounce in Swift: Ditch Combine for This One Simple Loop

github.com·1d·

Discuss: DEV

🔄Transducers

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

arxiv.org·2d

👻Phantom Types

Making an LSP for great good

thunderseethe.dev·22h·

Discuss: Lobsters, Hacker News

Loading more...