Expressing Text and Data Mining Rights with Datalogics PDF Optimizer + TDMRep
pdfa.orgยท1d
๐Ÿ“„Document Digitization
First Day: A New Chapter at the JKU
stefan-marr.deยท1h
๐Ÿ”ฉSystems Programming
The Architecture of Learning: From Statistics to Intelligence
little-book-of.github.ioยท2hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
RFC 677: Maintenance of duplicate databases (1975)
rfc-editor.orgยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
Having Claude act as a desktop computer (2024)
paulrusso.orgยท1dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Emulators
Creating Web Applications with Julia
digitalocean.comยท1dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Teaching LLMs to spell with token healing
blog.sweep.devยท4dยท
Discuss: Hacker News
๐Ÿ”Z3 Parsing
Claude Sonnet 4.5 and the memory Omni-tool in Letta
letta.comยท10hยท
Discuss: Hacker News
๐Ÿ“ผTape Combinators
Successful Misunderstandings: Learning to Coordinate Without Being Understood
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Markov Decision Processing Networks
arxiv.orgยท1d
๐Ÿง Machine Learning
Cat: Post-training quantization error reduction via cluster-based affine transformation
arxiv.orgยท3h
๐Ÿ“ŠQuantization
PDE Solvers Should Be Local: Fast, Stable Rollouts with Learned Local Stencils
arxiv.orgยท3h
๐ŸŒ€Riemannian Computing
sentdex: Is My Unitree G1 Spying on Me?
dev.toยท1hยท
Discuss: DEV
๐Ÿ•ต๏ธVector Smuggling
Sequence alignment algorithm enables rapid search of world's microbial DNA
phys.orgยท15h
๐Ÿ”„Burrows-Wheeler
Rags for dummies
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Build Agentic Video RAG with Strands Agents and Containerized Infrastructure
dev.toยท12hยท
Discuss: DEV
๐ŸŒŠStream Processing
VoiceAssistant-Eval: Benchmarking AI Assistants across Listening, Speaking, and Viewing
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Domain-Informed Genetic Superposition Programming: A Case Study on SFRC Beams
arxiv.orgยท2d
๐Ÿ”—Functional Compilers
A TRIANGLE Enables Multimodal Alignment Beyond Cosine Similarity
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
MuPlon: Multi-Path Causal Optimization for Claim Verification through Controlling Confounding
arxiv.orgยท3h
๐ŸŽฏPerformance Proofs