This whole mess just makes me think we should try harder to kick suid/fcaps out of general purpose Linux distributions. The whole concept is fundamentally backwards, and one of the major weaknesses of traditional UNIX I am sure. The idea behind suid/fcaps of first granting the privileges, inheriting some major, uncontrolled part of the execution environment/resource context/security context and then expecting the binary to securely gate its misuse is just a major mistake: https://www.openwall.com/lists/oss-security/2023/10/03/2
We fundamentally need a new type of option: the ability to grant software privileges that are completely phony. I need to be able to *pretend* to grant an app the ability to send me notifications, but then to have all those notifications sent into the void. Untrustworthy software should not be able to know what privileges I have granted it.
android vs ios is just arguing about operating systems but gayer and more insufferable because you've allowed normal people to join in the arguments too
like i install chrome and it's like "here's chrome. the pristine new browser you just installed. the interface is sleek, and the spying is Completely invisible" whereas firefox is like "we're single-handledly saving the world wide web, recommended for you: our privacy button that enables privacy. and also would you like to play candy crush? do you wanna play Peggle extreme... in Reader Mode? we can synchronize your bejeweled colourways between your smartwatch and your samsung fridge"
amazed to see so many tech people are still getting completely worked by the "new web standards are intrinsically good" thing. if you ask the average tech person they're like "yeah! i love it when there's new web standards. i love it when there's so many new web standards being created by google that it becomes impossible for anyone other than google to make a browser. i love that"
Most UI Applications are Broken Real-time Applications
users desire a practical feature, however a developer, instead, desires an opportunity to explain why the data structures of enough video formats resemble one-way linked-lists so the feature is "algorithmically impossible", users counter with examples of other pieces of software that implement the feature, the gymnastics begin, and it becomes apparent to us, if not the people involved, that a fundamental philosophical debate is occurring about the nature of what 'solving a problem' even means
The Politics of Bitcoin: Software as Right-Wing Extremism. David Golumbia
This seminal, important book details how bitcoin was birthed in and is influenced by extremist right-wing libertarian ideology.
https://polizeros.com/2017/09/19/the-politics-of-bitcoin-software-as-right-wing-extremism/
BLOG POST: On the relationship between QTT and STC
https://www.jonmsterling.com/jms-0094.xml
I noticed something interesting today about Quantitative Type Theory and Synthetic Tait Computability, which are two different approaches to _refinements_ in the context of dependent type theory.
what's a bird but a word