Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
Scala vs. F#
alexn.org·14h·
Discuss: Hacker News
💻Programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·9h·
Discuss: Hacker News
💻Programming
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·5d·
Discuss: Substack
💻Programming
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·23h·
Discuss: Hacker News
💻Programming
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·7h·
Discuss: Lobsters
🏗️Language Design
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·4h·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1h
🔧Parser Combinators
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·3h·
Discuss: Lobsters, Hacker News
⚙Compiler Theory Applications
Flag this post
Dive into Systems
diveintosystems.org·1h·
Discuss: Hacker News
💻Programming
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·12h·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·3h·
Discuss: Hacker News
🏗️Language Design
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
What Is Occult Grammar?
blog.izs.me·2h·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1h·
Discuss: Substack
🏗️Language Design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·23h·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·1d·
Discuss: Hacker News
🧠Digital Mnemonics
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·3h·
Discuss: Hacker News, r/cpp
⚙Compiler Theory Applications
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·40m·
Discuss: Hacker News
💭Mind
Flag this post