Dima Pasechnik @dimpase@functional.cafe

The C Programming Language -- A language which combines the
flexibility and power of assembly language with the readability
of assembly language.

@micahflee oh and of course I forgot to link to it: https://youtu.be/f4U8YbXKwog

https://www.theguardian.com/world/2021/may/23/priti-patel-denies-cummings-claim-herd-immunity-was-ever-uk-policy

🍿

#Programming #Book
> 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.
https://softwarefoundations.cis.upenn.edu/

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

#WaterDrinkers #drinking #water

durian

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.

https://www.gofundme.com/f/lets-get-right-to-repair-passed

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.

godspeed, sir.

The brain invented the helmet to protect itself

"we're looking for a fast mover, a quick starter, someone who hits the ground running, just as soon as the nine month interview process concludes."

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

rms addressed the free software community and the only thing he thinks he did wrong was defending Minsky.

No word about things he said, or the talks about how he dealt with FSF employees or anything else.

It's like he believes that people are angry for just that Minsky incident.

Also: "We recognize the need to attract a new generation of activists for software freedom and to grow the movement."

And then, instead of bringing new people, to bring new ideas, you bring old people back (no matter how large their knowledge of free software is). The FSF, and the free software movement as a whole needs new brains to think new things, otherwise it won't get the same position it was in the late 2000s.