Is the Microsoft Teams data export tool vaporware?
blog.zulip.com·2h·
Discuss: Hacker News
👁️System Observability
Write Your Own Retro Compiler
t3x.org·4d·
Discuss: Hacker News
⚙️PL Implementation
Disaggregation: A New Architecture for Cloud Databases
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
All You Need Is SSH
wrongthink.link·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Clojure's Solutions to the Expression Problem
infoq.com·2d·
Discuss: Hacker News
🐫OCaml
OntoMotoOS: An "Operating System" Between Delusion and Scholarship
medium.com·2d·
Discuss: Hacker News
🔬Unikernels
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
Notion's hosted MCP server: an inside look
notion.com·6d·
Discuss: Hacker News
💎Refinement Types
How To Work With Local AI in the Zed IDE
thenewstack.io·3h
📦Unikernel Systems
New parametric CAD BREP kernel attempt
github.com·1d·
Discuss: Hacker News
🐫OCaml
AIs will greatly change engineering in AI companies well before AGI
lesswrong.com·1d
👁️System Observability
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·6d
🧠Automated Reasoning
AURAD: Anatomy-Pathology Unified Radiology Synthesis with Progressive Representations
arxiv.org·2d
🐫OCaml
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.org·1d
📚Automata Learning
Causal Debiasing Medical Multimodal Representation Learning with Missing Modalities
arxiv.org·1d
🩹Self-Healing Systems
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.org·6d
📝Term Rewriting
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·1d
📦Unikernel Systems
Biomedical Literature Q&A System Using Retrieval-Augmented Generation (RAG)
arxiv.org·1d
🧩Parser Combinators
MRI-Based Brain Tumor Detection through an Explainable EfficientNetV2 and MLP-Mixer-Attention Architecture
arxiv.org·1d
🧩Parser Combinators
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com·22h·
Discuss: r/programming
🔄Reproducible Builds