Placing Arguments
blog.yoshuawuyts.com·17h
🦀Rust Macros
How Graphs Boost LLM Precision and Explainability in Cybersecurity
hackernoon.com·1d
💻Local LLMs
Name Matching in Sanctions Screening
senzing.com·17h·
Discuss: Hacker News
🔤Unicode Normalization
Say No to Venn Diagrams When Explaining JOINs (2016)
blog.jooq.org·3h·
Discuss: Hacker News
🧮Datalog
Ask HN: Are foreign key constraints still useful?
news.ycombinator.com·18h·
Discuss: Hacker News
🗄️Database Internals
TT-XAI: Trustworthy Clinical Text Explanations via Keyword Distillation and LLM Reasoning
arxiv.org·13h
🔍Information Retrieval
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·22h·
Discuss: Hacker News
🐚Shell Monads
Build a conversational natural language interface for Amazon Athena queries using Amazon Nova
aws.amazon.com·1h
🌀Brotli Internals
The Case for Case Insensitivity (2005)
blog.codinghorror.com·6h·
Discuss: Hacker News
💻Programming languages
Comparison of Generic Container Libraries for C
github.com·3h·
Discuss: Hacker News
💧Liquid Types
AI-Powered Predictive Maintenance for Intermodal Container Logistics Using Hybrid Bayesian Networks
dev.to·17h·
Discuss: DEV
🧮Kolmogorov Bounds
Sacred or Synthetic? Evaluating LLM Reliability and Abstention for Religious Questions
arxiv.org·13h
💻Programming languages
Evaluating Document Extraction Accuracy
runpulse.com·1d·
Discuss: Hacker News
📋Document Layout
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·1d
🎯Performance Proofs
Writing an LLM from scratch, part 17 – the feed-forward network
gilesthomas.com·19h·
Discuss: Hacker News
💻Local LLMs
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·1d·
Discuss: Hacker News
🧠Computational Logic
CoDAE: Adapting Large Language Models for Education via Chain-of-Thought Data Augmentation
arxiv.org·13h
🎙️Whisper
Vibe Coding - Conversational Software Development - Part 3 Prompt Discipline
dev.to·2d·
Discuss: DEV
✨Effect Handlers
Researchers find LLMs are bad at logical inference, good at “fluent nonsense”
arstechnica.com·2d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🧮Theorem Proving
How we made our streaming joins 50% faster
blog.epsiolabs.com·9h·
Discuss: Hacker News
🧬PostgreSQL Forensics