🔤 Type Systems - plumenator · Scour

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

arxiv.org·2d

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

Algebraic Data Types in TS: Indestructible Payment Flows λFunctional Programming

campa.dev·1h·DEV

Quiz: Exploring Protocols in Python 📐PLT

realpython.com·7h

The 6 Big Ideas of Typescript λFunctional Programming

sitr.us·1d·r/programming

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

soppolang.dev·9h·Hacker News

I Accidentally Reinvented Kernel (Programming Language) 🦥Haskell

fayash.me·5d·Hacker News

Helper–exploiter polymorphism with ecological inheritance 🧮Lean

pnas.org·2d

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·4h

FuriosaAI establishes European flagship office in Portugal ✅Proof Assistants

furiosa.ai·1h

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

Elm Springs wind farm scammer appeals denial of early release from federal pen 🦀Rust

arkansasonline.com

·1h

Border library builds new Canadian entrance after restrictions 🔤Linguistics

kite.kagi.com·20h

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

Elon Musk wants any damages from his OpenAI lawsuit given to the AI company's nonprofit arm 🌀Idris

engadget.com·2d

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

adambien.blog·3d

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

news.yale.edu·1d

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

arxiv.org·15h

Loading more...