Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·55m
functional programming
Eclectic English Vocab
404wolf.com·20h
🔄Incremental Lexing
Beginner’s Guide #2: When to Use forEach, map, for...of, and entries() — Explained Like You’re Five
dev.to·1h·
Discuss: DEV
📦Closure Capture
A Generic Vector Implementation in C using void*, func*
github.com·5h·
🪄C Metaprogramming
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·17h
🧩Constraint Solvers
Four years, Five failures, One compiler
daymare.net·1d·
🌱Minimal Languages
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
🎲 Collaborative Text Editing from Scratch in Lexical
mortenson.coffee·12h
📝Rope Editors
Simple hash map in C, for learning purpose
reddit.com·10h·
🏷️Symbol Interning
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Event Handling: Automatic Event Bootstrapping
gitlab.com·6h·
Discuss: DEV
📡Protocol Buffers
Recurse Checkins
404wolf.com·20h
🔄Bootstrapping
Write in C – Let it Be
wiki.tcl-lang.org·3h·
Discuss: Hacker News
🪄C Metaprogramming
Is Odin Just a More Boring C?
dayvster.com·10h·
Discuss: Hacker News
🐹Go Internals
A very short, very blunt, book note
logicmatters.net·4h
🔗Concatenative Theory
original ↗
lmika.org·2d
🔬programming language theory
Lazy text capitalization with low latency large language models
blog.florianschulz.info·2d·
Discuss: Hacker News
🔄Incremental Lexing
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·1d·
Discuss: Hacker News
🔬programming language theory
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
💬Interactive REPLs
Cactus Language • Semantics 1
inquiryintoinquiry.com·5h
📋Backus-Naur Form