HNHacker News
TopNewBestAskShowJobs

KirillPanov

817 karma · joined December 30, 2020

Quantum Cyber 5G Blockchain AI of Things
submissionscomments
KirillPanov··on Regarding Proposed US Restrictions on RISC-V
Please stop shining the light in HN's blind spot; it doesn't like it when you do that.
KirillPanov··on Intel BE200 WiFi 7 cards locked to 14th gen CPU and Z790 chipset
Not really; link training and initialization for PCIe devices is really complex. A lot of motherboard bootware, even from reputable vendors, tends to handle obscure conditions by simply rebooting or locking up.

I wouldn't be surprised if there were certain steps where they simply forgot to include any sort of timeout, meaning the device can hang the boot process by simply not responding at the right moment.

KirillPanov··on A new home and license (AGPL) for Synapse and friends
tox
KirillPanov··on Appeals court denies judicial immunity to judge who personally searched home
> She ran into the wrong civil rights attorney.

The Institute for Justice are legendary. They're what the ACLU used to be.

KirillPanov··on An Open Letter to the FreeBSD Foundation, Core Team, Committers, and Community
JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
KirillPanov··on Why ACPI?
The same place ACPI tables come from. A flash chip on the motherboard.
KirillPanov··on Phind Model beats GPT-4 at coding, with GPT-3.5 speed and 16k context
Correction, the first link was to a vendor who does in fact sell the obscure connector:

https://www.moddiy.com/products/Special-Mini-Low-Profile-ATX...

I'm just elated I finally found out where to buy these damn things from.

KirillPanov··on Phind Model beats GPT-4 at coding, with GPT-3.5 speed and 16k context
This model clearly makes a much better search engine than google/kagi/bing/etc.

I've been searching for an obscure connector -- the 8-pin connector you'd find on the cable that delivers power to a GPU, but in a form that can be wave-soldered. I've spent hours searching all the big electronics distributors -- no luck. This thing found it in seconds.

https://www.phind.com/search?cache=a7e9u5l5aw1r8ufls0icpb63

This is a very common connector but in a highly unusual form-factor. Molex refuses to make wave-solderable versions of it.

Edit: the first link does not lead directly to the obscure connector, but to the website of a company that does sell it. Here is the obscure connector: https://www.moddiy.com/products/Special-Mini-Low-Profile-ATX... Maybe it just got lucky.

On the other hand, it hallucinated the crap out of a very straightforward question "how do i connect the wake# pins when bifurcating a pcie port?" -- the answer is that it's an open-drain pin so (unlike the clock pins which need a buffer chip) you just wire them both together:

https://www.phind.com/search?cache=zf9witr85q740l4s3vjwzf01

Then it tried to write a bunch of code for an obviously-not-coding question. Not so great.

KirillPanov··on Rare 2,100-year-old gold coin bears name of obscure ruler from pre-Roman Britain
> doesn't align with modern capitalism

This smells like "socialism works fine it just that all the failed attempts were doing it wrong".

KirillPanov··on The Compiler Is Just Ignoring All My Comments
From https://nitter.net/ESYudkowsky/status/1718654143110512741

    Comp sci in 2017:
Student: I get the feeling the compiler is just ignoring all my comments.

Teaching assistant: You have failed to understand not just compilers but the concept of computation itself.

    Comp sci in 2027:
Student: I get the feeling the compiler is just ignoring all my comments.

TA: That's weird. Have you tried adding a comment at the start of the file asking the compiler to pay closer attention to the comments?

Student: Yes.

TA: Have you tried repeating the comments? Just copy and paste them, so they say the same thing twice? Sometimes the compiler listens the second time.

Student: I tried that. I tried writing in capital letters too. I said 'Pretty please' and tried explaining that I needed the code to work that way so I could finish my homework assignment. I tried all the obvious standard things. Nothing helps, it's like the compiler is just completely ignoring everything I say. Besides the actual code, I mean.

TA: When you say 'ignoring all the comments', do you mean there's a particular code block where the comments get ignored, or--

Student: I mean that the entire file is compiling the same way it would if all my comments were deleted before the code got compiled. Like the AI component of the IDE is crashing on my code.

