The 12 highest-rated articles on Lobsters on September 20, 2021 which have not appeared on any previous Lobsters Daily are:

• Is the formal methods winter about to end?
  ask formalmethods
  Comments
• Sidenotes In Web Design
  design web
  Comments
• The elements of git
  vcs
  Comments
• The DragonFlyBSD Operating System (2004)
  pdf dragonflybsd osdev unix
  Comments
• A History of Clojure with Q&A
  video clojure historical
  Comments
• Serving Netflix Video at 400Gb/s
  pdf freebsd hardware networking performance
  Comments
• Rust on the MOS 6502: Beyond Fibonacci
  rust
  Comments
• Insight Debugger
  assembly debugging
  Comments
• Oil Has Multi-line Commands and String Literals
  programming unix
  Comments
• Classic Console Neue
  design
  Comments
• NetHack Challenge
  games science
  Comments
• Infrastructure as SQL
  databases devops
  Comments

The 12 highest-rated articles on Lobsters on August 27, 2021 which have not appeared on any previous Lobsters Daily are:

• there is no such thing as a “glibc based alpine image”
  linux
  Comments
• Linux in a Pixel Shader - A RISC-V Emulator for VRChat
  assembly graphics
  Comments
• Faster Top Level Domain Name Extraction with Rust
  rust
  Comments
• Rudra: a static analyzer to detect common undefined behaviors in Rust programs
  formalmethods rust
  Comments
• prettymaps: A small set of Python functions to draw pretty maps from OpenStreetMap data
  python
  Comments
• Learning by rewriting - bash, jq and fzf details
  linux practices
  Comments
• Useful and Useless Code Comments
  practices programming
  Comments
• Nix/NixOS package version diff tool
  linux osdev programming unix
  Comments
• SAT/SMT by Example
  pdf formalmethods
  Comments
• Haiku activity report - Summer 2021
  osdev
  Comments
• Postgres Extensions in Rust
  databases rust
  Comments
• Thousands of Debian packages updated from their upstream Git repository
  linux
  Comments

The 12 highest-rated articles on Lobsters on August 13, 2021 which have not appeared on any previous Lobsters Daily are:

• Breaking the web forward
  browsers web
  Comments
• Kind: A modern proof language
  formalmethods plt
  Comments
• Paranoid NixOS on AWS
  devops linux
  Comments
• FreeBSD Experiment Rethinks The OS Install
  freebsd
  Comments
• A future for SQL on the web
  databases javascript web
  Comments
• Session switching with the tmux menu
  unix
  Comments
• C programming language extension: Cedro pre-processor
  show c compilers plt
  Comments
• New features in Neovim 0.5
  vim
  Comments
• Essence
  osdev
  Comments
• Procedurally generated fish drawings in javascript
  graphics javascript
  Comments
• GitHub’s Engineering Team has moved to Codespaces
  practices release
  Comments
• String Interpolation in C# 10 and .NET 6
  dotnet
  Comments

The 12 highest-rated articles on Lobsters on August 5, 2021 which have not appeared on any previous Lobsters Daily are:

• The push for GATs stabilization
  rust
  Comments
• The 5-hour CDN
  networking scaling web
  Comments
• We need an open source license for distributed systems
  distributed law
  Comments
• Exploring the SameSite cookie attribute for preventing CSRF
  browsers security web
  Comments
• Pinion — Nice-looking interactive diagrams for KiCAD PCBs
  design hardware
  Comments
• Internet Explorer for UNIX
  video historical unix
  Comments
• Linux Kernel Security Done Right
  linux security
  Comments
• Optional Chaining: The ?. Operator in TypeScript
  javascript
  Comments
• 3rd edition of Web Development with Clojure is out
  clojure web
  Comments
• Security Analysis of CHERI ISA
  pdf security
  Comments
• Microsoft Edge experimenting with a Super Duper Secure Mode
  browsers
  Comments
• Elements of Differential Geometry in Lean: A Report for Mathematicians
  formalmethods math
  Comments

The 12 highest-rated articles on Lobsters on July 15, 2021 which have not appeared on any previous Lobsters Daily are:

• The Database Ruins All Good Ideas
  scaling
  Comments
• The problem of effects in Rust (2020)
  rust
  Comments
• Specification Refinement
  formalmethods
  Comments
• Libre-SOC 180nm Power ISA ASIC Submitted to Imec for Fabrication
  hardware
  Comments
• What is your oldest living presence on the World Wide Web?
  ask historical
  Comments
• XMPP Novelties in Debian 11 Bullseye
  linux
  Comments
• git-retroamend: Amend changes to an old git commit
  programming vcs
  Comments
• Getting lively with Firefox 90
  browsers release
  Comments
• PostgreSQL: LIMIT vs FETCH FIRST ROWS ... WITH TIES
  databases
  Comments
• NetBSD/Desktop: Scalable Workstation Systems
  pdf netbsd osdev unix
  Comments
• The universal VM we call browser
  browsers
  Comments
• Enhancing Elixir Documentation with Mermaid Charts
  design elixir
  Comments

The 12 highest-rated articles on Lobsters on July 8, 2021 which have not appeared on any previous Lobsters Daily are:

