🎩 Haskell - ColonelPhantom · Scour

Issue 518 ⚙Programming Language Design

haskellweekly.news·6d

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference ⚙Programming Language Design

arxiv.org·20h

Simple System + Rick Feedback 📐Lean 4

ericnormand.substack.com·1d·Substack

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

3quarksdaily.com·6h

🛠️ Sky — an Elm-inspired language that compiles to Go ⚙Programming Language Design

lmika.org·2d

I Accidentally Reinvented Kernel (Programming Language) ⚙Programming Language Design

fayash.me·3d·Hacker News

A New Jersey Teen Finds Treasure, and More, in Abandoned Storage Units 🧮Recreational Math

longreads.com·9h

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

adambien.blog·1d

NJ teen buys abandoned storage unit for $450, finds $50,000 in art inside 🧮Recreational Math

boingboing.net·3h

Parse, Don't Validate — In a Language That Doesn't Want You To ⚙Programming Language Design

cekrem.github.io·2d·Hacker News, r/coding, r/functionalprogramming, r/javascript, r/programming, r/webdev

Haskell Miso v1.9.0 Released 🔵Lisp

github.com·6d·Hacker News

Building an AI-Native Multi-Cloud Billing Tool in Rust: Traits, Feature Gates, and 5 Crypto Schemes… 📐Lean 4

liber-xue.medium.com·2d

🐍 Functionally Zen λFunctional Programming

testdouble.com·6d

[Testing Update] 2026-04-07 - GNOME 50, Plasma 6.6.4, Firefox, Haskell ☕JVM Internals

forum.manjaro.org·1d

Evolution of the Type System: Assessing the Impact of TypeScript 6.0 ⚙Programming Language Design

otuny.com·4d·DEV

In His Latest Book, David George Haskell Shows How Flowers Made Our World 🧮Recreational Math

atmos.earth·2d

A Gradual Probabilistic Lambda Calculus λFunctional Programming

arxiv.org·20h

Why Protecting Flowering Plants Is Crucial to Our Future ⚙️Compilers

e360.yale.edu·2d

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) ⚙Programming Language Design

pgenie.io·6d·Lobsters

Teenager Michael Haskell “buys abandoned storage lockers at ... 🧮Recreational Math

kottke.org·1d

Loading more...