Kale: A Transformation-Safe Spreadsheet System https://lobste.rs/s/tkrcrg #pdf #compsci #design
https://arxiv.org/abs/2608.26345
compsci
Aho-Corasick Algorithm via @abnv https://lobste.rs/s/s0x5nd #compsci
https://compiler.club/aho-corasick/
Adversarial examples for fast hash functions https://lobste.rs/s/lmmuu3 #compsci #math
https://thomasahle.com/blog/adversarial-examples-for-hashes/
The Sync Heap: Delete First, Ask Questions Later https://lobste.rs/s/a371nr #pdf #compsci
https://arxiv.org/pdf/2608.07134
Researchers achieve fastest and most complex DNA computer to date https://lobste.rs/s/c9nglp #compsci #science
https://interestingengineering.com/science/first-of-its-kind-dna-computer-solves-complex-math-without-wires-or-continuous-power
Conquering Recursion https://lobste.rs/s/glfn7i #apl #compsci
https://nsl.com/misc/Conquering_Recursion.html
Consistent Hashing Proofs https://lobste.rs/s/eplmed #compsci #math
https://ch.terabyteoff.com/
ZK-JPEG: Zero-knowledge Image Editing and Compression https://lobste.rs/s/cvqxkk #compsci #security
https://eprint.iacr.org/2026/2039
Running an Optimal Trace https://lobste.rs/s/jbbxgy #show #compsci
https://anishathalye.com/optimal-trace/
Parallel O(sqrt n) Overhead LSD Radix Sort via @fanf https://lobste.rs/s/9ac8ta #compsci
https://arxiv.org/abs/2607.05302
Lifestreams: a storage model for personal data (1996) https://lobste.rs/s/xb9tkn #pdf #compsci #design
https://www.ee.columbia.edu/~dpwe/papers/FreeG96-lifestreams.pdf
Fifty Years of Open Source Software Supply Chain Security https://lobste.rs/s/9jjplv #compsci #security
https://queue.acm.org/doi/10.1145/3722542
Flat vs segmented memory -- it's recursive via @fanf https://lobste.rs/s/tvoo4x #compsci
https://www.humprog.org/~stephen/blog/2026/08/25/#flat-vs-segmented
Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents https://lobste.rs/s/puijfw #compsci #formalmethods #unix
https://arxiv.org/abs/2609.04043
Let's build a compressor from scratch https://lobste.rs/s/3y9lbw #compsci #programming #rust
https://ochagavia.nl/blog/lets-build-a-compressor-from-scratch/
Shared Memory Consistency From Scratch Part 1: Causality https://lobste.rs/s/a8vqek #compsci #hardware
https://allthoughts.me/blog/shared-memory-consistency-from-scratch-part1/
bzip3: A better and stronger spiritual successor to BZip2 https://lobste.rs/s/9coxwz #compsci #performance
https://github.com/iczelia/bzip3
Bitap: my favorite string matching algorithm https://lobste.rs/s/aguhup #compsci
https://jo3-l.dev/posts/bitap/
A stackless floodfill automation (2023) via @lobsters https://lobste.rs/s/tp0zlk #pdf #compsci
https://t3x.org/files/floodfill.pdf
How curl was accidentally Turing-complete for nine months https://lobste.rs/s/f4aqog #compsci
https://seriot.ch/computation/curl.html
Two-Stack Sliding-Window Aggregation via @fanf https://lobste.rs/s/49glor #compsci
https://orlp.net/blog/two-stack-sliding-window-aggregation/
Mars Pathfinder Priority Inversion Bug: What Really Happened https://lobste.rs/s/pmwc4h #compsci #debugging
https://nerdyelectronics.com/mars-pathfinder-what-really-happened/
Mergeable Summaries (2013) https://lobste.rs/s/rddkyc #pdf #compsci
https://dl.acm.org/doi/pdf/10.1145/2500128
ZXC: Lossless compression built for ultra-fast decode https://lobste.rs/s/mf3tmv #compsci
https://libzxc.org/