SAVE UKRAINE

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

• The Apollo Reddit client will shut down June 30
  ios mobile
  Comments
• Douglas Crockford: “We should stop using JavaScript”
  javascript
  Comments
• Rust for Modern C++ Devs [2022]
  pdf c++ rust
  Comments
• Why Liquid Haskell matters
  formalmethods haskell
  Comments
• Understanding CPUs can help speed up Numba and NumPy code
  performance python
  Comments
• DNSocial
  networking satire
  Comments
• Abusing undocumented features to spoof PE section headers
  reversing security windows
  Comments
• Scrubbing sensitive data at 180MiB/sec/core
  go
  Comments
• Animated JPEG XL decoding added to FFmpeg
  graphics
  Comments
• "Fantasary" - prototyping an object world (& TCP netlayer) at the Lisp Game Jam
  lisp
  Comments
• Linux on the 7th Generation of Consoles Part 2: Playstation 3 and Gentoo
  hardware linux
  Comments
• Faster sorting algorithms discovered using deep reinforcement learning
  ai performance
  Comments

SAVE UKRAINE

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

• The Maddest My Code Made Anyone
  culture games
  Comments
• Mathematically Correct Breakfast -- Linked Bagel Halves
  math
  Comments
• Kafka vs Redpanda Performance - Do the claims add up?
  distributed performance
  Comments
• IDLE DR-DOS
  historical osdev
  Comments
• Real Multithreading is Coming to Python
  python
  Comments
• Large language models and plagiarism
  ai
  Comments
• x86-sat: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  assembly compilers formalmethods
  Comments
• What are you doing this week?
  ask programming
  Comments
• Introduction to the Fourier Transform For Image Processing
  graphics math
  Comments
• XState - State machine library for javascript and typescript
  javascript web
  Comments
• Designing A Packet Protocol: Bare Metal Programming Series
  video c hardware
  Comments
• vanilla-fp - the no-framework framework for building component-based purely-functional UIs
  elm haskell javascript web
  Comments

SAVE UKRAINE

The 12 highest-rated articles on Lobsters on May 10, 2023 which have not appeared on any previous Lobsters Daily are:

• An Introduction to TLA+ and Its Use in Parties
  formalmethods
  Comments
• Fitting millions of documents in 128 TB of virtual memory
  programming
  Comments
• Odin Programming Language
  plt programming
  Comments
• The seven specification ur-languages
  programming
  Comments
• Why your TCP-based VPN stutters (and how to fix it)
  networking
  Comments
• Understanding ActivityPub
  distributed networking
  Comments
• Interrupt Safe Ring Buffer: Bare Metal Programming Series
  video c hardware
  Comments
• Assemblers
  assembly
  Comments
• In Erlang/OTP 27, +0.0 will no longer be exactly equal to -0.0
  erlang
  Comments
• The AT protocol is the most obtuse crock of s***
  distributed networking rant security
  Comments
• Story: Redis and its creator antirez
  culture
  Comments
• Implementing Vale's Region Borrowing, and its Unexpected Quest
  plt
  Comments

SAVE UKRAINE

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

• Hardening macOS (updated for macOS Ventura)
  mac security
  Comments
• Nintendo reportedly issues DMCA takedown for Switch homebrew projects, Skyline Switch emulator development ceased
  law reversing
  Comments
• How I wrote an Activitypub Server in OCaml: Lessons Learnt, Weekends Lost
  ml web
  Comments
• Devil Mode: A twisted key sequence translator for modifier-free editing experience
  show emacs
  Comments
• Classification of the principal programming paradigms
  plt
  Comments
• Monoliths are not dinosaurs
  distributed scaling
  Comments
• Petri Net Theory and the Modeling of Systems
  book formalmethods math
  Comments
• Creating Custom Rails Generators
  ruby web
  Comments
• Writing HTTP client middleware in Go
  go
  Comments
• Shell UX Changes: The Research – GNOME Shell & Mutter
  design
  Comments
• constexpr auto ymd {year(2021)/January/day(23)}; (std::chrono::operator/)
  c++
  Comments
• Raft does not Guarantee Liveness in the face of Network Faults (2020)
  distributed
  Comments

SAVE UKRAINE

The 12 highest-rated articles on Lobsters on April 22, 2023 which have not appeared on any previous Lobsters Daily are:

• Firefox may soon reject Cookie prompts automatically
  browsers web
  Comments
• How to run your own LLM (GPT)
  ai
  Comments
• Hyena may scale better than GPT
  ai
  Comments
• Installing Windows and Linux on the Same Partition
  linux windows
  Comments
• Windows NT on Bull Estrella
  historical windows
  Comments
• What are you doing this weekend?
  ask programming
  Comments
• PyPI: Introducing 'Trusted Publishers'
  python security
  Comments
• Bytebeating with GAWK
  c linux programming
  Comments
• Emacs Comes to Android
  android emacs release
  Comments
• Standardizing BPF
  linux
  Comments
• Linux Foundation Announces Launch of TLA+ Foundation
  formalmethods
  Comments
• Asynchronous Programming in Python with asyncio
  programming python
  Comments

