uk pol, covid policy, revenge of the dom
> The #SoftwareFoundations series is a broad introduction to the #mathematical underpinnings of #reliable #software.
> The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the #Coq #ProofAssistant.
This Internet Oracle question from 1996 is still a classic 🤣 #retrocomputing
The Internet Oracle has pondered your question deeply. Your question was:
> Mr, Oracle, sir,
> I've been really, really bored lately. I mean we're talking some serious boredom here. Its like I'm just tired of everything in life. Nothing excites me like it used to. What should I do?
And in response, thus spake the Oracle: https://internetoracle.org/digest.cgi?N=824#824-05
I encourage everyone to chip in on this crowd fund campaign. Louis Rossman, well-known Right to Repair lobbyist wants to get laws passed in his country USA for Right to Repair.
This will greatly benefit projects like coreboot and riscv-related projects.
Right to repair means: access to schematics, boardviews and other such info necessary for repair. Presently, hardware/logic info is highly restrictive. This law would be a huge legal precedent for future rights.
rest easy Spencer Silver, aged 80 years, former research chemist for the minnesota mining and manufacturing company. your accidental invention of an adhesive that was easy to remove from a surface yet stayed adhesive changed the world.
though post-it notes may one day disappear, note-taking apps on smartphones will skeuomorphically keep your iconic invention alive as an icon for generations to come.
#TIL CVE-2020-8705. Intel Boot Guard prevents any unsigned boot firmware code from executing on the CPU on boot, making it impossible to modify and reflash your UEFI/BIOS. But if you enter ACPI S3 "sleep" mode, then reflash the EEPROM, finally wakeup the computer, Boot Guard is bypassed.
I wonder if you can use a microcontroller and a multiplexer to automate this exploit. Sounds like a great way to run a modded BIOS...
I have to say, this is one of the cleverest trolling I ever saw: https://github.com/zhuowei/nft_ptr#why
Now, I don't want to sound biased or anything, but the board message also feels empty: https://www.fsf.org/news/statement-of-fsf-board-on-election-of-richard-stallman
A few things give me the wrong impression of it all, specially the second paragraph.
For example "We decided to bring RMS back because we missed his wisdom". One thing is realize that you lack some sort of wisdom, another is "miss". It feels the response is purely emotional and not rational.
Another point: "His historical, legal and technical acumen on free software is unrivaled." As a tech leader/senior dev, my mission is to spread knowledge. If you have a senior/lead that keeps knowledge to themselves (or, worse, doesn't instill curiosity on searching for an answer), then, IMHO, they failed as senior/lead.
Honestly, I stopped reading at that point, 'cause, again, it feels like it was purely emotional decision and not based on technical things.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!