@2ck
The whole remaining problem here is deciding whether a contract has been violated. This doesn't necessarily require a state, but at this point at least some third party that is already trusted. (Except contracts the terms of which can be evaluated automatically, but this is a category so constrained that it borders on uselessness.)
Blockchains only provide enough synthetic trust to work as currencies, and barely any more. Other applications still require research.
@valleyforge Well, I am no expert, so I'll redirect you to the place where I read the discussion: https://astralcodexten.substack.com/p/highlights-from-the-comments-on-march . Only the first section is relevant.
@valleyforge
Relatively recently there was a call for this in some high profile US navy magazine, in the context of some chinese ships doing wierd shit. Although from some discussions around this I gather it's totally impossible in practice, mostly because privateering is against international law, and it requires cooperation from nearby ports to actually be feasible.
@bonifartius
Ah, not balancing trenches, balancint the total amount of money.
@bonifartius
I didn't want to imply balancing, I wanted to suggest a way of still supporting free software while also making a statement about the issues you care about. And if you don't want to make a statement, but rather exert financial pressure, then my suggestion also attains that goal wihout lowering the total amount of money going to free software causes, at least worldwide.
Although, if you care about the culture war that much more than about free software then not donating at all is also an option.
@bonifartius
You can always donate to the US one, and encourage people with the converse problem to donate to the European one. This might balance out over the trenches of the Culture War.
@rysiek @szczezuja @miklo @kmic Na podstawie zebranych przez jego oponentów cytatów mam wrażenie że ten argument *prawie* go broni. W każdym przypadku (z wyjątkiem zaimków, tam po prostu nie ma racji), posuwa się o pół kroku za daleko i z dyskusji o potencjalnie istotnych rozróżnieniach semantycznych przechodzi do stwierdzeń o świecie, które są nieprawdziwe i krzywdzące dla pewnych grup ludzi (z czego w jednym przypadku, zdaje się, się zorientował). Osobiście nie uważam żeby to wystarczyło żeby robić kampanię kasowania go, ale też nie jest bez winy.
No i w pełni zgadzam się z kolejnymi tootami z ogólnym opisem sytuacji.
RT @josecastillo
Selected machine learning attacks; first in a series.
1. Cyberpunk
2. Looney Tunes
3. Magritte
4. Witchcraft
The ergonomics of modern proof writing just get better and better.
This is just a proof about a C program. Nothing in the program is important from a philosophical standpoint. But the logic and implementation is swell.
The logic is called higher-order impredicative concurrent separation logic. The separation part allows me to only have to think about small parts of the C program at a time. Multiple people can work on the same proof without stepping on each other.
The implementation allows for a lot of automation in proof writing. Most of the heavy lifting and boring stuff, like interfacing integers to registers of 64 bits are done. There is plenty of room to create more automation for common proof strategies.
#chatcontrol is an EU plan to spy in real time on *all* your communication, including encrypted messengers like Signal. Let me put it bluntly: If the state doesn't trust me, I will never trust the state. This is unacceptable. Period.
self deprecating
@grainloom
If it makes you feel better I had the same experience yesterday. Lets make today better!
There is a nice example for weaponized language in contracts and politicians:
best-effort
What native speakers familiar with contract terms understand: you make no guarantees or commitments in the fulfillment of something
What non-native speakers or unfamiliar with this term understand: wow, they committed to maximum effort
So the EU official complaining about AstraZeneca deliveries not being “best effort”: they were exactly that! Bottom-barrel, no guarantees service.
@mkljczk@mstdn.io Konkretniej (ale mniej pewnie, bo trochi skompresowałem te wspomnienia) to z Broadcomem trzeba się nagimnastykować żeby wogle działał, a czasem się okazuje że dany model nie wspiera nowszych jąder dużo szybciej niż byś się spodziewał. Realtek na odmianę będzie działał, ino słabo. Ponoć to jest ogólny problem ich sterowników, są mocno zbugowane także na innych systemach operacyjnych.
@fribbledom
That saying works for all temporary solutions to difficult problems.
Pat #animation done! Took a while! Lots of #Blender #3D and #lowpoly related learning on the way. Also my first hand painted textures! I'm kinda proud of the fennec one.
cc @amaral @polychrome @MadestMadness @codepuppy
The hand crafted pats I promised like a month ago 😅
@grainloom
You might enjoy reading about Albicla: https://notesfrompoland.com/2021/01/21/launch-of-polish-anti-censorship-social-media-site-hit-by-technical-and-security-issues/
@jmw150
I would still like to differentiate between optimizing system and intelligence. The latter being something that can be applied to more diverse tasks.
@jmw150
I'd say this is a good reason to mistrust capitalism, as an optimizing system of enormous power, that is not quite aligned with humans. Probably similar thinking can be applied to other powerful systems ruling our life, but capitalism seems to have an especially high power to alignment ratio.
Programmer and researcher,. Ended up working with all the current buzzwords: #ai #aisafety #ml #deeplearning #cryptocurrency
Other interests include #sewing, being #lesswrong, reading #hardsf, playing #boardgames and omitting stuff on lists.
Oh, and trans rights, duh.
Header image by @WhiteShield@livellosegreto.it .
Heheh, gentoo, heh, nonbinary, heheheh... I'm so easily amused sometimes.