Readable Code Is Unreadable
blog.wilsonb.com·11h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Pain Points of OCaml
quamserena.com·14h·
Discuss: Lobsters, Hacker News
🔄Functional Programming
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·1d
🔄Functional Programming
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·9h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·7h
🔄Functional Programming
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·1d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·15h·
Discuss: Hacker News
📲local-first software
Flag this post
Low-Level Hacks
blog.raycursive.com·17h·
Discuss: Hacker News
🦀Borrow Checker
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·1d·
Discuss: DEV
🧮Algebraic Effects
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·14h
🔄Functional Programming
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
🔄Functional Programming
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
reddit.com·22h·
Discuss: r/rust
🔄Functional Programming
Flag this post
Think DSP second edition
allendowney.com·3h
🔄Functional Programming
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.io·16h
🔄Functional Programming
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·23h·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post