🔤 Type Systems - plumenator · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 📐PLT

arxiv.org·2d

The 6 Big Ideas of Typescript λFunctional Programming

sitr.us·23h·r/programming

anzellai/sky: Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output. 🦥Haskell

github.com·4d·Lobsters, Hacker News

Quiz: Exploring Protocols in Python 📐PLT

realpython.com·5h

Helper–exploiter polymorphism with ecological inheritance 🧮Lean

pnas.org·2d

Soppo language: Go, with the features it's missing λFunctional Programming

soppolang.dev·7h·Hacker News

I Accidentally Reinvented Kernel (Programming Language) 🦥Haskell

fayash.me·5d·Hacker News

FDA/Center for Research on Complex Generics (CRCG) Workshop on Bioequivalence Innovations for Generic Oral Products: Biowaivers, Bridging, and Development for O... 📐PLT

fda.gov·3h

[Testing Update] 2026-04-07 - GNOME 50, Plasma 6.6.4, Firefox, Haskell 🦀Rust

forum.manjaro.org·2d

Border library builds new Canadian entrance after restrictions 🔤Linguistics

kite.kagi.com·18h

Dynamic Languages Faster and Cheaper in 13-Language Claude Code Benchmark 🧮Lean

infoq.com·4d

How Grains and Grasses Fed (and Still Feed) Humankind 🔤Linguistics

3quarksdaily.com·2d

Netflix adds three Jackbox games to its TV app 📺TV Series

engadget.com·22h

A New Jersey Teen Finds Treasure, and More, in Abandoned Storage Units 🦀Rust

longreads.com·2d

🛠️ Sky — an Elm-inspired language that compiles to Go λFunctional Programming

lmika.org·3d

Awards celebrate those strengthening the bond between Yale and New Haven 🌍Third Culture Kids

news.yale.edu·1d

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast 🦥Haskell

adambien.blog·3d

NJ teen buys abandoned storage unit for $450, finds $50,000 in art inside 📈Investing

boingboing.net·1d

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets 🧮Lean

arxiv.org·13h

In His Latest Book, David George Haskell Shows How Flowers Made Our World 🔤Linguistics

atmos.earth·4d

Loading more...