Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3h·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·9h
💻Programming languages
Flag this post
A bestiary of single-file programming language implementations
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
Playing around with org-db-v3 and consult: vector search of my blog post Org files, with previews
sachachua.com·13h
⏱️Interval Archives
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·2d
📝Concrete Syntax
Flag this post
The Myth of Single-Threaded JavaScript: Inside the Language’s Hidden Concurrency Engine
hackernoon.com·1d
🌊Stream Processing
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
RAG Pipelines Made Simple: Ballerina for AI-Powered Search
dev.to·15h·
Discuss: DEV
🤖Archive Automation
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·20h
🦀Rust Borrowing
Flag this post
CodeSOD: A Basic Mistake
thedailywtf.com·7h
🧪Binary Fuzzing
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·13h·
Discuss: Hacker News
📏Code Metrics
Flag this post
The Future of Coding – From Syntax to Intention
future.forem.com·1d·
Discuss: DEV
🛠Language Design
Flag this post
Making asm.js/WebAssembly compilation more parallel in Firefox
bouvier.cc·1d
🏗️Compiler Archaeology
Flag this post
Convert any GitHub repo to coding puzzles
github.com·18h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
We built a vector search engine that lets you choose precision at query time
clickhouse.com·1d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Splitting (Empty) Strings (2017)
chriszetter.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
LEGOs, Play-Doh, and Programming
weblog.jamisbuck.org·21h·
Discuss: Hacker News
💎Information Crystallography
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·2d·
Discuss: Hacker News
🔒Type Safety
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·4d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post