Posts
Daily lobste.rs News for 2021-07-09
Daily lobste.rs News for 2021-07-08
Comparison of Haskell & Julia List Comprehensions (comments)
Write code that is easy to delete, not easy to extend. (2016) (comments)
Goodbye C developers: The future of programming with certified program synthesis (comments)
A Clojure processor that’s almost a drop-in replacement for php-fpm behind Nginx (comments)
Daily lobste.rs News for 2021-07-07
Audacity-fork without telemetry/CLA is gaining traction (comments)
NO_COLOR: disabling ANSI color output in various Unix commands (comments)
RustViz: Generates Visualizations of Rust Lifetime and Borrowing Mechanism (comments)
Poisson’s Equation is the Most Powerful Tool not yet in your Toolbox (comments)
China’s Zuchongzhi Quantum Computer is the most powerful in the world (comments)
Daily lobste.rs News for 2021-07-06
WikipediaQL: Query language for efficient data extraction from Wikipedia (early prototype) (comments)
Notes on structured concurrency, or: Go statement considered harmful [2018] (comments)
Entish: a datalog-like language for playing with implementing table-top RPG rules in formal logic (comments)
How Black Handles Comments When Python’s Grammar Ignores Them (comments)
A dark userstyle for https://lobste.rs that aims to be simple and robust (comments)
Daily lobste.rs News for 2021-07-05
Daily lobste.rs News for 2021-07-04
Chimera Linux: a Linux distribution based on FreeBSD userland and LLVM (comments)
Thoughts About Using Android Again as an iPhone User (comments)
Where are we going from here? Software engineering needs formal methods (comments)
Botnets, or This is Why We Cannot Have Nice Things (comments)
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged (comments)
Reverse engineering the Motorola Sensorhub: Part 1 (comments)
Daily lobste.rs News for 2021-07-03
Daily lobste.rs News for 2021-07-02
CLAs are not for open source, use a Developer Certificate of Origin (comments)
A sudoku game where you have to prove that your deductions are valid (comments)
xmake v2.5.5 released, Support to download and install precompiled packages (comments)
Using sqlite3 as a notekeeping document graph with automatic reference indexing (comments)
How to set up Neovim 0.5 + Modern plugins (LSP, Treesitter, Fuzzy finder, etc) (comments)