The Trouble with Leader Elections in distributed systems (via rrampage) — discussion

#distributed

sqlite-vec: A vector search for SQLite (via sanxiyn) — discussion

#databases

A float walks into a gradual type system (via carlana) — discussion

#plt

Hateris - Obsession, Friendship, and World Records (by adamgordonbell) — discussion

#audio #rust #transcript

On AX, DX, and UX (via carlana) — discussion

#ai #design

The Empty Promise of AI-Generated Creativity (via voltagex) — discussion

#ai #art

ASK: What are you doing this week? (by caius)

#ask #programming

See yourself, at runtime (by refaktor) — discussion

#plt #programming

Basic Awareness in Addition to Deep Understanding (via bitfield) — discussion

#practices

illuminant - ActivityPub server with NNTP interface (via sknebel) — discussion

#distributed #haskell #web

Apple's Software Quality Crisis: When Premium Hardware Meets Subpar Software (by eliseomartelli) — discussion

#ios #rant

What to know about Mistral AI: The company behind the latest GPT-4 rival (via laktak) — discussion

#ai

Alibaba Launches C930 RISC-V Chip Amid Shift from Western Tech (via sanxiyn) — discussion

#hardware

A Distributed Snowflake-like ID Generator (by siddharthsabron1729) — discussion

#distributed #java

Evidence: Generate reports using SQL and markdown (via sanxiyn) — discussion

#programming

This Linux laptop maker called me a Zombie (via thang) — discussion

#linux

A Mechanically Verified Garbage Collector for OCaml (via rrampage) — discussion

#formalmethods #ml #pdf

When Nanoseconds Matter: Ultrafast Trading Systems in C++ (via dbremner) — discussion

#c++ #performance #video

Tangled — a git collaboration platform built on atproto (by icy) — discussion

#distributed #show #vcs

Effective Rust (via ucirello) — discussion

#rust