🧩 Types - emschwartz · Scour

An Honest Review of Go

benraz.dev·5h·

Discuss: Hacker News

[2601.03985] Boardman-Vogt tensor product, wreath product, operadic categories

arxiv.org·9h

🔢Algebraic Data Types

Ontology and Information Systems - Encyclopedia of Philosophy

plato.stanford.edu·20h·

Discuss: Hacker News

🎨Design Tokens

K, M, G, T vs. Ki, Mi, Gi, Ti

paul.af·5h

🔢Algebraic Data Types

Chronology as a Consistency Invariant in Composable Information Systems

arxiv.org·15h

🔄Incremental Computation

klages.bearblog.dev·2h

🏛️Politics

How to Type Hint a Decorator in Python

pythonpapers.com·1d

Model Analysis - Features

source.opennews.org·4h

🔤Font Rendering

Design duality and the expression problem (2018)

tedinski.com·5d·

Discuss: Hacker News

💻Programming languages

Communication accommodation theory

en.wikipedia.org·1d

ℹ️Information Theory

Fast Scalable and Accurate Discovery of DAGs Using the Best Order Score Search and Grow-Shrink Trees

pmc.ncbi.nlm.nih.gov·1h

Signals vs Query-Based Compilers

marvinh.dev·46m

⚙Rust Compiler Internals

Type Invocations

chuggid.bearblog.dev·5d

💻Programming languages

Are Tuples Structs?

ziggit.dev·2d

📏Linear Types

Dabblers And Blowhards (Idle Words)

idlewords.com·10h

🔗Webmentions

The Haskell Debugger for GHC 9.14

discourse.haskell.org·1d·

Discuss: Lobsters, Hacker News

🔒Borrow Checker

MIND: From Passive Mimicry to Active Reasoning through Capability-Aware Multi-Perspective CoT Distillation

arxiv.org·15h

Brilliance: A Datacenter of Geniuses

brilliance-31e.pages.dev·1d

Solving a snaky math problem with Mathematica

leancrew.com·1d·

Discuss: Hacker News

🔢Algebraic Data Types

A New Bridge Links the Strange Math of Infinity to Computer Science

wired.com·4d

💻Programming languages

Loading more...