SAT Requires Exhaustive Search
link.springer.com·7h·
Discuss: Hacker News
🧮SMT Solvers
A deeper dive into Spotlight indexing and local search
eclecticlight.co·20h
🔎Meilisearch
Black Friday PPC strategy: Your competitive intelligence playbook by Adthena
searchengineland.com·16h
📊Feed Optimization
MMRAG-DocQA: A Multi-Modal Retrieval-Augmented Generation Method for Document Question-Answering with Hierarchical Index and Multi-Granularity Retrieval
arxiv.org·23h
🔍Information Retrieval
Indexing Blockchain Events with Rust and Alloy
blog.bilinearlabs.io·5h·
Discuss: Hacker News
🏹Apache Arrow
No Customer Left Behind: A Self-balancing Task Scheduler
engineering.lucioai.com·11h·
Discuss: r/programming
📅Resource Scheduling
Happy Blaugust! Finding Blogs to Follow
calishat.com·6h
📡RSS
Lessons from Amazon S3 Vector Store and the Nuances of Hybrid Vector Storage
caylent.com·12h·
Discuss: Hacker News
🏗️Search Infrastructure
Trends in LLM-Generated Citations on ArXiv
spylab.ai·9h·
Discuss: Hacker News
📇Vector Indexing
Thinking Deeply About Theming and Color Naming
css-tricks.com·14h
🔤Typography
Pagaya Technologies: Why I Am Taking A Measured Bet
seekingalpha.com·11h
🚀Startups
Startup update 15: Scraping PDFs is still hard
moderndescartes.com·23h
🪄Prompt Engineering
On Skill-Debt
daithininullain.substack.com·15h·
Discuss: r/programming
🪄Prompt Engineering
First Dive into Theory
tbr.bearblog.dev·12h
🌳Data Structures
Better themes, better navigation, better search
fastmail.com·3h
💫Search UX
Automating Boundary Filling in Cubical Type Theories
arxiv.org·23h
🧩Types
Dr. Andy Farnell Explains How Google Turned From "Librarian" Into "Oracle", Telling Us What to Think Instead of Where to Look
techrights.org·1h
⚖️Tech Policy
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·10h·
Discuss: blog.computationalcomplexity.org, Hacker News
🧮SMT Solvers
How to Create Unbreakable Job Security: A Software Developer's Guide to Making Yourself Indispensable
getparthenon.com·20h·
Discuss: Hacker News, r/programming
💾Persistence Strategies
AI tool turns handwritten sales logs into digital insights for small businesses
techxplore.com·15h
🆕New AI