🔀 CRDTs

Conflict-Free Replicated, Eventually Consistent, Distributed Editing, Merge Semantics

Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·19h·
Discuss: Hacker News
🔀jj
Three ways formally verified code can go wrong in practice
buttondown.com·1h
💻Programming languages
Introducing Variant: A New Open Standard for Semi-Structured Data in Apache Parquet™, Delta Lake, and Apache Iceberg™
databricks.com·8h
📄File Formats
Truly distributed and 5x more resilient - CockroachDB vs Oracle GDD
cockroachlabs.com·19h
🐘PostgreSQL
Why Future AIs will Require New Alignment Methods
lesswrong.com·4h
🛡️AI Safety
Open Lineage
usenix.org·15h
📘Typescript
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·23h·
Discuss: Hacker News
🏗️LLM Infrastructure
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·6h·
Discuss: r/programming
🌿Leptos
Hackathon Winners: Plugins Designed for DevOps
usetrmnl.com·21h
🔧Developer Tools
MultiPar 1.3.3.5 Beta / 1.3.2.9
majorgeeks.com·11h
📄File Formats
**Nue 2.0:** The UNIX of the web
nuejs.org·9h
🌐Web Standards
Operable Software
ferd.ca·5h·
Discuss: Hacker News
🌐Distributed systems
finetuning Medium or Small language model for factual and memorizing data.
reddit.com·9h·
Discuss: r/LocalLLaMA
🔄LLM RAG Pipelines
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🔧Developer tools
A Manifesto for the Programming Desperado
github.com·3h·
Discuss: Hacker News
🪄Prompt Engineering
A sprinkle of Rust - bind, don't rewrite, in the age of MCP servers
medium.com·20h·
Discuss: r/rust
🦀Rust
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·19h·
Discuss: Hacker News
🚀Async Optimization
Copilot on Windows can now create Office documents and connect to Gmail - The Verge
news.google.com·9h
📡RSS
How different AI engines generate and cite answers
searchengineland.com·7h
📊Feed Optimization
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·18h·
Discuss: Hacker News
🏆LLM Benchmarking