Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
meithecatte
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
meithecatte
5mo ago
Perhaps Signal should force the notification settings to "don't show the content" when disappearing messages are enabled in a particular chat?
2.
▲
by
meithecatte
1y ago
No, they are correct , because the deciders themselves are just a cog in the proof of the overall theorem. The specification of the deciders is not part of the TCB, so to speak.
3.
▲
What I mean when I say "my union"
(posts.demarko.org)
2 points
by
meithecatte
1y ago
|
0 comments
4.
▲
by
meithecatte
2y ago
The discord link will die soon. The attachment links started expiring at some point last year IIRC.
5.
▲
by
meithecatte
2y ago
I'm pretty sure this is a feature that's available at least to big creators – I remember a Tom Scott video doing a bit involving scheduling an ad at a particularly fitting moment. You might have to be a YouTube partner or somethin
6.
▲
by
meithecatte
2y ago
I must admit, this is the kind of description that's enough to make me want to maybe get into ham radio someday.
7.
▲
Long term technologies, waiting in the background
(shkspr.mobi)
4 points
by
meithecatte
2y ago
|
2 comments
8.
▲
"War on WPE", or the single-member community of Automattic CEOs
(liberda.nl)
10 points
by
meithecatte
2y ago
|
0 comments
9.
▲
by
meithecatte
2y ago
I have heard of at least one instance of an exam a while ago, where some questions – ones that need diagrams in their statement – would be written onto the blackboard in the exam room, due to limitations of the duplication techniques used f
10.
▲
by
meithecatte
3y ago
Exactly, the comment in question is basically a noisy upvote.
11.
▲
by
meithecatte
3y ago
Probably trimmed due to HN's length limit
12.
▲
by
meithecatte
3y ago
You're talking about industrial PLCs. They're programmed using a-bit-more-fancy Scratch snappy blocks. There is no version control. The firmware contained paths embedded as strings, so we know that firmware for each model and cust
13.
▲
by
meithecatte
3y ago
As explained by the linked article in Polish, the workshop reached out to them and asked of they could figure out why the train isn't working.
14.
▲
by
meithecatte
3y ago
I've seen a lot of discussion about YouTube banning adblockers, but as a user of Firefox + uBO, I have never seen it happen for me. Perhaps the Firefox extension ecosystem makes it easier to push blocklist updates or something. Or YouT
15.
▲
by
meithecatte
3y ago
Some sort of checksumming to detect segments differing between users would probably be doable.
16.
▲
by
meithecatte
3y ago
Checking whether a string of bits encodes a proof of False in ZF is decidable. Now enumerate the bitstrings and check each.
17.
▲
by
meithecatte
3y ago
Only one of the two bugs listed requires a ProMotion display. The other one can occur on all Apple silicon machines.
18.
▲
by
meithecatte
3y ago
I suppose we need to know if it's secure boot (tivoization), or verified boot (remote attestation).
19.
▲
by
meithecatte
3y ago
Pretty sure you can just click the dotted menu button on that popup and select "do not translate from $LANG".
20.
▲
by
meithecatte
3y ago
How do you make the new machine compute BB(754)? BB is the canonical example of an uncomputable function, precisely because you can decide the halting problem if you can compute it (or any upper bound). Granted, BB may be computed for speci
21.
▲
by
meithecatte
3y ago
Do note that any function f(n) that is always (or even just eventually always) greater than BB(n), is uncomputable, for very similar reasons.
22.
▲
by
meithecatte
3y ago
The standards claim that the existence of such a (SEED, a, b) tuple is enough to show that there is nothing special about the curve in question. But if one in a billion curves have a special property that only you know about, which would ma
23.
▲
by
meithecatte
3y ago
There are two known ways to achieve this: - Multi-party computation. Too much overhead for something like this. - Remote attestation, as seen in e.g. Intel SGX. Usually provided by the CPU vendor. Not a cryptographic guarantee, more of a &q
24.
▲
by
meithecatte
3y ago
They want to consider normal connections legitimate, and only detect tunnels.
25.
▲
by
meithecatte
3y ago
It's the search engine for the niche stuff. Marginal stuff, if you will. The name makes sense to me.
26.
▲
by
meithecatte
3y ago
Eh, as long as you assign both hyper-threads to the same tenant, and schedule them at the same time, you should be fine.
27.
▲
by
meithecatte
3y ago
I don't think it's strncmp itself that's the problem. They fucked up and are only checking that the provided password matches a prefix of the stored password. And obviously an empty string is a matching prefix.
28.
▲
by
meithecatte
3y ago
The software is the matrix multiplication and gradient descent. We are talking about the numbers in the matrices. They are the output of a training algorithm, so we can only talk about the copyright on the training algorithm, and on its inp
29.
▲
by
meithecatte
3y ago
You are claiming that piracy is legal.
30.
▲
by
meithecatte
3y ago
Not even that - instruction fetch can cause a page fault. When an NMI happens,the CPU still has the choice of when to service it. If it needs to flush the pipeline, it might as well retire the instructions up to the first store.
More ›