Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·13h·
Discuss: Substack
💻Programming languages
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·17h·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
A Short Introduction to Categorical Logic
youtube.com·20m
🔀Category Theory
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·1d
💻Programming languages
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·18h·
Discuss: Substack
🧬Functional Programming
Flag this post
Playing around with org-db-v3 and consult: vector search of my blog post Org files, with previews
sachachua.com·1d
⏱️Interval Archives
Flag this post
Vectorizing for Fun and Performance
ibm.com·10h·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Convert any GitHub repo to coding puzzles
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
The Myth of Single-Threaded JavaScript: Inside the Language’s Hidden Concurrency Engine
hackernoon.com·1d
🌊Stream Processing
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·3d
📝Concrete Syntax
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3h·
Discuss: Hacker News
📊Static Analysis
Flag this post
My First Rust Project
binwang.me·2d
🦀Rust Macros
Flag this post
RAG Pipelines Made Simple: Ballerina for AI-Powered Search
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Flag this post
Grammarly Isn’t Going Anywhere
lifehacker.com·11h
⚡Proof Automation
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·1d
🦀Rust Borrowing
Flag this post
CodeSOD: A Basic Mistake
thedailywtf.com·21h
🧪Binary Fuzzing
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·16h·
Discuss: Hacker News
✨Effect Handlers
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·6h·
Discuss: Hacker News
🔤Type Theory
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·1d·
Discuss: Hacker News
📏Code Metrics
Flag this post