Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
Scala vs. F#
alexn.org·7h·
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·1h·
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·15h·
Discuss: Hacker News
💻Programming
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4h·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·18h·
Discuss: Hacker News
🧠Digital Mnemonics
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·3d
💻Programming
Flag this post
AWK technical notes (2023)
maximullaris.com·15h·
Discuss: Lobsters
🔧Parser Combinators
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·2d·
Discuss: Hacker News
🛠developer tools
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·16h·
Discuss: Hacker News
🏗️Language Design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·15h·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
De Bruijn Numerals
text.marvinborner.de·3d·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
Handbook of Satisfiability (2021)
iospress.com·22h·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·19h·
Discuss: Hacker News
🧠Digital Mnemonics
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5h·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
Discuss: Lobsters, Hacker News
🏗️Language Design
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·1d·
Discuss: Hacker News
💻Programming
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·16h·
Discuss: Substack
🔧Parser Combinators
Flag this post