I know you all love bitcoin. But what are you going to do when all your computers are owned by state-level intelligence actors during the more active part of WW3 which is on our doorstep, and whichi I believe will be massively cyber? Your computer will be serving them moreso than you and personally I'm considering turning off and unplugging all my computers for the duration.

We had 30 years to fix the situation, but we didn't. It just got worse. I worked with companies like RST (Reliable Software Technologies), with research projects proving correctness of software with HAL at UC Davis and culminating in proving an OS correct (seL4), and I cottoned onto rust as soon as I heard about it and yes I was one of the annoying people who said we need to rebuild everything in rust because I believe it clearly yields far fewer exploitable bugs. But we didn't. And we have more security holes now than ever, in damn near everything including more and more in the hardware.

I'm paranoid right now. Damn Apple computer taking control away from me, greying out switches, refusing to shut down. Not cool.

Reply to this note

Please Login to reply.

Discussion

OSS hardware running FOSS connected via mesh networks, maybe that can work for a bit

what am i gonna do? prob nothing cus i wont even notice it when it happens

im not too worried, my meme folder is vanilla compared to some of the stuff you guys got on your computers 😅

I know I've gone overboard on this one. It is how I feel, I need to express it. Hearing Trump and Netanyahu dividing up other people's land, and then Apple taking control of my computer, not feeling the love right now.

I’m glad you did, you mentioned some stuff I hadn’t heard before that’s got me going down a rabbit hole rn

like this thing for example https://sel4.systems// it’s almost 4 am and I’m reading it, don’t know why like most of the stuff I learn but someday it’ll be useful to me

seL4 is pretty much used in military applications. Of course.

The other thing is that when you make it usable in any way, the proof of correctness no longer applies. It only applies to a completely useless thing that nobody actually uses.

now from there I’m digging into this https://www.cyberagentur.de/en/ bc they became an associate member, and now im learning about something called the “secure society” department ?

what a night

lol! smoke a doobie, get a BJ and get some sleep.

nightly routine secured

Totally understandable, Sending some good vibes your way 🫂everybody’s stomach dropped when they heard that Ish today

What’s this about Apple taking control of your computer?

what's happened to the toggle now that you force-reboot?

I didn't plug it back in.

I'd be interested if it were a bug, as I haven't had the same problem

Well describes the current situation. People are getting ignorant towards the tech and they not even caring about it's background. The best option for now is to be prepared for the worst.

Seems like a fair assessment.

As Rob Braxman points out, even if you had a secure private machine, any normie you communicate with throws you under the bus and reports you to the authorities (ie, fascist mega corps).

https://odysee.com/@RobBraxmanTech:6/e2edead:5

You got a big point about our machines and hardware being used in cyber warfare without our consent.

Lord knows I've dealt with kids under 18 who would own 30,000 to 50,000 computers through malware and trojans. They got let off their hacking endeavours in exchange for DDoS of Jihadi websites among MANY other targets...

Not script kiddies either... I would probably unplug from the net completely if intelligence was actively using my cpu/gpu resources without my consent (which they will never get, unless it's in that 50 page contract I never read...)

Custom embedded hardware for bitcoin, never put keys on general purpose computers.

Disagree, but if GPCs continue to exist that would be the described dystopia not happening, right.

Gee, somebody should make some hardware like that.

Don't use Apple? Yes i know the hardware is outstanding but ... don't use it?

Buy a 32 bit computer .. should be less than 20 dollars and use #Debian

I have one for sale if any one interested for 2000 dollars :-) .. #premium you got to pay !

nostr:nevent1qqspssageqnfhu0l89rkxd95vlphufyp4540nvpjd89u8uv8tyfjs5gpz4mhxue69uhhyetvv9ujuerpd46hxtnfduhsyg8wzxjalaqvrxj4taqlus453uqwvxxfzgjky2hr0dkzhdnmwmzwfypsgqqqqqqsftgfcm

Stupid questions:

1. instead of doing research for proving correctness wouldn't it be better to write everything in Rust like you say?

2. even if your system is full of bugs if you limit your exposure to the external world to a small set of secure gateways won't that mostly fix it?

Provable correctness was IMHO a dead end. Too hard. Which is why your question (1) seemed like the better compromise.

Secure gateways only help if the data is processed by them, not just passed through. Firewalls don't really help, as soon as you open a single port, anything can get through it. I'm on an Oracle-owned patent for a "secure data broker" which sits in a firewall and inspects the data coming through, validating it against an XML schema before passing it on to the internal-network destination computer. https://patents.google.com/patent/US7620980

There are two kinds of people: ones that have been hacked, and ones that don't know they've been hacked