📊 APL Heritage

Array Programming, K Language, Historical Notation, Mathematical Computing

Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·12h
📐Mathematical Art
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Cactus Language • Stylistics 4
inquiryintoinquiry.com·11h
🌳Context free grammars
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·23h
📝ABNF Parsing
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·6h
🔢Bitwise Algorithms
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5h·
Discuss: Hacker News
🎯Interactive Provers
Python Fundamentals: build
dev.to·14h·
Discuss: DEV
🔄Reproducible Builds
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·12h·
Discuss: Hacker News
💻Programming languages
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·4h·
Discuss: Hacker News
🌐WASI
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
A distributed systems reliability glossary
antithesis.com·12h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·12h
🦀Rust Verification
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·11h
🔗Hash Chains
Historical highlights?
logicmatters.net·15h
🔀Category Theory
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
What are Matrix Operations?
dev.to·1h·
Discuss: DEV
📐Linear Algebra