📐 Type Systems - tomasvemola · Scour

The 6 Big Ideas of Typescript λFunctional Programming

sitr.us·16h·r/programming

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference λFunctional Programming

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. ⚡BEAM

github.com·4d·Lobsters, Hacker News

Helper–exploiter polymorphism with ecological inheritance λFunctional Programming

pnas.org·2d

Netflix adds three Jackbox games to its TV app ⚡BEAM

engadget.com·15h

I Accidentally Reinvented Kernel (Programming Language) λFunctional Programming

fayash.me·5d·Hacker News

[Testing Update] 2026-04-07 - GNOME 50, Plasma 6.6.4, Firefox, Haskell 💧Elixir

forum.manjaro.org·2d

Dynamic Languages Faster and Cheaper in 13-Language Claude Code Benchmark ⚡BEAM

infoq.com·4d

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

longreads.com·1d

Teenager Michael Haskell “buys abandoned storage lockers at ... 🦀Rust

kottke.org·2d

🛠️ Sky — an Elm-inspired language that compiles to Go ⚡BEAM

lmika.org·3d

How Grains and Grasses Fed (and Still Feed) Humankind λFunctional Programming

3quarksdaily.com·1d

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

adambien.blog·3d

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

boingboing.net·1d

In His Latest Book, David George Haskell Shows How Flowers Made Our World λFunctional Programming

atmos.earth·4d

Opinion | Asia’s flood of cheap Ozempic generics opens gates to weight-loss abuse 💧Elixir

scmp.com

·1d·r/SCMPauto

London’s CapVest officially becomes the new owner of Hemofarm 🦀Rust

serbianmonitor.com·1d

Avinashvelu03/valicore: Blazing-fast, zero-dependency, TypeScript-first schema validation with deep type inference, async support, and a complete validator suite. 🔍Property Testing

github.com·6d·DEV

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets 🎮Deterministic Simulation

arxiv.org·6h

FDA Approves First Generic Dapagliflozin Tablets 💧Elixir

fda.gov·2d

Loading more...