λ Functional Programming - hello · Scour

Let Lambda Come Over

yamlscript.org·1d

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

📐Type Theory

How I Built My Project in Haskell

dev.to·5h·

Discuss: DEV

👻Phantom Types

Oatmeal - Constraint propagation for fun

eli.li·2h

🧩Constraint Programming

feldera/feldera: The Feldera Incremental Computation Engine

github.com·19h

Build a Compiler in Five Projects

kmicinski.com·19h

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·1h·

Discuss: DEV

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·14h

🕸️Graph Theory

Building fault-tolerant applications with AWS Lambda durable functions

aws.amazon.com·1d

Refactoring 038

dev.to·1d·

Discuss: DEV

🔨Compiler Design

**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown fractal-based geometric sequences within...

freederia.com·1d

Revisiting Regular Types

abseil.io·6h

👻Phantom Types

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·2d·

Discuss: Hacker News

🌳Fenwick Trees

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·1d

Private Data Space Model

privatedata.space·2d

🔗Intrusive Containers

Style tips for less experienced developers coding with AI

honnibal.dev·2d·

Discuss: Hacker News

🦀Rust Macros

Abstract Framework for All-Path Reachability Analysis

arxiv.org·3d

Clojure’s Persistent Data Structures: Immutability Without the Performance Hit

javacodegeeks.com·2d

When Language Models Get Stuck: The Mechanics of Repetition Loops

pub.towardsai.net·1d

🌳Pratt Parsing

Loading more...