Model checking safety of Ben-Or’s Byzantine consensus with Apalache (via ahelwer) — discussion

#distributed #formalmethods

Re-ranking search results on the client side (via haexwise) — discussion

#python #rust

Summarization-Based Document IDs for Generative Retrieval with Language Models (via emschwartz) — discussion

#ai

Time Standards Reference (via unwind) — discussion

#math #science #unix

Matrix and XMPP: Thoughts on Improving Messaging Protocols – Part 1 (via toastal) — discussion

#networking

Disaggregated Storage - a brief introduction (by av) — discussion

#databases

CSS sprite sheet animations (via jakelazaroff) — discussion

#css

qcp: QUIC File Copy (via fanf) — discussion

#networking

The Original Author of the Fernflower Java Decompiler, Stiver, has Passed Away (via hoistbypetard) — discussion

#java #person

Rhombus: A New Spin on Macros without All the Parentheses (via fanf) — discussion

#lisp #pdf

RRB Vector: A Practical General Purpose Immutable Sequence (via fanf) — discussion

#compsci #pdf

Say the prime (via robinhouston) — discussion

#math

Rust's Most Subtle Syntax (via bitfield) — discussion

#rust

What has case distinction but is neither uppercase nor lowercase? (via epilys) — discussion

#programming

Ruby on (Guard)Rails (via brycemecum) — discussion

#ruby

Moving my game project from C to the Odin language (via lobo) — discussion

#c

Ractor - A Rust actor framework (via eventhelix) — discussion

#rust

An update on Apple M1/M2 GPU drivers (via lonjil) — discussion

#linux #mac

Breaking CityHash64, MurmurHash2/3, wyhash, and more (via fanf) — discussion

#security

Don't return named tuples in new APIs (via equeue) — discussion

#python