Sorting Prompts - LLMs are not wrong you just caught them mid thought
kau.sh·2d
⚡Proof Automation
Lobsters Interview with Zdsmith
lobste.rs·2d·
Discuss: Lobsters
🔗Concatenative Programming
Earning the Right to Be Illegible
joshbeckman.org·3h·
Discuss: Hacker News
⚙️Proof Engineering
[Pre-RFC] Substructural Type System
internals.rust-lang.org·5h·
Discuss: Hacker News
🔒Type Safety
Not Another GPT Wrapper
genorimo.com·13h·
Discuss: Hacker News
🌀Brotli Internals
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Show HN: AI Voice AudioBook – Convert ebooks to audio with your cloned voice
zan.chat·2d·
Discuss: Hacker News
🎙️Whisper
Prompt Engineering Templates That Work: 7 Copy-Paste Recipes for LLMs
kdnuggets.com·3d
🎯Proof Tactics
"Moloch's bargain"?
languagelog.ldc.upenn.edu·6h
🔲Cellular Automata
Graph Neural Networks: A Reality Check on Verifying Readout by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
🧠Machine Learning
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
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·2d
💻Local LLMs
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.com·1d·
Discuss: Substack
🧠Intelligence Compression
Google Opal is not a “degraded Dify”. Its strategic positioning and optimal utilisation methods revealed through actual use
dev.to·3h·
Discuss: DEV
🦋Format Metamorphosis
Prototyping Real-time Social Sentiment with Python
dev.to·21h·
Discuss: DEV
📊Feed Optimization
Collaborative and Proactive Management of Task-Oriented Conversations
arxiv.org·4d
📏Linear Logic
I am building a document api suite that gives you coordinates for every answer
dev.to·4d·
Discuss: DEV
📄Document Digitization