Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.toยท12hยท
Discuss: DEV
๐Ÿง Machine Learning
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท19h
๐Ÿ“Concrete Syntax
derived set
ncatlab.orgยท11h
๐ŸงฎAlgebraic Archives
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.comยท7h
โš”๏ธLean Tactics
Passagemath project marks new era for open-source math software
appliedmath.ucdavis.eduยท1dยท
Discuss: Hacker News
๐Ÿ“ŠAPL Heritage
AMF-MedIT: An Efficient Align-Modulation-Fusion Framework for Medical Image-Tabular Data
arxiv.orgยท22h
๐Ÿค–Advanced OCR
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.comยท8hยท
Discuss: Lobsters
๐ŸŽผAudio Lambda Calculus
Travels, 10
cameroncounts.wordpress.comยท11h
๐ŸŽฏPerformance Proofs
On This Day in Math - June 23
pballew.blogspot.comยท2dยท
Discuss: www.blogger.com
ฮปLambda Encodings
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท10h
๐Ÿ“Concrete Syntax
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.comยท23hยท
Discuss: Hacker News
๐Ÿ“ฒDigitization
Inverse text-sizing based on text-length with attr()
daverupert.comยท11h
๐Ÿ–‹Typography
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
Experimenting with Appleโ€™s AI models inside Shortcuts
sixcolors.comยท10h
โšกProof Automation
Mapped: Theories of Everything
quantamagazine.orgยท9hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
The modern text processing pipeline: Overview
newroadoldway.comยท2dยท
Discuss: Lobsters, r/programming
๐Ÿ”คUnicode Normalization
Anthropic destroyed millions of print books to build its AI models
arstechnica.comยท6hยท
Discuss: Hacker News
๐Ÿ“„Document Digitization
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.comยท4hยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
Computer-vision research powers surveillance technology
nature.comยท9hยท
Discuss: Hacker News
๐Ÿ”ŽOSINT Techniques
How to Prove That An Email Was Received
metaspike.comยท6h
๐Ÿ“„Document Digitization