📊 APL Heritage

Array Programming, K Language, Historical Notation, Mathematical Computing

How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·23h
🧮Theorem Proving
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3d
💻Programming languages
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Show HN: I built a local AI agent desk toy
blog.simone.computer·2d·
Discuss: Hacker News
🎙️Whisper
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·7h·
Discuss: DEV
🔍Concolic Testing
Making performant Python bindings to compiled code
kylebarron.dev·3d·
Discuss: Hacker News
🦀Rust Macros
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
🧮Compute Optimization
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·13h·
Discuss: DEV
📊Multi-vector RAG
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·14h·
Discuss: Hacker News
🎯Performance Proofs
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·23h
⛪Church Encoding
Love C, Hate C: Web Framework Memory Problems
alew.is·23h·
Discuss: Hacker News
🔩Systems Programming
The Porcelain to Come
stackdiver.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·13h·
Discuss: Hacker News
🔓Open Source Software
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·1d·
Discuss: DEV
⚡Cache Theory