SAVE UKRAINE

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

• I made my blog solar-powered, then things escalated
  hardware
  Comments
• Booting modern Intel CPUs
  hardware
  Comments
• Monthly Fediverse posts cross 1 billion for the first time
  web
  Comments
• Maintaining this site fucking sucks
  rant web
  Comments
• Worst Practices in Software Development
  video practices
  Comments
• Worlds Simplest Bootloader: Bare Metal Programming Series
  video hardware
  Comments
• Breaking the limits of TLA+ model checking
  formalmethods
  Comments
• linuxwave: Generate music from the entropy of Linux
  linux zig
  Comments
• LLM Introduction: Learn Language Models
  ai
  Comments
• What are you doing this week?
  ask programming
  Comments
• How does GPT-3 spend its 175B parameters?
  ai
  Comments
• digit recognition in Shadertoy (draw a number)
  ai graphics
  Comments

SAVE UKRAINE

The 12 highest-rated articles on Lobsters on April 11, 2023 which have not appeared on any previous Lobsters Daily are:

• OpenBSD 7.3
  openbsd release
  Comments
• We Need To Talk About Vercel
  devops
  Comments
• Hell Never Ends On x86: The Hyperspace Story, Continued, Sort Of
  hardware historical
  Comments
• The funniest performance regression you've seen
  ask performance
  Comments
• Modular Errors with Rust's thiserror
  rust
  Comments
• OpenGL is not dead, long live Vulkan
  graphics
  Comments
• Feature flags and authorization are the same idea
  programming
  Comments
• What I've Learned About Formal Methods In Half a Year
  formalmethods
  Comments
• Web of the people
  philosophy privacy rant web
  Comments
• Modeling Git Internals in Alloy, Part 2: Commits and Tags
  formalmethods
  Comments
• Fly.io Distributed Systems Challenge
  distributed
  Comments
• Two algorithms for randomly generating aperiodic tilings
  art graphics math
  Comments

SAVE UKRAINE

The 12 highest-rated articles on Lobsters on April 6, 2023 which have not appeared on any previous Lobsters Daily are:

• Dumb bugs: the PCI device that wasn't
  c linux
  Comments
• GitHub's employee intellectual property agreement, open sourced and reusable
  law
  Comments
• Crypto Ancienne 2.2: now supported on AmigaOS and classic MacOS/MPW
  cryptography release
  Comments
• Goru: an experimental, Go-inspired concurrency library for Ruby
  ruby
  Comments
• From hell to HTML: releasing a Python package to easily work with Wikimedia HTML dumps
  python
  Comments
• A definitive guide to sealed traits in Rust
  rust
  Comments
• Using TLA⁺ at Work: Designing a Snapshot Coordination System
  distributed formalmethods
  Comments
• monocypher 4.0.1
  cryptography release security
  Comments
• How do you name your Go variables
  ask go practices
  Comments
• Single-Command Server Bootstrapping
  devops education linux nix
  Comments
• datapane: Build full-stack data apps in 100% Python
  python
  Comments
• Edge AI Just Got Faster
  ai performance
  Comments

SAVE UKRAINE

The 12 highest-rated articles on Lobsters on April 4, 2023 which have not appeared on any previous Lobsters Daily are:

• RFC 1178: Choosing a name for your computer
  historical practices
  Comments
• v0.28 released of Gleam, a type safe Erlang-family language
  erlang plt release
  Comments
• Slint 1.0: The Next-Generation Native GUI Toolkit Matures
  graphics release rust
  Comments
• Eight Things to Know about Large Language Models
  pdf ai
  Comments
• Saying Goodbye to GitHub
  culture vcs
  Comments
• Modeling Git Internals in Alloy, Part 1: Blobs and Trees
  formalmethods
  Comments
• trurl manipulates URLs
  release
  Comments
• All you need is data and functions
  plt programming
  Comments
• Stopping evaluation from blocking in Nix
  nix
  Comments
• GraphQL: From Excitement to Deception
  api programming
  Comments
• Never Staff to the Peak
  practices
  Comments
• Mullvad Browser
  browsers privacy
  Comments

SAVE UKRAINE

The 12 highest-rated articles on Lobsters on April 1, 2023 which have not appeared on any previous Lobsters Daily are:

• Janet for Mortals
  lisp programming
  Comments
• Helix 23.03
  release
  Comments
• Tailscale Funnel now available in beta
  networking
  Comments
• 'Modules Matter' Most for the Masses
  ml plt programming
  Comments
• Nim Version 2.0.0 RC2
  programming
  Comments
• Letting users block injected third-party DLLs in Firefox
  browsers windows
  Comments
• robotnix: Build Android (AOSP) using Nix
  android nix
  Comments
• How Kani helped find bugs in Hifitime
  formalmethods rust science testing
  Comments
• urler: command line tool for URL parsing and manipulation
  unix web
  Comments
• What are you doing this weekend?
  ask programming
  Comments
• Linearity and Control [linear types proposal for Rust]
  plt rust
  Comments
• PonyDOS - A real-mode OS for everypony
  assembly osdev release satire
  Comments