Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·16h
⚡functional programming
AI Vector Database: Transforming Search with Smarter Vector Database Solutions
future.forem.com·23h·
Discuss: DEV
🔍Query Engines
A PhD in Snapshots
rbharath.github.io·1d·
Discuss: Hacker News
🎯Finite Automata
Cuckoo hashing improves SIMD hash tables
reiner.org·2d·
Discuss: Lobsters, Hacker News, r/rust
🏗️Hash Tables
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
Four years, Five failures, One compiler
daymare.net·2d·
Discuss: Hacker News, r/programming
🌱Minimal Languages
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🔍ML Language
Advanced RAG: Comparing GraphRAG, Corrective RAG, and Self-RAG
pub.towardsai.net·1d
🌊Streaming Lexers
Homerow Mods at 100+ WPM
reddit.com·1d·
Discuss: r/ErgoMechKeyboards
💻Terminal Emulators
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·1d·
Discuss: DEV
🔗Hash Functions
How to implement unique word generation via token graph traversal with local LLMs?
reddit.com·1d·
Discuss: r/LocalLLaMA
🔍Tokenizers
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🌲Tree Rewriting
Why do LLMs freak out over the seahorse emoji?
vgel.me·1d·
Discuss: Lobsters, Hacker News
🔍Parsing Algorithms
October 6 letter
dev.to·4h·
Discuss: DEV
⚡Live Coding
Mastering LangChain & LangGraph: Your Ultimate Resource Hub
dev.to·18h·
Discuss: DEV
🌉Language Bridges
Neon: Negative Extrapolation From Self-Training Improves Image Generation
arxiv.org·9h
✨Effect Inference
AI Development Interview Questions : Mock Interviews
dev.to·11h·
Discuss: DEV
🎭Program Synthesis
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·9h
✨Effect Inference
Mechanisms for Quantum Advantage in Global Optimization of Nonconvex Functions
arxiv.org·9h
⚡Partial Evaluation
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
📋Souffle Datalog