Notes on using LaTeX to generate formulae
eli.thegreenplace.netยท21h
๐Ÿ“Document Algebra
Sorting Prompts - LLMs are not wrong you just caught them mid thought
kau.shยท1d
โšกProof Automation
Lobsters Interview with Zdsmith
lobste.rsยท2dยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
Neuro-Symbolic AI
en.wikipedia.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.comยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
Not Another GPT Wrapper
genorimo.comยท6hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Show HN: AI Voice AudioBook โ€“ Convert ebooks to audio with your cloned voice
zan.chatยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.comยท1dยท
Discuss: Substack
๐Ÿง Intelligence Compression
Immersive Historical Reconstruction Validation via Multi-Sensor VR Data Fusion & Causal Inference
dev.toยท13hยท
Discuss: DEV
๐ŸบComputational Archaeology
MARC: Memory-Augmented RL Token Compression for Efficient Video Understanding
arxiv.orgยท2d
๐Ÿง Learned Codecs
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.orgยท6d
๐Ÿ“‹Document Grammar
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐ŸŽตAudio ML
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท8hยท
Discuss: DEV
๐ŸŽตAudio ML
Tech With Tim: How to Build AI Agents in Python
dev.toยท8hยท
Discuss: DEV
โš”๏ธLean Tactics
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.orgยท2d
๐ŸŒ€Differential Geometry
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.orgยท5d
๐Ÿ’ปProgramming languages
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Paleographic AI
To Sink or Not to Sink: Visual Information Pathways in Large Vision-Language Models
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Understanding Latent Space: How Meaning Is Represented by AI
dev.toยท17hยท
Discuss: DEV
๐ŸงฎKolmogorov Complexity