How to create an ACID compliant toy db in Rust
deebkit.com·23h·
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·3h·
Discuss: Hacker News
🔓Open Source Software
Show HN: Qwen3-Coder API – 480B open-source code LLM
netmind.ai·3d·
Discuss: Hacker News
🤖Archive Automation
Introducing voyage-context-3: focused chunk-level details with global document context
blog.voyageai.com·4d·
Discuss: Hacker News
📄Text Chunking
AraTable: Benchmarking LLMs' Reasoning and Understanding of Arabic Tabular Data
arxiv.org·2d
🌳Context free grammars
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·4d·
Discuss: Hacker News
🔗Functional Compilers
Kernel
web.cs.wpi.edu·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
8 Advanced Python List Concepts with Real Use Cases
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Generation of Synthetic Clinical Text: A Systematic Review
arxiv.org·2d
📝Concrete Syntax
Introduction to MCP Servers and writing one in Python
dev.to·8h·
Discuss: DEV
🌐NetworkProtocols
[N] PapersWithCode sunsets, new HuggingFace Papers UI
reddit.com·2d·
Discuss: r/MachineLearning
🗜️Graph Compression
What Is a Query Folding in Power BI and Why should You Care?
towardsdatascience.com·1d
🧠Query Planners
LMDB (Lightning Memory-Mapped Database)
en.wikipedia.org·2d·
Discuss: Hacker News
📝Database WAL
Pair Programming With ChatGPT: An Experience Report
brainbaking.com·22h·
Discuss: Hacker News
🦀Rust Macros
Inference Gateway – Open-Source
github.com·22h·
Discuss: Hacker News
⚡gRPC
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·5d·
Discuss: Hacker News
🌳Context free grammars
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·5h·
Discuss: DEV
🌀Brotli Internals