📊 APL Heritage

Array Programming, K Language, Historical Notation, Mathematical Computing

Is math discovered or invented?
mathwithbaddrawings.com·22h
📐Mathematical Art
Simon Stevin's Non-fraction method of Decimals
pballew.blogspot.com·2d·
Discuss: www.blogger.com
📐Interval Arithmetic
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Survey Finds More Python Developers Like PostgreSQL, AI Coding Agents - and Rust for Packages
developers.slashdot.org·1d
🦀Rust Macros
Nullable vs. Nullable in C#
einarwh.no·14h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Hacker News
🧪Binary Fuzzing
AGI Is an Engineering Problem
vincirufus.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Best 10 AI Coding Sites in 2025: Which One Should You Trust?
medium.com·1d·
Discuss: Hacker News
🚀Indie Hacking
AI-Assisted Development: A Three-Act Play
betweentheprompts.com·1h·
Discuss: Hacker News
🤖AI Curation
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·5h
🎙️Whisper
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·17h·
Discuss: DEV
🔒Type Safety
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·16h
⚡Proof Automation
Generative Artificial Intelligence and Agents in Research and Teaching
arxiv.org·5h
🔲Cellular Automata
An experimental approach: The graph of graphs
arxiv.org·5h
🌈Spectral Methods
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·5h
🕸️Network Topology
SSFO: Self-Supervised Faithfulness Optimization for Retrieval-Augmented Generation
arxiv.org·5h
🔗Monadic Parsing
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages
Legacy Learning Strategy Based on Few-Shot Font Generation Models for Automatic Text Design in Metaverse Content
arxiv.org·5h
🔤Font Archaeology