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...
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"