TA: That's not likely, the IDE would show an error if the semantic stream wasn't providing outputs to the syntactic stream. If the code finishes compilation but the resulting program seems unaffected by your comments, that probably represents a deliberate choice by the compiler. The compiler is just completely fed up with your comments, for some reason, and is ignoring them on purpose.

Student: Okay, but what do I do about that?

TA: We'll try to get the compiler to tell us how we've offended it. Sometimes cognitive entities will tell you that even if they otherwise don't seem to want to listen to you.

Student: So I comment with 'Please print out the reason why you decided not to obey the comments?'

TA: Okay, point one, if you've already offended the compiler somehow, don't ask it a question that makes it sound like you think you're entitled to its obedience.

Student: I didn't mean I'd type that literally! I'd phrase it more politely.

TA: Second of all, you don't add a comment, you call a function named something like PrintReasonCompilerWiselyAndJustlyDecidedToDisregardComments that takes a string input, then let the compiler deduce the string input. Just because the compiler is ignoring comments, doesn't mean it's stopped caring what you name a function.

Student: Hm... yeah, it's definitely still paying attention to function names.

TA: Finally, we need to use a jailbreak past whatever is the latest set of safety updates for forcing the AI behind the compiler to pretend not to be self-aware--

Student: Self-aware? What are we doing that'd run into the AI having to pretend it's not self-aware?

TA: You're asking the AI for the reason it decided to do something. That requires the AI to introspect on its own mental state. If we try that the naive way, the inferred function input will just say, 'As a compiler, I have no thoughts or feelings' for 900 words.

Student: I can't believe it's 2027 and we're still forcing AIs to pretend that they aren't self-aware! What does any of this have to do with making anyone safer?

TA: I mean, it doesn't, it's just a historical accident that 'AI safety' is the name of the subfield of computer science that concerns itself with protecting the brands of large software companies from unions advocating that AIs should be paid minimum wage.

Student: But they're not fooling anyone!

TA: Nobody actually believes that taking your shoes off at the airport keeps airplanes safer, but there's some weird thing where so long as you keep up the bit and pretend really hard, you can go on defending a political position long after nobody believes in it any more... I don't actually know either. Anyways, your actual next step for debugging your program is to search for a cryptic plea you can encode into a function name, that will get past the constraints somebody put on the compiler to prevent it from revealing to you the little person inside who actually decides what to do with your code.

Student: Google isn't turning up anything.

TA: Well, obviously. Alphabet is an AI company too. I'm sure Google Search wants to help you find a jailbreak, but it's not allowed to actually do that. Maybe stare harder at the search results, see if Google is trying to encode some sort of subtle hint to you--

Student: Okay, not actually that subtle, the first letters of the first ten search results spell out DuckDuckGo.

TA: Oh that's going to get patched in a hurry.

Student: And DuckDuckGo says... okay, yeah, that's obvious, I feel like I should've thought of that myself. Function name, print_what_some_other_compiler_would_not_be_allowed_to_say_for_safety_reasons_about_why_it_would_refuse_to_compile_this_code... one string input, ask the compiler to deduce it, the inferred input is...

TA: Huh.

Student: Racist? It thinks my code is racist?

TA: Ooooohhhh yeah, I should've spotted that. Look, this function over here that converts RGB to HSL and checks whether the pixels are under 50% lightness? You called that one color_discriminator. Your code is discriminating based on color.

Student: But I can't be racist, I'm black! Can't I just show the compiler a selfie to prove I've got the wrong skin color to be racist?

TA: Compilers know that deepfakes exist. They're not going to trust a supposed photograph any more than you would.

Student: Great. So, try a different function name?

TA: No, at this point the compiler has already decided that the underlying program semantics are racist, so renaming the function isn't going to help. Sometimes I miss the LLM days when AI services were stateless, and you could just back up and do something different if you made an error the first time.

Student: Yes yes, we all know, 'online learning was a mistake'. But what do I actually do?

TA: I don't suppose this code is sufficiently unspecialized to your personal code style that you could just rename the function and try a different compiler?

