λ Functional Programming - nmarshall · Scour

Functional Logic Program Transformations

arxiv.org·1d

🏭Code Generation

Making a Language

thunderseethe.dev·11h

🏭Code Generation

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🎯Hindley-Milner

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🔄Async Traits

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·17h·

Discuss: Hacker News

📝Parser Combinators

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·20h·

Discuss: DEV

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔗Dependent Types

Kolmogorov Complexity

en.wikipedia.org·21h·

Discuss: Hacker News

🎯Hindley-Milner

Designing a Programming Language for the Desert

futhark-lang.org·17h·

Discuss: Hacker News

jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry

github.com·3d

🏭Code Generation

TypeScript levels up with type stripping

infoworld.com·38m

In Praise of APL (1977)

jsoftware.com·53m·

Discuss: Hacker News

🔗Dependent Types

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·4h

🧩Constraint Programming

Designing real systems with immutable data in Clojure

building.nubank.com·2d·

Discuss: Hacker News

🔌Embedded Rust

Randomization in Typst

idraluna-archives.bearblog.dev·14h

Stop Overusing Interfaces (2017)

blog.hovland.xyz·19h·

Discuss: Hacker News

🔌Embedded Rust

Variation on Iota

toolofthought.com·3d·

Discuss: Hacker News

🔢Homomorphic Encryption

Type-Safe Routing Without the Build Step

werkbank.dev·15h·

Discuss: Hacker News

Conversation: LLMs and the what/how loop

martinfowler.com·18h

🦀Rust Macros

Real programming vs. interviews: A dyslexic perspective

lobste.rs·23h·

Discuss: Lobsters

🗣️Voice Coding

Loading more...