λ Functional Programming - hello · Scour

Incremental Lambda Calculus 🔄Salsa

inc-lc.github.io·4d·Hacker News

A Perfectable Programming Language 🔨Compiler Design

alok.github.io·2d·Hacker News

MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis ✅Property Testing

arxiv.org·17h

Reflection On Recursion • 3 ∘Category Theory

inquiryintoinquiry.com·1d

Why FlatMap Isn’t Ideal for Go Error Handling 🛡️Error Handling

pkg.go.dev·3d·DEV

The Exception Butterfly 🦗Pest

valhovey.github.io·2d·Hacker News

jhud/lisp: Toy Python LISP interpreter based on the original 1960 John McCarthy paper 🔵Clojure

github.com·2d·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🌊SeaORM

jointhefreeworld.org·4d·Lobsters, Hacker News

Hatter: Native Haskell Mobile Apps 🧊Iced

jappie.me·1d·Hacker News

Writing a TypeScript Type Inference Engine in 300 Lines of Vanilla JS 📐Type Theory

dev.to·3d·DEV

Retrospective on binary search and comp{ress,ilat}ion (2015) ⚖️Y-Fast Tries

pvk.ca·5d·Hacker News

MoonBit 0.9: Introducing First-Class Formal Verification ✓Formal Verification

moonbitlang.com·6d·Lobsters

Giving LLMs a Formal Reasoning Engine for Code Analysis 🌳Tree-sitter

yogthos.net·5d·Lobsters, Hacker News

A Gradual Probabilistic Lambda Calculus 🎯Hindley-Milner

arxiv.org·6d

Show HN: Agent Tuning, using recursion to achieve predictable agent output ⚓Anchors

github.com·4d·Hacker News

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference 🔗Dependent Types

arxiv.org·6d

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering ✅Model Checking

arxiv.org·6d

BLaDA: Bridging Language to Functional Dexterous Actions within 3DGS Fields 💡Photon

arxiv.org·4d

Reflection On Recursion • 2 📝Parser Combinators

inquiryintoinquiry.com·5d

Metacat: a categorical framework for formal systems ✓Formal Verification

arxiv.org·4d

No more posts from hello's subscribed feeds.

Scour all 23983 feeds Learn more about Feeds