λ Functional Programming - tiferrei · Scour

Incremental Lambda Calculus 🧮Lambda Calculus

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

Lisp is Not an Acceptable Lisp (2006) 📝Nix Language

steve-yegge.blogspot.com·21m·Hacker News

A Perfectable Programming Language 🧮Lean4

alok.github.io·2d·Hacker News

Game Oriented Assembly Lisp ⚙️PL Implementation

en.wikipedia.org·8h·Hacker News

The Exception Butterfly 🎁Monads

valhovey.github.io·2d·Hacker News

A Gradual Probabilistic Lambda Calculus 🧮Lambda Calculus

arxiv.org·6d

jhud/lisp: Toy Python LISP interpreter based on the original 1960 John McCarthy paper ⚙️Compiler Design

github.com·2d·Hacker News

Hatter: Native Haskell Mobile Apps 🏢Jane Street Core

jappie.me·1d·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 📝Nix Language

jointhefreeworld.org·4d·Lobsters, Hacker News

Mathematical minimalism ➡️Category Theory

johndcook.com·1d·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔍CBMC

pvk.ca·5d·Hacker News

Predict-Rlm: The LLM Runtime That Lets Models Write Their Own Control Flow 📦Module Systems

repo-explainer.com·2d·Hacker News

MoonBit 0.9: Introducing First-Class Formal Verification 🛡️seL4

moonbitlang.com·6d·Lobsters

Giving LLMs a Formal Reasoning Engine for Code Analysis 🧠Automated Reasoning

yogthos.net·5d·Lobsters, Hacker News

Structured Software Architecture 🔤DSLs

programmingsimplicity.substack.com·5d·Substack

Soppo: Golang, with the features it's missing 📦Module Systems

soppolang.dev·3d·Hacker News

google-research/dex-lang: Research language for array processing in the Haskell/ML family 📦Module Systems

github.com·1d·Hacker News

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation 🔍Formal Verification

arxiv.org·1d

Packing Compact Subgraphs with Applications to Districting 🕸️Graph Theory

arxiv.org·1d

Show HN: Agent Tuning, using recursion to achieve predictable agent output 🔍CBMC

github.com·4d·Hacker News

Loading more...