HNHacker News
TopNewBestAskShowJobs

sgsjchs

29 karma · joined September 6, 2025

submissionscomments
sgsjchs··on Google’s Project Suncatcher to put ML infrastructure in space
It needs to be facing open space instead of other parts of itself, otherwise the radiation is just reabsorbed.
sgsjchs··on People who can't picture anything are rewriting the science of imagination
This test implies that phantasiacs immediately lock down the full visual fidelity (the orientation of the die), before you specified it. Why would they? I find myself capable of imagining the die in superposition, same as I don't imagine any particular color it has or any surface it may rest on.
sgsjchs··on Creepy Crawlies
What happens when a user without the cookie GETs a slow page? Does he get redirected to fast one to and back?
sgsjchs··on Creepy Crawlies
Maybe I misunderstand what you mean by "load the cookie". What is it if not Set-Cookie header with redirect status? That doesn't seem particularly special to me.
sgsjchs··on Creepy Crawlies
It's not reusable from a different IP.
sgsjchs··on Creepy Crawlies
How so?
sgsjchs··on Creepy Crawlies
It discards the cookie after one request and appears as a new user.
sgsjchs··on Creepy Crawlies
The people "consented" to this when they clicked OK on the user agreement.
sgsjchs··on Creepy Crawlies
Ironically, defense by obscurity may be the way to go here.

Fork Anubis. Slightly modify the hash function it computes. Deploy. Do not try to make your fork widely adopted. Do not even publish it.

You've just defeated ASICs and any craweler that's special-cased Anubis (currently all of them). If enough people do this, the only recourse they will have is either genuinely executing served js code like a real user or building some unholy pipeline that uses ai agents to compile it to a GPU kernel for every host.

sgsjchs··on Creepy Crawlies
it'll load the cookie, make one request, move to a different ip, load the cookie, make one request, move to a different ip, ...
sgsjchs··on Compression is prediction
> dictionary based compression

That corresponds to PCFG models.

sgsjchs··on Compression is prediction
The first LZ-step pretty much directly maps to BPE tokenization in LLMs.
sgsjchs··on Open source AI must win
Make multiple nodes do the same job, compare results.
sgsjchs··on Show HN: Mediator.ai – Using Nash bargaining and LLMs to systematize fairness
You have it backwards.

This formal game-theoretic notion of fairness acknowledges that power disparity exists and that having less power than your counterparty allows them to inflict greater disutility on you without you being able to inflict disutility on them in turn to discourage this.

On the other hand, fairness "in the usual sense", pretends power disparity doesn't exist and that, say, an armed robber is not allowed to take your stuff when you have nothing to defend yourself with. Which in reality only works as long there is a powerful third party (the state) that will inflict disutility on the robber for it.

sgsjchs··on We mourn our craft
Does it really matter that English is not as precise if the agent can make a consistent and plausible guess what my intention is? And when it occasionally guesses incorrectly, I can always clarify.
sgsjchs··on Some C habits I employ for the modern day
It's the other way around.
sgsjchs··on The inefficiency of RL, and implications for RLVR progress
The trick is to provide dense rewards, i.e. not only once full goal is reached, but a little bit for every random flailing of the agent in the approximately correct direction.
sgsjchs··on Embracing the parallel coding agent lifestyle
I, too, enjoy the craftsmanship, but at the end of the day what matters is that the software works as required, how you arrive at that point doesn't matter.
sgsjchs··on Show HN: I built a web framework in C
> I still don't understand this decision.

Variable declaration `T v;` means "declare `v` such that expression `v` has type `T`". Variable declaration `T *p` means declare `p` such that the expression `*p` has type `T`". etc.

sgsjchs··on Should I choose Ada, SPARK, or Rust over C/C++? (2024)
But in C that's just syntax sugar for pointer math.
sgsjchs··on Should I choose Ada, SPARK, or Rust over C/C++? (2024)
You very rarely would actually want scalar types which don't map directly to hardware supported ones anyway.
sgsjchs··on Pass: Unix Password Manager
Why would you want to store arbitrary individual passwords instead of deriving them with on demand from the service name/domain and a common secret?
sgsjchs··on The repercussions of missing an Ampersand in C++ and Rust
Indeed, the "valid but unspecified state" refers only to some types defined in the he standard library. It essentially means that you can only call methods which have no preconditions and don't depend on what that state is, e.g. assignment or destruction, or something like string::clear or vstring::assign if you want defined outcomes. In general each type is free to guarantee whatever the author wants about the moved from state, e.g. moved-from std::unique_ptr is always null.
sgsjchs··on The repercussions of missing an Ampersand in C++ and Rust
> No, the class can use a sentinel value internally only to mark moved-from objects. That's exactly where we actually started the conversation.

The issue is that the "moved-from" state is exposed to the user when the moves are not destructive. The author of the class has to consider behavior for every method in sentinel state, even when it's just to assert that the state isn't sentinel or "lol it's UB". And the user has to be careful not to accidentally misuse an object in sentinel state. Just like how every time you touch a nullable pointer you have to consider if it can be null and what to do in that case. As long as the sentinel state is exposed at all (via non-destructive move), there is little gain in not providing full support for it. However, with destructive moves the sentinel value either doesn't exist at all or only exists completely internally as an optimization, and all this mental overhead disappears.

sgsjchs··on The repercussions of missing an Ampersand in C++ and Rust
> Again, I don't see what this has to do with destructive moves. If you want a socket class that always refer to an open socket, you can already do that.

Technically you can, but it's unreasonable to create an os-level socket just to put into the moved-out object where it will be immediately destroyed again. This is not an issue when the moves are destructive.

> How is this supposed to work? The very point of your socket class is that it always contains a valid socket handle. Once you introduce a sentinel value, you are back to square one. If the optional class is able to construct a socket with the sentinel value, so is the user.

That's not true. The sentinel value need not be exposed in the public interface of the class, it can only be accessible via the customization point of the optional.

sgsjchs··on The repercussions of missing an Ampersand in C++ and Rust
> what difference would it make

The same difference as making pointers always non-nullable and reintroducing nullability via an optional wrapper only when semantically appropriate.

> what could you possibly do with an arbitrary user-defined class

Just add some customization points to std::optional so that users can define which value of the class to treat as noneopt internally.

sgsjchs··on The repercussions of missing an Ampersand in C++ and Rust
You don't need optional in this case, the assignment would just destroy the old socket and immediately move the new one in its place.
sgsjchs··on The repercussions of missing an Ampersand in C++ and Rust
> And what's the underlying value of such a default constructed socket? I assume it would be -1 resp. INVALID_SOCKET

No, as explained, the default value would be the result of `::socket` call, i.e. a fresh OS-level socket.

> So you essentially must wrap it in an optional if you want to use it as a member variable.

No, you only must wrap it if you really want this closed state to exist.

> Sure, you can implement a socket class like that, but it's neither necessary nor idiomatic C++.

Obviously. Because the moves are not destructive. If they were, this design would be superior. And the wasted space for optional is solvable, just like for non-nullable pointers.

sgsjchs··on The repercussions of missing an Ampersand in C++ and Rust
Reopen by constructing and assigning a new socket.
sgsjchs··on The repercussions of missing an Ampersand in C++ and Rust
In this case, I would want the address family and protocol to be statically known, so it would have default constructor. But for example, a file might not have one, sure. As for closing before lifetime ends, why? I can just end lifetime. Wrap it in an optional if the type system can't figure it out like with a struct member.
Page 1 of 2Next →