SAVE UKRAINE

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

• Gum: a tool for glamorous shell scripts
  show go
  Comments
• Code Density Compared Between Way Too Many Instruction Sets
  hardware performance
  Comments
• My 4G setup for working remotely from anywhere
  hardware networking
  Comments
• The different ways to handle errors in C
  c
  Comments
• Rust Is Actually Portable
  c rust
  Comments
• Stop aggregating away the signal in your data
  visualization
  Comments
• A Unified Theory of Garbage CollectIon (2004)
  pdf plt
  Comments
• Oil 0.11.0 - Big Features and Project Changes
  programming release unix
  Comments
• Treadmill (a "real-time" in-place garbage collection algorithm)
  compilers performance
  Comments
• Implementation of TypeScript's type system written in TypeScript's own type system
  javascript plt
  Comments
• The Natural Number Game - interactive Lean tutorial
  compsci formalmethods math
  Comments
• When It Does Not Listen for Thee, Ask for Whom the Server Listens (Understanding Listening Addresses
  linux networking
  Comments

SAVE UKRAINE

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

• The dangers of Microsoft Pluton
  hardware security
  Comments
• µON: Compact and simple binary encoding, on par (or outperforms) CBOR, MsgPack and UBJSON
  programming
  Comments
• The Ferrocene Language Specification is here
  compsci formalmethods rust
  Comments
• Help us test system trust stores in Python
  python security
  Comments
• Git with Multiple E-Mail Addresses
  vcs
  Comments
• Using BSD make
  programming
  Comments
• Game of Trees 0.74 released
  release vcs
  Comments
• 1993: CGI Scripts and Early Server-Side Web Programming
  historical web
  Comments
• Lua 5.1 C API manual pages
  lua programming
  Comments
• Discovery of new UEFI rootkit exposes an ugly truth: The attacks are invisible to us
  security
  Comments
• Python Release: Python 3.11.0b5
  python release
  Comments
• Why ChilselStrike is written in TypeScript
  javascript rust web
  Comments

SAVE UKRAINE

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

• No-code isn’t scalable. Our learnings at FINN going from 1000 toward 100,000 car subscriptions
  databases
  Comments
• Project Mentat
  databases rust
  Comments
• Non-Obvious Docker Uses
  devops
  Comments
• The nala frontend to APT
  linux python
  Comments
• User settings, Lamport clocks and lightweight formal methods
  distributed formalmethods
  Comments
• Metastable Failures in the Wild
  distributed scaling
  Comments
• Magefiles: Stop on first error
  go
  Comments
• The Problem with Speed Cubing
  video math science visualization
  Comments
• The Case for C# and .NET
  dotnet javascript
  Comments
• dwim-shell-command on melpa
  emacs
  Comments
• Practical Deep Learning for Coders 2022
  ai education python
  Comments
• Building a tiny little broken calculator with parser combinators
  javascript plt
  Comments

SAVE UKRAINE

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

• finally. #embed in C
  c c++
  Comments
• The tar archive format, its extensions, and why GNU tar extracts in quadratic time
  unix
  Comments
• Microsoft FOSS Fund Winner: curl
  networking web
  Comments
• The joys and perils of beating C with Haskell: productionizing wc
  haskell
  Comments
• Formal CHERI: design-time proof of full-scale architecture security properties
  formalmethods hardware security
  Comments
• Why MS Word jumped from version 2 to version 6
  historical windows
  Comments
• LLVM backend for m88k architecture
  compilers
  Comments
• The Lazy Way to Solve Differential Equations
  haskell math
  Comments
• Kerf
  databases plt
  Comments
• Making sure that people use make_unique and make_shared to make your object
  c++
  Comments
• Solaris Linkers and Libraries Guide
  compilers
  Comments
• “Meta-circular” Static Types
  lisp plt
  Comments

SAVE UKRAINE

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

• Porting OpenBSD pledge() to Linux
  linux openbsd
  Comments
• DNS Esoterica - Why you can't dig Switzerland
  networking
  Comments
• The Slow March of Progress in Programming Language Tooling
  programming
  Comments
• The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods
  formalmethods
  Comments
• Plan B for UUIDs: double AES-128
  databases performance
  Comments
• Chinese numerals and char::is_numeric
  api philosophy rust
  Comments
• 1024cores
  programming
  Comments
• Functional programming is finally going mainstream
  plt
  Comments
• Quark Word Juggler
  historical
  Comments
• Nix – taming Unix with functional programming
  nix unix
  Comments
• Emacs zones to lift you up
  emacs
  Comments
• hunt-rs: Simplified Find command made with Rust
  linux rust
  Comments

SAVE UKRAINE

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

• Announcing Rust 1.62.0
  release rust
  Comments
• Announcing: Learn TLA+
  book show formalmethods
  Comments
• Chris Allen - Notes on Luca Palmieri's Zero to Production in Rust
  rust
  Comments
• The Logitech Ergo M575 trackball
  hardware
  Comments
• Publii: An open source static site generator with a GUI
  web
  Comments
• Porting Graphing Calculator from C++ to Swift
  mac swift
  Comments
• Maybe We Can Have Nice Things
  rust
  Comments
• Faster routing for Flask & Quart
  python
  Comments
• A fast in-place interpreter for WebAssembly
  plt wasm
  Comments
• MagicPairing: Apple's Take on Securing Bluetooth Peripherals
  pdf hardware ios security
  Comments
• Some Problems Of URLs
  web
  Comments
• A DNS name compression algorithm
  networking performance
  Comments

SAVE UKRAINE

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

• QBE 1.0
  compilers release
  Comments
• Linus Torvalds: Rust For The Kernel Could Possibly Be Merged For Linux 5.20
  linux rust
  Comments
• Difficult Problems vs. Hard Work
  practices
  Comments
• Testing Zig for embedded development
  zig
  Comments
• a brief history of one line fixes (2014)
  debugging
  Comments
• Introduction to Pragmatic Formal Modeling
  book formalmethods
  Comments
• Fuzzing rust-minidump for Embarrassment and Crashes – Part 2
  debugging rust
  Comments
• Who Can Name the Bigger Number? [1999]
  math
  Comments
• Try Copilot in Vim in Docker
  ai programming
  Comments
• Limitations in rust's type system when it comes to supporting commutative mathematical operations
  api plt rust
  Comments
• Companies Using RFCs or Design Docs and Examples of These
  practices
  Comments
• Deadlock-free Mutexes and Directed Acyclic Graphs
  debugging rust
  Comments

SAVE UKRAINE

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

• Ante: A low-level functional language
  plt
  Comments
• CreuSAT: A formally verified SAT solver written in Rust
  formalmethods rust
  Comments
• from apples to pears
  practices satire
  Comments
• “Batteries-Included” vs “Bloated”
  browsers practices
  Comments
• Pulling MikroTik into the Limelight
  reversing
  Comments
• The Modos Paper Laptop
  hardware
  Comments
• Generating true random numbers from bananas
  cryptography hardware
  Comments
• A persistent rope in Go
  compsci go
  Comments
• What are you doing this weekend?
  ask programming
  Comments
• TypeScript development with Emacs, tree-sitter and LSP in 2022
  emacs web
  Comments
• File Sharing with Caddy & MinIO
  go mac networking
  Comments
• Adding a Rust compiler front end to GCC
  video rust
  Comments

SAVE UKRAINE

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

• Why Duck Typing Is Safe
  plt
  Comments
• The hunt for the cluster-killer Erlang bug
  erlang
  Comments
• C2Rust is Back
  c rust
  Comments
• The Case for Use.GPU
  api graphics
  Comments
• My other database is a compiler
  compilers databases rust
  Comments
• More Oxide at Home: My Pi is a Wireless Crucible
  rust
  Comments
• Trying out some hosting options
  java javascript programming
  Comments
• Write documentation first. Then build
  practices programming
  Comments
• Formally Proven Binary Format Parsers
  pdf formalmethods
  Comments
• How many chairs do I need?
  devops
  Comments
• Priest Against Priesthood
  historical programming
  Comments
• Readme Driven Development (2010)
  practices
  Comments

SAVE UKRAINE

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

• APE Loader
  osdev
  Comments
• A new protocol (IndieWeb adjacent): “Spring '83”
  release web
  Comments
• Computers are an inherently oppressive technology
  philosophy
  Comments
• Common Crawl
  web
  Comments
• Is LaMDA Sentient? — an Interview
  ai
  Comments
• Running Windows NT 4 MIPS on Qemu in 3 easy steps
  virtualization windows
  Comments
• The UNIX Time-Sharing System [1978]
  historical
  Comments
• Juni: a one-handed, 12-key chorded keyboard
  hardware
  Comments
• "We Really Don't Know How to Compute!" (2011)
  video distributed practices programming scaling
  Comments
• SIMD accelerated sorting in Java - how it works and why it was 3x faster
  java performance
  Comments
• Program = Proof
  pdf formalmethods
  Comments
• ProleText, encoding HTML before Markdown (and a modern reimplementation)
  historical perl
  Comments