➕ Sum Types - emschwartz · Scour

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

arxiv.org·19h

🧮SMT Solvers

A Black Box Made Less Opaque (part 2)

lesswrong.com·19h

🔤Tokenization

Pascal-J/type-system-j: adds an optional type system to J language

github.com·1d·

Discuss: Lobsters

A Quick Introduction to OxCaml

noelwelsh.com·12h·

Discuss: Hacker News

💻Programming languages

lib.rs·3h

Find the Parity of the Sum of floor(n/k) from k=1 to n

raw.org·2d

🔢Algebraic Data Types

Ysgrifennu Côd yn Gymraeg (Writing Code in Welsh)

hackaday.com·1d

🔤Tokenization

webgpufundamentals.org·15h

The Missing Programming Language - Why There's No S-Tier Language (Yet)

hamy.xyz·1d

💻Programming languages

Formally Verifying PBS Kids with Lean4

shadaj.me·2d·

Discuss: Hacker News

💻Programming languages

[2104.14516] Constructions in combinatorics via neural networks

arxiv.org·2h

📊Vector Databases

Taming the Flat AST: Ergonomics in the Age of Zero Allocations

modern-c.blogspot.com·1d·

Discuss: Lobsters, Hacker News, r/golang

📏Linear Types

nilpunch/massive-ecs: Bitset-based ECS with rollbacks. C# library and Unity package.

github.com·21h

en.wikipedia.org·2d·

Discuss: Lobsters

Build smarter color systems with relative colors [Kevin Powell, link directly to okLCH]

youtu.be·21h

🔤Font Rendering

Optimizing SQL CASE Expression Evaluation

datafusion.apache.org·3d

skilldrick.github.io·1d

🌳Trie Structures

How Computers Work: Explained from First Principles

sushantdhiman.substack.com·2d·

Discuss: r/compsci, r/programming

🖥️Hardware Architecture

Logic for Programmers [Leanpub PDF/iPad/Kindle]

leanpub.com·1d

💻Programming languages

Millets: A practical memory-safety and thread-safety experiment

eagledot.xyz·1d·

Discuss: Lobsters, Hacker News

📏Linear Types

Loading more...