• Write code that is easy to delete, not easy to extend. (2016)
  practices
  Comments
• Google’s unfair performance advantage in Chrome
  android browsers mobile web
  Comments
• The State of Python Packaging in 2021
  python
  Comments
• Goodbye C developers: The future of programming with certified program synthesis
  formalmethods programming
  Comments
• Vim is actually worth it
  vim
  Comments
• First new vax in ...30 years? :-)
  hardware historical
  Comments
• Extend Your Language, Don’t Alter It
  plt
  Comments
• Password generator in Kaspersky Password Manager used biased non-cryptographic PRNG
  crypto security
  Comments
• One Database Transaction Too Many
  databases python
  Comments
• A Clojure processor that's almost a drop-in replacement for php-fpm behind Nginx
  clojure php web
  Comments
• Comparison of Haskell & Julia List Comprehensions
  haskell programming
  Comments
• Reverse Engineering WiFi on RISC-V BL602
  hardware reversing
  Comments

The 12 highest-rated articles on Lobsters on July 5, 2021 which have not appeared on any previous Lobsters Daily are:

• How fast should an unoptimized terminal run?
  video programming
  Comments
• Write a time-series database engine from scratch
  databases
  Comments
• Bryan Cantrill interviewed at ACM Bytecast
  culture performance person
  Comments
• I Don't Find hjkl-Navigation Intuitive or Ergonomic
  rant vim
  Comments
• Commit Often, Perfect Later, Publish Once—Git Best Practices
  vcs
  Comments
• Bringing emulation into the 21st century
  programming satire
  Comments
• Where are we going from here? Software engineering needs formal methods
  formalmethods practices
  Comments
• CompilerJobs
  compilers job
  Comments
• visualise your iptables chains
  networking
  Comments
• EndBASIC 0.7: Hello, cloud
  release
  Comments
• A dark userstyle for https://lobste.rs that aims to be simple and robust
  show css
  Comments
• Reverse engineering the Motorola Sensorhub: Part 1
  reversing
  Comments

The 12 highest-rated articles on Lobsters on July 2, 2021 which have not appeared on any previous Lobsters Daily are:

• SparkFun Hooks a Patent Troll
  law
  Comments
• Towards richer colors on the Web
  css graphics
  Comments
• A sudoku game where you have to prove that your deductions are valid
  formalmethods games
  Comments
• The unseen benefits of accessibility
  a11y
  Comments
• How to set up Neovim 0.5 + Modern plugins (LSP, Treesitter, Fuzzy finder, etc)
  vim
  Comments
• xmake v2.5.5 released, Support to download and install precompiled packages
  c c++ lua programming release
  Comments
• Introducing PathQuery, Google's Graph Query Language
  databases scaling
  Comments
• FUSE-based file system to inject faults
  distributed testing
  Comments
• Cross Compiling Rust Binaries with Github Actions
  rust
  Comments
• Hash maps that don’t hate you
  plt programming
  Comments
• Too simple to be simple
  math
  Comments
• New Formatters in iOS 15: Why do we need another formatter
  ios swift
  Comments

The 12 highest-rated articles on Lobsters on June 7, 2021 which have not appeared on any previous Lobsters Daily are:

• How does a USB keyboard work?
  video hardware
  Comments
• The repeated deaths of OOP
  programming
  Comments
• actually, BSD kqueue is a mountain of technical debt
  freebsd linux
  Comments
• FreeBSD from a NetBSD user’s perspective
  freebsd netbsd osdev unix
  Comments
• Introducing NativeShell for Flutter (Simple Rust FFI & platform native UI)
  release rust
  Comments
• Dolphin MEGA Progress Report: April and May 2021
  programming
  Comments
• A new future for icanhazip
  historical scaling
  Comments
• Half a year of the Liquid Tensor Experiment: Amazing developments
  formalmethods math
  Comments
• Today's computer chips are so advanced, they are more 'mercurial' than precise
  hardware
  Comments
• Docker is a compiler
  devops
  Comments
• RISC vs. CISC Is the Wrong Lens for Comparing Modern x86, ARM CPUs
  assembly
  Comments
• Stateright: A model checker for implementing distributed systems
  formalmethods rust
  Comments

The 12 highest-rated articles on Lobsters on June 5, 2021 which have not appeared on any previous Lobsters Daily are:

• An Unbelievable Demo
  historical
  Comments
• Brilliant Jerks in Engineering
  practices
  Comments
• The faster you unlearn OOP, the better for you and your software (2018)
  practices programming
  Comments
• On fires
  vcs
  Comments
• My Magical Adventure With cloud-init
  devops linux
  Comments
• Fuzzing is Beta Ready
  go security testing
  Comments
• Dwarf Fortress Creator Explains its Complexity & Origins
  video games
  Comments
• Automatic Rust verification tools (2021)
  formalmethods rust
  Comments
• SQLite Data Starter Packs- data sets packaged in SQLite DBs for practice use
  databases
  Comments
• Why Uninstall Ruby?
  ask mac ruby
  Comments
• Zig 0.8.0 Release Notes
  release zig
  Comments
• .NET Open Source: What Happens When the Free Lunch Ends?
  culture dotnet
  Comments