Logic Programming, Query Languages, Graph Algorithms, Analysis

Handbook of Satisfiability (2021)
iospress.com·5d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
I needed fast embedded storage. RocksDB wasn't it. So I built TidesDB
tidesdb.com·9h·
Discuss: Hacker News
📋Columnar Storage
Flag this post
Leaving PyTorch and Meta
soumith.ch·1d·
🔥PyTorch
Flag this post
Jsonpat - a go library for unmarshaling JSON with dynamic keys.
reddit.com·19h·
Discuss: r/golang
🐹golang
Flag this post
I've created a leetcode-like platform for system design
systemstudio.app·2d·
Discuss: DEV
🎨Design Systems
Flag this post
ERD Models
dev.to·2d·
Discuss: DEV
🏗️Data Modeling
Flag this post
Normalized tensor train decomposition
arxiv.org·1d
🧮Embeddings
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·5d
🔍RAG
Flag this post
SDET to SDE Journey begins
dev.to·19h·
Discuss: DEV
🔍Reverse Engineering
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·4d
💬Prompt Engineering
Flag this post
Accelerating AI Agent Development: Strategies for Faster Iteration and Deployment
dev.to·12h·
Discuss: DEV
🚀MLOps
Flag this post
Expected Value Analysis in AI Product Management
towardsdatascience.com·1d
💰TigerBeetle
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.to·3d·
Discuss: DEV
🦙Ollama
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·3d
📊Dynamic Programming
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·5d·
Discuss: Hacker News
🐘PostgreSQL
Flag this post
Unlock Dual Revenue: How to Monetize Your LLM Apps with AI Conversations
dev.to·1d·
Discuss: DEV
💬Prompt Engineering
Flag this post
Unlocking AI's Potential: Beyond the Code, It's All About the Ecosystem
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
github.com·2d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
How To Run an Open-Source LLM on Your Personal Computer
dev.to·19h·
Discuss: DEV
🦙Ollama
Flag this post