📐 Quotient Types - abnv · Scour

Nahid Islam and the uneasy alliance that could shape Bangladesh’s vote

aljazeera.com·1m

🧱WASM Components

Are Wall Street Analysts Predicting Hershey Stock Will Climb or Sink?

finance.yahoo.com·5m

🔍Fuzzy Indexing

On convexity and efficiency in semantic systems

arxiv.org·1d

∀Quantified Types

Spotlight China Why Xi Jinping's upheaval within the Chinese military is just the beginning

intelligenceonline.com

·16m

🌸Bloom Indexing

Power banks, body warmers, and antifreeze: Ukrainian troops tell us how they survive deep winter out in the trenches

businessinsider.com

·13m

🎒Packrat Parsing

You can now pay rent with ‘buy now, pay later’ — but experts warn that it could send you down a 'death spiral' of debt

finance.yahoo.com·5m

🔒Rust Borrowing

[2602.07604] Free fibrations, lax colimits and Kan extensions for $(infty,2)$-categories

arxiv.org·15h

🔗Category Theory

Tech bull Dan Ives says Wall Street's software skepticism is 'the most disconnected call that I've ever seen'

businessinsider.com

·14m

🛡️Error Ergonomics

Build a Compiler in Five Projects

kmicinski.com·3d

🎭Racket Modules

S - Glossary (Python)

dev.to·3d·

Discuss: DEV

📋S-Expression

Stocking Stuffers

yamlscript.org·4d

🔗Lexical Scoping

AI Is the Elephant in the Newsroom. How Are Journalists Reacting?

thetyee.ca·8s

Minimum virtual dataset for reproducible triploid de novo genome assembly

nature.com·3d

🗺️Region Polymorphism

tmilovan/composite-machine: Composite Machine: Automatic Calculus via Dimensional Arithmetic

github.com·1d·

Discuss: Hacker News

🔢Algebraic Datatypes

Categorical systems theory

danmackinlay.name·6d

🔗Category Theory

Cooperative Visitor: A Template Technique for Visitor Creation

artima.com·3d

📋Template Compilers

gt.geometric topology - Intuitive crutches for higher dimensional thinking

mathoverflow.net·3d

🔗Category Theory

The Monad Called Free

news.ycombinator.com·4d·

Discuss: Hacker News

🔗Parser Combinators

Where the Funcs Have No Name

yamlscript.org·4d

📦Closure Conversion

Tip of the Week #131: Special Member Functions and `= default`

abseil.io·3d

🪆Embedded DSLs

Loading more...