📊 APL Heritage

Array Programming, K Language, Historical Notation, Mathematical Computing

Klong: A Simple Array Language
t3x.org·5d·
Discuss: Hacker News
λLambda Formalization
Why Dyad?: A Perspective for Modelica Users
juliahub.com·21h·
Discuss: Hacker News
💧Liquid Types
The Sliding Window in Haskell & Rust
mmhaskell.com·3d
λLambda Encodings
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: Lobsters, Hacker News, r/golang
⬆️Lambda Lifting
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·4h
🌊Streaming Systems
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·8h
💻Local LLMs
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory
LeetCode 2040 Beginner friendly explanation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Technical Challenges and Solutions in AI Tarot System Development Using Claude 3.7
dev.to·4h·
Discuss: DEV
🌊Stream Processing
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
Rise of OpenJDK & Oracle vs Others
dev.to·10h·
Discuss: DEV
🔄Language Evolution
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Multilingual innovation in LLMs: How open models help unlock global communication
developers.googleblog.com·2d
🌀Brotli Internals
Vibe Coding a Speed Reading App with Python in Just 15 Minutes
kdnuggets.com·22h
🗜️LZSS Variants
Program Synthesis is Interesting and Open
stephendiehl.com·4d·
Discuss: Hacker News
💻Programming languages
Python Fundamentals: arrays
dev.to·4d·
Discuss: DEV
🧮Algebraic Datatypes
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax