🔤 Type Systems - jinkai_lau · Scour

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔍Static Analysis

arxiv.org·2d

The 6 Big Ideas of Typescript λFunctional Programming

sitr.us·18h·r/programming

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

github.com·4d·Lobsters, Hacker News

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

soppolang.dev·1h·Hacker News

Helper–exploiter polymorphism with ecological inheritance λFunctional Programming

pnas.org·2d

Netflix adds three Jackbox games to its TV app ☸️Kubernetes

engadget.com·17h

I Accidentally Reinvented Kernel (Programming Language) λFunctional Programming

fayash.me·5d·Hacker News

A New Jersey Teen Finds Treasure, and More, in Abandoned Storage Units 💾SQLite

longreads.com·1d

🛠️ Sky — an Elm-inspired language that compiles to Go 🗣️New Languages

lmika.org·3d

[Testing Update] 2026-04-07 - GNOME 50, Plasma 6.6.4, Firefox, Haskell 🌐Open Source

forum.manjaro.org·2d

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

3quarksdaily.com·1d

Dynamic Languages Faster and Cheaper in 13-Language Claude Code Benchmark 🧠LLMs

infoq.com·4d

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

kottke.org·2d

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 💾SQLite

boingboing.net·1d

Opinion | Asia’s flood of cheap Ozempic generics opens gates to weight-loss abuse 🔒Zero Trust

scmp.com

·1d·r/SCMPauto

In His Latest Book, David George Haskell Shows How Flowers Made Our World ✍️Prompt Engineering

atmos.earth·4d

London’s CapVest officially becomes the new owner of Hemofarm 🔒Zero Trust

serbianmonitor.com·1d

Regional transportation carbon emission prediction and decarbonization pathway analysis based on LASSO-BWO-ELM hybrid heuristic algorithm 🤖AI Engineering

sciencedirect.com·6d

FDA Approves First Generic Dapagliflozin Tablets ✅Formal Verification

fda.gov·2d

Loading more...