🔣 Tacit Programming - subsetpark · Scour

Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in Mathematical Optimization with egglog 🔢Array Languages

Jennifer Morse Math 🔢Array Languages

morsej123.github.io·4d

Amazing: Erdős’ Unit Distance Problem was Disproved! It was achieved by AI! 🔢Array Languages

gilkalai.wordpress.com·5h

Introducing Piper: array and string manipulation with the pipe operator 🔢Array Languages

The Test Got It Right: Mathematician Leaves Lasting Legacy 🔢Array Languages

news.syr.edu·6d

Lambda Diagrams 🎵Notation Systems

NULL BITMAP by Justin Jaffray via buttondown.com·2d·Hacker News

Less-relevant results

🎲 Test Timeouts in Gleam 📐Formal Methods

gearsco.de·19h

Agentic Code Generation with OpenAI Codex CLI — A Knight’s Tour Walkthrough 🔢Array Languages

malcolmlow.net·5d·DEV

23 student researchers receive 2026 NSF fellowships 🗣️Language Learning

[2605.21337] Multicategorical Semantics for Untyped Effects 🔢Array Languages

Two from MIT named 2026 Knight-Hennessy Scholars 🗣linguistics

news.mit.edu·6d

A Good Lemma Is Worth a Thousand Theorems 📐Formal Methods

sites.math.rutgers.edu·4d·Hacker News

Spring Physics in my Word Game? A technical deep dive into SvelteJS animations 𝕭Blackletter

colechamberlin.substack.com·2d·Substack, r/programming

Self-Complementary Graphs 🎵Notation Systems

mathworld.wolfram.com·4d·Hacker News

Don's Weekly, 18 May 2026: Part 4 (Diplomacy & Equipment) 🔢Array Languages

xxtomcooperxx.substack.com·2d·Substack

Five Minutes of Prime Time 🔢Array Languages

Introducing Incremental 🔢Array Languages

blog.janestreet.com·4d·Lobsters

SymPy – a Python library for symbolic mathematics 🔢Array Languages

docs.sympy.org·5d·Hacker News

Joy & Curiosity #86 🔢Array Languages

registerspill.thorstenball.com·3d

Mapping Uncharted Symmetries: Machine Discovery in Combinatorics 🔢Array Languages

Log in to enable infinite scrolling