We Built An Entire Newsroom with LLMs – Then We Showed The Print To the Real One
medium.com·5d·
Discuss: Hacker News
📋Document Layout
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·2d·
Discuss: Hacker News
🏛️Isabelle HOL
Kernel
web.cs.wpi.edu·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
LLMs remain vulnerable to "jailbreaking" through adversarial prompts
link.springer.com·3d·
Discuss: Hacker News
💻Local LLMs
What Is a Query Folding in Power BI and Why should You Care?
towardsdatascience.com·2d
🧠Query Planners
Invisible Programming Language
en.wikipedia.org·2d·
Discuss: Hacker News, r/programming
🔗Concatenative Languages
Show HN: LunaSVG – C++ Library for Rendering and Manipulating SVG Documents
github.com·20h·
Discuss: Hacker News
🔤Swedish Fonts
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
🧠 What’s the deal with MCP? And why you should start exploring it now
dev.to·20h·
Discuss: DEV
💧Liquid Types
Build an intelligent eDiscovery solution using Amazon Bedrock Agents
aws.amazon.com·2d
🔄Document Workflows
Axiomatizing Rumsfeld Ignorance
arxiv.org·2d
🔲Proof Irrelevance
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·1d
🔤Type Theory
Towards Robust Foundation Models for Digital Pathology
arxiv.org·2d
🧠Machine Learning
✨ How I Built Philosophy AI Agent for WLH Project
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Programming Language Escape Hatches
buttondown.com·3d·
Discuss: Hacker News
🦀Rust Macros
I built a Supercharged PDFs-ChatBot with LangChain and Streamlit, and you can too!
dev.to·3d·
Discuss: DEV
🎙️Whisper
Building Trust in AI: Enterprise Knowledge Base Validation with MindsDB
dev.to·2d·
Discuss: DEV
🧬PostgreSQL Forensics
TDR: Task-Decoupled Retrieval with Fine-Grained LLM Feedback for In-Context Learning
arxiv.org·2d
🔍Information Retrieval