🔷 Type Systems - krks.gbr · Scour

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

arxiv.org·2d

The 6 Big Ideas of Typescript λFunctional Programming

sitr.us·16h·r/programming

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

lmika.org·3d

Helper–exploiter polymorphism with ecological inheritance λFunctional Programming

pnas.org·2d

Netflix adds three Jackbox games to its TV app 🟠Hacker News

engadget.com·15h

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

github.com·4d·Lobsters, Hacker News

[Testing Update] 2026-04-07 - GNOME 50, Plasma 6.6.4, Firefox, Haskell 🟠Hacker News

forum.manjaro.org·2d

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 🚀Bootstrapping

longreads.com·1d

Teenager Michael Haskell “buys abandoned storage lockers at ... 🚀Bootstrapping

kottke.org·2d

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

infoq.com·4d

How Grains and Grasses Fed (and Still Feed) Humankind 🤖AI

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 🚀Bootstrapping

boingboing.net·1d

Regional transportation carbon emission prediction and decarbonization pathway analysis based on LASSO-BWO-ELM hybrid heuristic algorithm 💬LLMs

sciencedirect.com·6d

Opinion | Asia’s flood of cheap Ozempic generics opens gates to weight-loss abuse 🟠Hacker News

scmp.com

·1d·r/SCMPauto

London’s CapVest officially becomes the new owner of Hemofarm 🔬Neurotech

serbianmonitor.com·1d

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets λFunctional Programming

arxiv.org·6h

New comment by JeffsCarbide in "Ask HN: Who wants to be hired? (April 2026)" 🟠Hacker News

news.ycombinator.com·4d·Hacker News

FDA Approves First Generic Dapagliflozin Tablets 🌈Neurodivergence

fda.gov·2d

Loading more...