Programming

Model checking safety of Ben-Or's Byzantine consensus with Apalache (protocols-made-fun.com)
21 days ago

Summarization-Based Document IDs for Generative Retrieval with Language Models (arxiv.org)
21 days ago

Time Standards Reference (geometrian.com)
21 days ago

Matrix and XMPP: Thoughts on Improving Messaging Protocols – Part 1 (www.process-one.net)
21 days ago

Disaggregated Storage - a brief introduction (avi.im)
21 days ago

qcp: QUIC File Copy (github.com)
21 days ago

CSS sprite sheet animations (leanrada.com)
21 days ago CSS

The Original Author of the Fernflower Java Decompiler, Stiver, has Passed Away (blog.jetbrains.com)
21 days ago Java

Rhombus: A New Spin on Macros without All the Parentheses (dl.acm.org)
21 days ago

RRB Vector: A Practical General Purpose Immutable Sequence (infoscience.epfl.ch)
21 days ago

Rust's Most Subtle Syntax (zkrising.com)
21 days ago Rust

Say the prime (saytheprime.com)
21 days ago

What has case distinction but is neither uppercase nor lowercase? (devblogs.microsoft.com)
21 days ago

Ruby on (Guard)Rails (mikemcquaid.com)
22 days ago Ruby Ruby on Rails

Ractor - A Rust actor framework (slawlor.github.io)
22 days ago Rust

Moving my game project from C to the Odin language (akselmo.dev)
22 days ago Game

Async Rust vs RTOS showdown (2022) (tweedegolf.nl)
22 days ago Rust

An update on Apple M1/M2 GPU drivers (lwn.net)
22 days ago Apple

Breaking CityHash64, MurmurHash2/3, wyhash, and more (orlp.net)
22 days ago

Don't return named tuples in new APIs (snarky.ca)
22 days ago

smolweb HTML specification (smolweb.org)
22 days ago

A game to understand AI alignement by making paperclips (www.decisionproblem.com)
22 days ago AI Game

Sortledton: a Universal, Transactional Graph Data Structure (www.vldb.org)
22 days ago

The State of Racket (youtu.be)
22 days ago

m4 crimes for metaprogramming Processing (eighty-twenty.org)
22 days ago

Async Rust vs RTOS showdown (tweedegolf.nl)
22 days ago Rust

Deer Text Format - the system powering this site, and how it can work for you (deerz.one)
22 days ago

The Lounge: a Modern, responsive, cross-platform, self-hosted web IRC client (github.com)
22 days ago

Having fun with modern C++ (lemire.me)
22 days ago C++

Why pg_dump Is Amazing (rhaas.blogspot.com)
22 days ago

Previous Page Next Page