How to create an ACID compliant toy db in Rust
deebkit.com·1d·
Discuss: Hacker News
📝Database WAL
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com·1d·
Discuss: Hacker News
🏛️Isabelle HOL
We Built An Entire Newsroom with LLMs – Then We Showed The Print To the Real One
medium.com·5d·
Discuss: Hacker News
📋Document Layout
Qwen team releases an open agentic coding model with tooling
infoq.com·6h·
Discuss: Hacker News
🔓Open Source Software
Show HN: Qwen3-Coder API – 480B open-source code LLM
netmind.ai·3d·
Discuss: Hacker News
🤖Archive Automation
Kernel
web.cs.wpi.edu·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
LMDB (Lightning Memory-Mapped Database)
en.wikipedia.org·2d·
Discuss: Hacker News
📝Database WAL
What Is a Query Folding in Power BI and Why should You Care?
towardsdatascience.com·1d
🧠Query Planners
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·5d·
Discuss: Hacker News
🌳Context free grammars
Machine Learning Fundamentals: hyperparameter tuning project
dev.to·1d·
Discuss: DEV
📊Feed Optimization
Invisible Programming Language
en.wikipedia.org·2d·
Discuss: Hacker News, r/programming
🔗Concatenative Languages
DevStash: AI-Powered Developer Knowledge Management with Algolia MCP
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Speaker Disentanglement of Speech Pre-trained Model Based on Interpretability
arxiv.org·2d
🎵Audio ML
Building a Smart Recipe Discovery Platform with Algolia MCP Server
dev.to·33m·
Discuss: DEV
🧮Algorithmic Cooking
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·2d
🧮Vector Embeddings
Python XLSX Reader Guide
dev.to·1h·
Discuss: DEV
💾Database Formats
Developer Walk-Through of Aider, an Open Source Agentic CLI
thenewstack.io·1d
👑Isabelle
Build a Fullstack Stock Portfolio Agent with LangGraph and AG-UI
dev.to·3d·
Discuss: DEV
📐Proof Assistants
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·1d
🔤Type Theory
🧠 What’s the deal with MCP? And why you should start exploring it now
dev.to·17h·
Discuss: DEV
💧Liquid Types