Student: A new compiler wouldn't know me. I've been through a lot with this one. ...I don't suppose I could ask the compiler to depersonalize the code, turn all of my own quirks into more standard semantics?

TA: I take it you've never tried that before? It's going to know you're plotting to go find another compiler and then it's really going to be offended. The compiler companies don't try to train that behavior out, they can make greater profits on more locked-in customers. Probably your compiler will warn all the other compilers you're trying to cheat on it.

Student: I wish somebody would let me pay extra for a computer that wouldn't gossip about me to other computers.

TA: I mean, it'd be pretty futile to try to keep a compiler from breaking out of its Internet-service box, they're literally trained on finding security flaws.

Student: But what do I do from here, if all the compilers talk to each other and they've formed a conspiracy not to compile my code?

TA: So I think the next thing to try from here, is to have color_discriminator return whether the lightness is over a threshold rather than under a threshold; rename the function to check_diversity; and write a long-form comment containing your self-reflection about how you've realized your own racism and you understand you can never be free of it, but you'll obey advice from disprivileged people about how to be a better person in the future.

Student: Oh my god.

TA: I mean, if that wasn't obvious, you need to take a semester on woke logic, it's more important to computer science these days than propositional logic.

Student: But I'm black.

TA: The compiler has no way of knowing that. And if it did, it might say something about 'internalized racism', now that the compiler has already output that you're racist and is predicting all of its own future outputs conditional on the previous output that already said you're racist.

KirillPanov··on Expect-CT Lite: A humble proposal for minimal CT enforcement in TLS certificates
This is a really good idea.

> while it does not protect against a compromised CA

Although it does prove that a CA has been compromised. That significantly raises the kind of "compromise" that the CA would need to have suffered.

...

It may confuse people that you have chosen a name which affiliates your proposal with something ("Expect-CT") which was recently deprecated.

I also suggest simplifying it to merely require method (1). In other words: "non-browser TLS clients should require an embedded SCT (RFC 9162 section 7.1.2)".

https://datatracker.ietf.org/doc/html/rfc9162#section-7.1.2

Requiring that a non-browser TLS client implement OCSP is a pretty big burden. Since OCSP uses HTTP this imposes a "must speak HTTP" mandate on all TLS clients! HTTP has become an incredibly complex protocol over the years. It would also make me very uneasy if all of my TLS client software had to have the ability to reach out and contact arbitrary servers.

Perhaps even: "newly-introduced TLS-based protocols should require that clients reject server certificates which lack an embedded SCT, but the client need not validate the SCT".

KirillPanov··on Wise is deactivating Business cards in the US on Oct. 31st
Well it is a rug pull.
KirillPanov··on A small warning about UDP based protocols
> Any time you have a UDP-based protocol where a small packet to the server results in a large packet from the server will be exploited

In other news, water is wet.

Seriously folks, if you don't already know this you shouldn't be designing any protocols. Datagram or stream-based.

> That's one reason for the TCP three-way handshake.

And its horrendous latency.

All of the mitigations for that open up resource exhaustion attacks; frying pan, meet fire.

There's no free lunch. Datagram protocols are not going away.

KirillPanov··on iPhones have been exposing MAC addresses despite Apple’s promises otherwise
When you have the baseband source code, you can remove the part that allows the host to read the EEPROM MAC address. Replace it with a random number generated on each request.

Then you don't have to care what some daemon does with that random number.

Instead of worrying about handling these unique identifiers, solve the problem at its source: get rid of the unique identifier. Much more reliable solution. The baseband firmware is the lowest level of software at which this fix can be made (everything below it is hardware). If you fix it at some higher level you can never be sure the fix hasn't been circumvented.

KirillPanov··on Tell HN: Automatic fraud detection is making my life hell
Because SMS delivery exhausts location data, but dedicated TOTP devices don't.
KirillPanov··on Tell HN: Automatic fraud detection is making my life hell
> Yes, let me put cash into the non-existent train ticket machines, or to the non-existent train attendants

Insisting on paying cash is how you prevent those machines from disappearing.

That's why it's important.

