jojomodding

6 ms·

31.
by jojomodding 5mo ago
exactly. If they wanted to iterate on their port they would add lifetime annotations here, which are the tool Rust be uses to ensure safety. They're just kicking the unsafety block down the road. This accomplishes nothing and is not
32.
by jojomodding 5mo ago
Or the people that aid and support those people. Systems like this, or the Iranian crackdown on protestors earlier this year, show that in our times, an autocratic regime is able to keep power in spite of significant popular resistance. Rev
33.
by jojomodding 5mo ago
But that's boring. Also it's already happening a lot more than humans are being sent.
34.
by jojomodding 5mo ago
Nonvoters implicitly consent to the outcome ahead of time. Which means that they can carry part of the blame--if they didn't like it they could have voted against it.
35.
by jojomodding 5mo ago
Is pdf.js the renderer that VSCode uses? You know, the one where everything becomes extremely blurry when you zoom in for absolutely no reason at all except (I would imagine) developer incompetence?
36.
by jojomodding 5mo ago
> are free to sell 0day for profit. This is not true in many jurisdictions.
37.
by jojomodding 5mo ago
I sympathise with the author and the argument. I know the text is a rant. As such, I can understand that the proposed consequences might not make sense. Yet still, there is a fun game you can play, where you replace AI by "chess engine
38.
by jojomodding 6mo ago
I do not get why not needing proof objects is desirable. It seems good to have a defined way to store proofs that has a very tight spec and can thus have competing implementations, like in https://arena.lean-lang.org/ . The
39.
by jojomodding 6mo ago
Its a software where you type your maths proofs in and a "yes" comes out. Except if your proof is broken, then a "no" comes out. Of course, sometimes the computer is just a bit dumb at intuiting the intermediate steps, s
40.
by jojomodding 6mo ago
Giving something that has no internal concept of time (or identity for that matter) a prison sentence of n years seems kinda ineffectual.
41.
by jojomodding 6mo ago
Nothing is stopping you from using LLMs when contributing to their project (I think). One reason might simply be that they would rather spend the (very sparse) donation money on anything else but tokens.
42.
by jojomodding 6mo ago
Tell your kids about FUCK, the most fun way to play with them bricks...
43.
by jojomodding 6mo ago
actually his uncle.
44.
by jojomodding 6mo ago
And we collectively decided that it's fine, you don't actually need to be able to solve 1234×5678 in your head. But I am not sure you can compartmentalize the specific skill we can out-source to AI. I would not agree with "yo
45.
by jojomodding 6mo ago
For a start by not tearing down the systems that kept inequality in check in the past. Like union membership or banking regulation etc. just to name some examples.
46.
by jojomodding 6mo ago
Is there a Docker-to-WASM pipeline, and how does it do anything differently from emulating x86?
47.
by jojomodding 6mo ago
Maybe the special agents watched the talk in their free time
48.
by jojomodding 6mo ago
> One of the most corrupt It's on like place 10 out of 180, which makes it one of the least corrupt places. It also has some surprisingly non-boomer departments, like the Sovereign Tech Fund. Either way you need to celebrate police
49.
by jojomodding 6mo ago
The wildfire industry brings growth but it would be a whole lot better if we didn't have wildfires. The same thing is true with computers. Imagine all the nice things we could have if we didn't have to worry about people abusing t
50.
by jojomodding 6mo ago
So apparently some CCC-connected hackers already unmasked one of them years ago (as reported in the update, which could have also just linked to the talk here: https://media.ccc.de/v/37c3-12134-hirne_hacken_hackback_edi
51.
by jojomodding 6mo ago
Given that religions are losing members, especially the youth, and that the most people do not join the military, what will keep disseminating the ideas in the future?
52.
by jojomodding 6mo ago
They are not, sadly. Or rather, many voters care about many different things and the resulting metric is not that sensible.
53.
by jojomodding 6mo ago
Not sure where you get your numbers from but 80*2 is more than 90. Germany has about 80 million inhabitants.
54.
by jojomodding 6mo ago
I doubt it has been top-down coordinated. So what do you expect the article to say?
55.
by jojomodding 6mo ago
People keep getting hung up on material implication but it can not understand why. It's more than an encoding hack--falsity (i.e. the atomic logical statement equivalent to 0=1) indicates that a particular case is unreachable and falsi
56.
by jojomodding 6mo ago
One of the reasons relationship advice subreddits suggest divorce so often is because most people with "small" problems in their relationships don't write an essay about it on Reddit but are able to solve them with the tools&
57.
by jojomodding 7mo ago
You can only show the checkbox on Linux. You can add OS detection to the checkbox and have it say "support our $OS dependencies" and put that into different pots of money. You can make the checkbox say "support our Linux depe
58.
by jojomodding 7mo ago
Well, yes. The GOP's disdain for renewables is well-known and not recent.
59.
by jojomodding 7mo ago
In what sense are governments in the EU more nosy than the one in the US or China?
60.
by jojomodding 7mo ago
How do you figure out which is the case, at scale?

More ›