yusina

12 ms·

121.
by yusina 1y ago
Note that dietlibc is the project of a sole coder in the CCC sphere from Berlin (Fefe). His main objective was to learn how low level infra is implemented and started using it in some of his other projects after realizing that there is a lo
122.
by yusina 1y ago
First of all, great tool! > trust That's exactly right. The main attractiveness of your tool comes from the "never leaves your browser", insinuating that other similar services do send your data to a server and then who-kn
123.
by yusina 1y ago
Getting suffocated with CO2 is also a terrible way to die. Animal welfare research is clear on that. There are other options (with other gases that just make the animal fall asleep and avoids the suffocation reflex) but they are still more
124.
by yusina 1y ago
> Sure but proof itself might have gaps itself. Then it's an incorrect proof. In the pen-and-paper era, that was a thing, but nowadays proofs are machine-checked and don't have "gaps" anymore. Or your assumptions have
125.
by yusina 1y ago
Exactly. After all this discussion here my conclusion is that "connecting to the internet" is an ambiguous term. It can mean "have IP connectivity, i.e., IP packets routed to and from the internet" in which case the desc
126.
by yusina 1y ago
I was online in the 90s and I did have a 286 PC. Thus my questions. (That PC was running DOS and didn't have much of a chance to have IP connectivity.)
127.
by yusina 1y ago
That's not at all what QMODEM does.
128.
by yusina 1y ago
Saying "share the internet connection" is quite a stretch though if you just had a terminal connection to some other host which then connected to the internet. I'd associate "sharing a connection" with some (perhaps
129.
by yusina 1y ago
Seeing "internet connection" mentioned in connection with QMODEM is weird. Are you sure you got your story right?
130.
by yusina 1y ago
I suppose you are vegetarian? Cause the amount of suffering that the majority of animals have endure which are killed for meat is on a similar level. (Transport to slaughterhouse and subsequent death by suffocation or boiling, depending on
131.
by yusina 1y ago
> A smart enough attacker will use the gap between spec and implementation and target those errors. "Formal verification" literally means that the implementation is proven to satisfy the formal specification, so by definition t
132.
by yusina 1y ago
The world is not black-and-white. One can have more or less issues. And the same goes for improving the situation. Stopping the world and rewriting everything is never going to fly. The only viable approach is gradual introduction of safer
133.
by yusina 1y ago
It is. It's just that we now live in an age where everything has to be solved with "AI" to get attention and justify the billions of investments. So we forget established tech and enter the era of AI enshittification where th
134.
by yusina 1y ago
But that's not what would make Signal "weaker" than other solutions. It's a myth that there is some kind of "military grade" encryption and that Signal only reaches some kind of "amateur level" that&#
135.
by yusina 1y ago
People who are good at playing a technically hard piece essentially know it by heart. They couldn't play it on sight, they have invested significant time to be able to play it. It's just the few remaining percent of reminders and
136.
by yusina 1y ago
The squirrel example sounds terrible, but people don't realize the danger that moving pathogen-carrying specimen across ecosystems poses. Introducing a disease into your local environment can have devastating consquences for wildlife o
137.
by yusina 1y ago
Just watch the videos. They don't support your statements.
138.
by yusina 1y ago
Exactly this. A world-class player could beat this thing left-handed with one eye closed.
139.
by yusina 1y ago
> That robot would definitely win some games in your local club league Definitely not. If you go beyond the cherry-picked videos where some longer sequences happened, the longer match videos reveal how bad the robot is. It makes really b
140.
by yusina 1y ago
Music transcription has been around for decades, algorithm-wise. In principle this one should actually be easier since it doesn't need to transcribe from scratch but "only" find where in a given sheet you are most likely to c
141.
by yusina 1y ago
Counter point: people get too hung up on staring at the sheet. The sheet is just a tool to help you remember what you intend to play. The goal should always be to not need it anymore, and while using the sheet, it's like using a crutch
142.
by yusina 1y ago
How are the servers a problem in an end-to-end encrypted scheme?
143.
by yusina 1y ago
Unsure why downvoted. To many tech folks just shrug an go with the flow even if it's a bad flow _and they know it_.
144.
by yusina 1y ago
Also those of German nazis doing their thing. Terrible excuse.
145.
by yusina 2y ago
"Enemy" may be the wrong word for this. To me, that implies wishing sth bad on the other party and aiming to hurt/damage/destroy it. "Opponent"? "Antagonist"?
146.
by yusina 2y ago
Bad examples are important examples.
147.
by yusina 2y ago
> Anyway,my heart was saddened to see people listing the greatest book in history as bad. Because it's a work of fiction and since it's missionary, it is exactly the kind of work which aims to suppress critical thinking in orde
148.
by yusina 2y ago
> Chess is not exactly a simple logic task. Compare to what a software engineer is able to do, it is very much a simple logic task. Or the average person having a non-trivial job. Or a beehive organizing its existence, from its amino aci
149.
by yusina 2y ago
Binary is the word you are looking for. 2 alternatives. Binary. Boolean is a more general concept in algebra, tracing back to George Bool. That many programming languages call the 2-valued data type that expresses truth values as some varia