Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·11h
⚡functional programming
AI Vector Database: Transforming Search with Smarter Vector Database Solutions
future.forem.com·19h·
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
Simple hash map in C, for learning purpose
reddit.com·21h·
Discuss: r/C_Programming
🏷️Symbol Interning
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
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·22h·
Discuss: DEV
🔗Hash Functions
How to implement unique word generation via token graph traversal with local LLMs?
reddit.com·1d·
Discuss: r/LocalLLaMA
🔍Tokenizers
Beyond Outcome Reward: Decoupling Search and Answering Improves LLM Agents
arxiv.org·4h
💬Interactive REPLs
LLMs are badly misaligned
lesswrong.com·1d
✅Type Checking
On Using Large Language Models to Enhance Clinically-Driven Missing Data Recovery Algorithms in Electronic Health Records
arxiv.org·4h
⚖️Weighted Automata
A Study of Neural Polar Decoders for Communication
arxiv.org·1d
🪜Recursive Descent
I built RAGSharp: a lightweight RAG library for .NET
dev.to·13h·
Discuss: DEV
💬Smalltalk VMs
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·11h·
Discuss: DEV
🌐Network Protocols
Automating Text-to-Video Pipelines with Sora 2 and n8n
dev.to·19h·
Discuss: DEV
⚡Live Programming
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·5h·
Discuss: DEV
📦Monorepos
Training Dynamics of Parametric and In-Context Knowledge Utilization in Language Models
arxiv.org·1d
🪜Recursive Descent
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·1d
🎮Language Ergonomics