Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท18h
๐Ÿ”—Graph Isomorphism
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.orgยท5hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Typography
OCR vs ADE: Mechanisms Behind the Methods
dev.toยท1dยท
Discuss: DEV
๐Ÿ“„OCR
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท12h
๐Ÿ’ŽInformation Crystallography
Three ways formally verified code can go wrong in practice
buttondown.comยท4h
๐Ÿ“œProof Carrying Code
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท6h
๐Ÿ”ขDenotational Semantics
YouTube gets ~5% CTR lift on Shorts by replacing embedding tables with Semantic IDs
shaped.aiยท22h
๐Ÿ“ŠFeed Optimization
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Computer vision AI VTIโ€™s against Phishing
vmray.comยท2d
๐Ÿ‘๏ธPerceptual Hashing
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
Extract speaker notes from PowerPoint to text
dri.esยท1d
๐Ÿ“œPalimpsest Analysis
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท20hยท
โœ…Format Verification
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.toยท2hยท
Discuss: DEV
โšกIncremental Computation
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท8hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท22hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
Experimenting with ACL2 and Claude Code
mikedodds.orgยท9hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.appยท43mยท
Discuss: Hacker News
๐Ÿ“œBinary Philology
Work in content? You should be using AI for alt text
tk.ggยท23hยท
Discuss: Hacker News
๐Ÿ“„PostScript
[R] A Unified Framework for Continual Semantic Segmentation in 2D and 3D Domains
reddit.comยท17hยท
๐Ÿ“Document Chunking