A Proof of the Riemann Hypothesis
future.forem.com·2d·
Discuss: DEV
🎯Arithmetic Coding Theory
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·16h
💎Information Crystallography
Extract speaker notes from PowerPoint to text
dri.es·1d
📜Palimpsest Analysis
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🎯Proof Tactics
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·3h
🌊Stream Processing
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·22h
🧮Theorem Proving
Make a procedurally generated planet
kayleegeorge.github.io·4h·
Discuss: Hacker News
📐Mathematical Art
Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.com·2d
⚙️Proof Engineering
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Neuro-Symbolic AI
en.wikipedia.org·12h·
Discuss: Hacker News
🔲Cellular Automata
Python For Data Engineering
dev.to·17h·
Discuss: DEV
🌊Stream Processing
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Work in content? You should be using AI for alt text
tk.gg·1d·
Discuss: Hacker News
📄PostScript
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·4h·
Discuss: Hacker News
🦀Rust Macros
A practical case on why we need the humanities
acoup.blog·1d·
Discuss: Hacker News
🏛Digital humanities
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·3d
📐Mathematical Art
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Slip – A Lisp System in JavaScript
lisperator.net·13h·
Discuss: Hacker News
🔗Lisp