📊 APL Heritage

Array Programming, K Language, Historical Notation, Mathematical Computing

How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·22h
🌊Streaming Systems
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🎯Proof Tactics
Randomized and quantum approximate matrix multiplication
arxiv.org·18h
🔐Quantum Cryptography
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·18h
🔗Graph Isomorphism
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
LangChain and LlamaIndex in 2025: How Developers Are Building Smarter AI Workflows
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·14h·
Discuss: r/golang
🦀Rust Borrowing
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
💻Programming languages
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·22h·
Discuss: Hacker News
🔢Reed-Solomon Math
A Computing Legend Speaks
computerhistory.org·2d·
Discuss: Hacker News
🖥Retro Computing
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·18h
🧮Theorem Proving
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3d
💻Programming languages
Show HN: I built a local AI agent desk toy
blog.simone.computer·2d·
Discuss: Hacker News
🎙️Whisper
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming