Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·3h
📝Lisp
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·7h
📝Lisp
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Scala vs. F#
alexn.org·14h·
Discuss: Hacker News
📝Lisp
Flag this post
Iterators - Dive into Lazy, Composable Processing
itsfoxstudio.substack.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·9h·
Discuss: Hacker News
📝Lisp
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·22h·
Discuss: DEV
📝Lisp
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·23h·
Discuss: Hacker News
⚖️Logic Programming
Flag this post
Issue 496
haskellweekly.news·4d
📝Lisp
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·12h·
Discuss: Hacker News
📝Lisp
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·11h·
Discuss: DEV
🧮Programming Language Theory
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·7h·
Discuss: Lobsters
✅Formal Verification
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·16h·
Discuss: r/C_Programming
🔗Parser Combinators
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·5d·
Discuss: Substack
🧮Programming Language Theory
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·4h·
Discuss: Hacker News
📈Complexity Theory
Flag this post
For Synthetic Situations
lesswrong.com·1h
🧫Cellular Automata
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·3h·
Discuss: Hacker News, r/cpp
🏗Computer Architecture
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1h·
Discuss: Substack
🔗Parser Combinators
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🎯Constraint Programming
Flag this post