davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท17h
๐Ÿ“Concrete Syntax
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.orgยท20h
๐Ÿ“Compression Bounds
derived set
ncatlab.orgยท9h
๐ŸงฎAlgebraic Archives
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท8h
๐Ÿ“Concrete Syntax
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.comยท5hยท
Discuss: Lobsters
๐ŸŽผAudio Lambda Calculus
Passagemath project marks new era for open-source math software
appliedmath.ucdavis.eduยท1dยท
Discuss: Hacker News
๐Ÿ“ŠAPL Heritage
Travels, 10
cameroncounts.wordpress.comยท9h
๐ŸŽฏPerformance Proofs
The mathematical essence of origami blue-and-white porcelain
aperiodical.comยท2d
๐Ÿ“Mathematical Art
How to Prove That An Email Was Received
metaspike.comยท4h
๐Ÿ“„Document Digitization
I Figured Out What the Voynich Manuscript Says; It's Something More Than Words
dmerullo.substack.comยท9hยท
Discuss: Substack
๐ŸฐManuscript Networks
Patching functions together
johndcook.comยท8h
๐Ÿ“Mathematical Art
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
Explaining software and computational methods
blog.khinsen.netยท1dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Nedials, Nedians, and some related triangles and some properties
pballew.blogspot.comยท18hยท
Discuss: www.blogger.com
๐Ÿ“ŠComputational Geometry
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท10h
๐Ÿ“ŠGraph Databases
Historic paintings are being reborn with MIT's AI-based restoration method
techspot.comยท1dยท
Discuss: r/technews
๐Ÿ“„Document Digitization
Beyond Theory โ€“ Interview with Jill Delaney by Juan Alonso
ica.orgยท8h
๐Ÿ›๏ธPREMIS
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Problem-solving is fundamental to human nature
freethink.comยท6h
๐Ÿ”ฒCellular Automata
ML in the Home
blog.raymond.burkholder.netยท1d
๐Ÿ“ˆTime Series