News for hackers. Stuff that matters.

codenaught

Re:Coq: The World's Best Macro Assembler? [pdf] on Thursday November 27, 2025 @03:05AM (#46066920)
This is likely a reference to the Patriot missile rounding issue that arguably led to 28 deaths.

https://www-users.cse.umn.edu/~arnold/disasters/Patriot-dhar...

https://www.gao.gov/assets/imtec-92-26.pdf

Re:Trump Pardons Convicted Binance Founder on Friday October 24, 2025 @02:45AM (#45691614)
The existence of the Virginia Plan (the Large State Plan) and the New Jersey Plan (the Small State Plan) indicates that balancing the differing interests of high- and low- population states was a prominent concern of the founders. I think they would expect states to often align by population size since that very thing occurring at the convention led to the compromise written into the Constitution.

https://en.wikipedia.org/wiki/Virginia_Plan https://en.wikipedia.org/wiki/New_Jersey_Plan

Re:Firefox 121 defaults to Wayland on Linux on Tuesday December 19, 2023 @10:46AM (#38697021)
I wrote a little toggle script for the Gnome apps:

  #!/bin/bash
  color_scheme=$(gsettings get org.gnome.desktop.interface color-scheme)
  case $color_scheme in
    *default* ) new_color_scheme="'prefer-dark'";;
    *         ) new_color_scheme="'default'";;
  esac
  gsettings set org.gnome.desktop.interface color-scheme "$new_color_scheme"