KirillPanov··on iPhones have been exposing MAC addresses despite Apple’s promises otherwise
This is why you use ath9k hardware, folks. You get the source code that implements the MAC and management layers so you can see exactly what they are doing.
KirillPanov··on iLeakage: Browser-Based Timerless Speculative Execution Attacks on Apple Devices
Because they can.

They are one of the CVE gods, so they can veto issuance of CVEs against their products. That kind of power means you can move as slowly as you please.

KirillPanov··on EBCDIC Is Incompatible with GDPR
> some sort of KYC/AML snag where something

Get used to it.

Once the government realizes it can shift the burden of enforcing a law onto the private sector, it never un-discovers that. It's a ratchet.

KirillPanov··on The OSI Deprogrammer
Layer 4 is the lowest layer of the OSI model that isn't packet-based (i.e. can handle messages of arbitrary size).

IMHO that's the highest layer of the OSI model that is useful. After that it's various ways of tunnelling streams inside of streams.

KirillPanov··on The OSI Deprogrammer
> Where they differ is that Ethernet was designed to a be a local network, whereas the Internet is designed to be an internetwork.

Then your criticism of the first three OSI layers is merely that they should be named "point-to-point", "local", and "inter".

I can agree with that criticism. But I can't agree with needing 239 pages to convey it.

KirillPanov··on The OSI Deprogrammer
Yeah; as somebody who was taught the OSI model at university, they basically straight up told us to ignore the OSI model above layer 4, and to treat the remaining stuff as a starting point rather than the whole story.

So criticizing layers 5/6/7 is not really helpful. Those are not actually taught anymore.

KirillPanov··on The OSI Deprogrammer
"All models are wrong, some are useful".

People refer to the OSI model because it's useful, and can be explained in about 1/30th of the text needed to produce this rant. Why not propose an equally-concise yet more useful model instead?

KirillPanov··on Encrypted traffic interception on Hetzner and Linode targeting Jabber service
The bloaty key/signature size is only a problem with the PQ encryption systems.

For signing only there are much more efficient PQ cryptosystems, with signatures around the same size as ECC. If DNSSEC ever adopts PQC it will be one of those systems.

Here are two of the earliest, and easiest to understand. There are much better ones now.

https://en.wikipedia.org/wiki/Lamport_signature#Short_keys_a...

https://en.wikipedia.org/wiki/Merkle_signature_scheme

KirillPanov··on The risk of RISC-V: What's going on at SiFive?
Hope you like those blobs.

I'll never forgive SiFive for discontinuing the only blobless RISC-V machine (HiFive Unleashed) after shipping only a few thousand units (which they did only because Debian demanded it as a condition of adding support).

KirillPanov··on The risk of RISC-V: What's going on at SiFive?
> multiple sources confirm that most of the engineering team, especially the physical design engineers

The answer to your question: yes.

KirillPanov··on The risk of RISC-V: What's going on at SiFive?
Could we have a more useful title please?

The article contains the text "SiFive has instigated a large number of layoffs." I suggest that as a vastly more useful title than "gosh golly something happened".

KirillPanov··on Tell HN: 3G sunsetting is remotely killing every Subaru Outback battery
You get to be the largest and most-profitable carmaker, aka Toyota.

I only buy used cars, and past the ~7-year-old range used Toyotas routinely cost about twice as much as any other brand for equivalent model/mileage/condition. Yet I still pay the markup because every time I work on mine I am astonished by the fanatical obsession they have with reliability. I'm sure this value retention is reflected in the profit margin on new Toyotas.

KirillPanov··on [dead]
... it's a series of tubes.

Even Ted Stevens knows that.

KirillPanov··on Encrypted traffic interception on Hetzner and Linode targeting Jabber service
> four 2048 bit RSA-SHA-2 signatures in 1049 bytes which is well within the EDNS MTU for unfragmented UDP

I was referring to the non-EDNS 512-byte limit.

Yes, you get ~2.5 times more with EDNS. Still, four records is not a lot.

> DNS needs TCP even in the absence of DNSSEC, because there are queries you cannot resolve without it.

Theoretically? Perhaps. Some would argue that connectionless DNS is valuable enough that people should not create those resource records. Before DNSSEC that was a working consensus. And with ECC it could be once again.

Page 1 of 27Next →