🎯 Hindley-Milner - hello · Scour

mdales.tngl.sh/ocaml-las 🧮MKL

tangled.org·4d

Practical uses of monads in Haskell λFunctional Programming

nauths.fr·2d·Hacker News, Hacker News, r/programming

H2JVM - A Haskell Library for writing JVM Bytecode λFunctional Programming

discourse.haskell.org·21h·Lobsters

Blazestar.net 🌟Pulsar

blazestar.net·2d

Haskell Brain Teasers (Pragmatic Programmers) 📐Type Theory

i-programmer.info·5d

Less-relevant results

Location: New York City area, USA Remote: Yes, also open to on-site Willing to r... 🏠Home Automation

news.ycombinator.com·18h·Hacker News

Serokell’s Work on GHC: Dependent Types, Part 5 📐Type Theory

serokell.io·1d

FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation 📊Profile-Guided Optimization

Philip Wadler λFunctional Programming

deprogrammaticaipsum.com·1d

Issue 526 💎Refinement Types

haskellweekly.news·4d

Webbplats update (part 1) ⚡HTMX

digitalflapjack.com·4d

Data types à la carte | Journal of Functional Programming 🔗Dependent Types

cambridge.org·2d·Lobsters

Faster Cabal Haskell builds by eliminating redundant work 🏗️Cranelift

well-typed.com·5d

Coalgebras and Automata ∘Category Theory

web.archive.org·2d·Lobsters

New comment by Zak in "Ask HN: Who wants to be hired? (June 2026)" 📝NLP

github.com·12h·Hacker News

Stealing from Biologists to Compile Haskell Faster 🎯Escape Analysis

iankduncan.com·3d·Lobsters, Hacker News

Moving from WordPress to Obsidian Plus Hakyll 🗂️Obsidian

codeutopia.net·2d·Hacker News

Belmont Stakes 2026 post positions, betting odds: Renegade favorited over Derby winner ✨Gleam

·11h

Post-Quantum HAWK Signature Acceleration with RISC-V-Based Hardware-Software Co-Design ⚡Hardware Acceleration

eprint.iacr.org·5d

Hypr, Hypr, bring out the Mango ⚡LMAX Disruptor

thesaigoneer.bearblog.dev·1d

Log in to enable infinite scrolling