Scientists May Have Decoded the Mysterious Language of a Lost City
popularmechanics.com·11h
🗝️Paleocryptography
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
Prime Portraits
archive.bridgesmathart.org·1d
📐Mathematical Art
A practical case on why we need the humanities
acoup.blog·1d·
Discuss: Hacker News
🏛Digital humanities
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·1d
📜Manuscript Algebras
A Manifesto for the Programming Desperado
github.com·7h·
Discuss: Hacker News
💻Programming languages
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·19h
🌀Differential Geometry
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
MeteoSaver LLM based software for the transcription of historical weather data
egusphere.copernicus.org·15h·
Discuss: Hacker News
📰Feed Readers
Generative Art
4rknova.com·1d·
Discuss: Hacker News
📐Mathematical Art
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
People rescuing forgotten knowledge trapped on old floppy disks
bbc.com·10h·
Discuss: Hacker News
📼Cassette Archaeology
timelinize/timelinize
github.com·22h
⏱️Interval Archives
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·8h
📐Mathematical Art
Intro to RL: Off-Policy Methods
neelsomaniblog.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
⛪Church Encoding