Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
📏Linear Types
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·4h·
Discuss: Hacker News
📏Linear Types
Flag this post
Scala vs. F#
alexn.org·9h·
Discuss: Hacker News
📏Linear Types
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·17h·
Discuss: Hacker News
📏Linear Types
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2h·
Discuss: Lobsters
📏Linear Types
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·21h·
Discuss: Hacker News
📏Linear Types
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·6h·
Discuss: Hacker News
📏Linear Types
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·4d·
Discuss: Substack
📏Linear Types
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·18h·
Discuss: Hacker News
📏Linear Types
Flag this post
Writing FreeDOS Programs in C
freedos.org·23h·
Discuss: Hacker News
📐Formal Methods
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
📏Linear Types
Flag this post
The Development of Pie
terathon.com·1d·
Discuss: Hacker News
💹Rust Finance
Flag this post
Ajla Tutorial
ajla-lang.cz·3d·
Discuss: Hacker News
📏Linear Types
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·3d
🔥DataFusion
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·1h·
Discuss: Hacker News
🧠Memory Management
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·1d·
Discuss: Lobsters, Hacker News
📏Linear Types
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·2d·
Discuss: Hacker News
🔷Typescript
Flag this post
Making an Easy-to-Install Application in Python
gokmengorgen.net·15h·
Discuss: Lobsters, Hacker News
🌐Distributed systems
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·16h·
Discuss: Hacker News
📦Data Serialization
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
📏Linear Types
Flag this post