davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท16h
๐Ÿ“Concrete Syntax
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.toยท9hยท
Discuss: DEV
๐Ÿง Machine Learning
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท6h
๐Ÿ“Concrete Syntax
Inverse text-sizing based on text-length with attr()
daverupert.comยท8h
๐Ÿ–‹Typography
How to Prove That An Email Was Received
metaspike.comยท2h
๐Ÿ“„Document Digitization
Explaining software and computational methods
blog.khinsen.netยท22hยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Patching functions together
johndcook.comยท7h
๐Ÿ“Mathematical Art
derived set
ncatlab.orgยท7h
๐ŸงฎAlgebraic Archives
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.comยท4hยท
Discuss: Lobsters
๐ŸŽผAudio Lambda Calculus
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.comยท3h
โš”๏ธLean Tactics
The mathematical essence of origami blue-and-white porcelain
aperiodical.comยท2d
๐Ÿ“Mathematical Art
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท8h
๐Ÿ“ŠGraph Databases
Portable Network Graphics (PNG) Specification (Third Edition)
w3.orgยท1dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWebP Analysis
MFTCXplain: A Multilingual Benchmark Dataset for Evaluating the Moral Reasoning of LLMs through Hate Speech Multi-hop Explanation
arxiv.orgยท18h
โš™๏ธCompression Benchmarking
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท13hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Could Open Table Formats End the Reign of Snowflake and Databricks?
prequel.coยท5hยท
Discuss: Hacker News
๐Ÿ“šMARC Evolution
Passagemath project marks new era for open-source math software
appliedmath.ucdavis.eduยท1dยท
Discuss: Hacker News
๐Ÿ“ŠAPL Heritage
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
[$] Libxml2's "no security embargoes" policy
lwn.netยท7h
๐Ÿ”“Free and open source
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท2d
๐ŸŒณArchive Merkle Trees