#compsci

How curl was accidentally Turing-complete for nine months https://lobste.rs/s/f4aqog #compsci https://seriot.ch/computation/curl.html

A stackless floodfill automation (2023) via @lobsters@mastodon.social https://lobste.rs/s/tp0zlk #pdf #compsci https://t3x.org/files/floodfill.pdf

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

One Hash Bloom Filters via @lobsters@mastodon.social https://lobste.rs/s/mpytbn #compsci #databases https://www.calabro.io

A5 v1.0 https://lobste.rs/s/wtthju #compsci #math #rust #visualization https://a5geo.org/blog/2026/10/14/a5-v1

JPEG XL vs AVIF for web use-cases https://lobste.rs/s/uejdwj #compsci #web https://jakearchibald.com/2026/jpeg-xl-vs-avif/

ZXC: Lossless compression built for ultra-fast decode https://lobste.rs/s/mf3tmv #compsci https://libzxc.org/

Conquering Recursion https://lobste.rs/s/glfn7i #apl #compsci https://nsl.com/misc/Conquering_Recursion.html

Mergeable Summaries (2013) https://lobste.rs/s/rddkyc #pdf #compsci https://dl.acm.org/doi/pdf/10.1145/2500128

Mars Pathfinder Priority Inversion Bug: What Really Happened https://lobste.rs/s/pmwc4h #compsci #debugging https://nerdyelectronics.com/mars-pathfinder-what-really-happened/

Automata and Flowers https://lobste.rs/s/ly4io4 #compsci #culture https://luisacicolini.github.io/posts/automata-flowers/

Two-Stack Sliding-Window Aggregation via @fanf@mendeddrum.org https://lobste.rs/s/49glor #compsci https://orlp.net/blog/two-stack-sliding-window-aggregation/

Aho-Corasick Algorithm via @abnv@fantastic.earth https://lobste.rs/s/s0x5nd #compsci https://compiler.club/aho-corasick/

Fifty Years of Open Source Software Supply Chain Security https://lobste.rs/s/9jjplv #compsci #security https://queue.acm.org/doi/10.1145/3722542

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

Running an Optimal Trace https://lobste.rs/s/jbbxgy #show #compsci https://anishathalye.com/optimal-trace/

Adversarial examples for fast hash functions https://lobste.rs/s/lmmuu3 #compsci #math https://thomasahle.com/blog/adversarial-examples-for-hashes/

ZK-JPEG: Zero-knowledge Image Editing and Compression https://lobste.rs/s/cvqxkk #compsci #security https://eprint.iacr.org/2026/2039

Consistent Hashing Proofs https://lobste.rs/s/eplmed #compsci #math https://ch.terabyteoff.com/

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