HNHacker News
TopNewBestAskShowJobs

nynx

2,627 karma · joined April 14, 2018

submissionscomments
nynx··on Debugging in the Multiverse
How can it reverse time? Does it record a stack of every decision point?
nynx··on Debugging in the Multiverse
Pretty much no software, even when run deterministically, is bijective. There are almost always cases where two different states map to the same state.

How does this tooling deal with that?

nynx··on Contempt for the glue people
I don’t think google’s problem is a necessary outcome of relying on engineers for the glue and project planning/management. In fact, Google does not do that. They’re full of glue people.
nynx··on Contempt for the glue people
I think they are correct. I’d say it’s easy to work all your life in the shadow in the cave and never realize that you can do everything yourself. You don’t need “glue” people or project managers.
nynx··on A relativistic framework to establish coordinate time on the Moon and beyond
That code exists for calculating those things does not mean there are timekeeping standards that support them.
nynx··on Inline Assembly Dangers
Uh, why is this not a compile error? I’d expect the string to be concatonated, which would result in an invalid program.
nynx··on We improved the performance of a userspace TCP stack in Go
Doesn’t creating a raw socket need elevated permissions?
nynx··on Last hours of an organ donor
This is worth reading, but the anti-AI theme doesn’t really fit and I’m not sure why they added it.
nynx··on Swarming Proxima Centauri: Picospacecraft Swarms over Interstellar Distances
station keeping is definitely possible. each craft could use its comms laser for impulse
nynx··on Maybe Everything Is a Coroutine
You are thinking about threads, not coroutines. Coroutines are not “heavy” and have nothing to do with concurrency or locking.
nynx··on Two's complement integers with only sign bit set should be a trap representation
This is exactly right.
nynx··on Two's complement integers with only sign bit set should be a trap representation
Overflow is perfectly well defined in most languages. What could it be other than a signal?
nynx··on Two's complement integers with only sign bit set should be a trap representation
I write software for spacecraft. I’d much rather take my chances that the overflowed value is meant for humans or for some tertiary system than to end the mission regardless.
nynx··on Two's complement integers with only sign bit set should be a trap representation
Who said overflow was wrong? The sort of code I work on has to continue running, no matter what. Continuing on is always better than crashing, at least in my context.

It’s also basically impossible to establish invariants about a system for code that is run in signal handlers

nynx··on Two's complement integers with only sign bit set should be a trap representation
Please no. A process dying automatically and immediately dying because of an arithmetic overflow would be terrible.
nynx··on A reasonable configuration language
This looks very restrained. Well done!
nynx··on WASI 0.2.0 and Why It Matters
Framebuffers aren’t really a useful abstraction anymore. They can be implemented on top of webgpu anyway.
nynx··on NASA selects a plan to "swarm" Proxima Centauri with tiny probes
The power is so high so that the probes can be accelerated up to 20% of the speed of light while still in the solar system. The array does not run for long periods of time.
nynx··on "Tech Billionaires Need to Stop Making Sci-Fi Real"
China is authoritarian-capitalist lol
nynx··on NASA says SpaceX’s next Starship flight could test refueling tech
It’s a rehashing because it misses the point that we’re not going back to the moon just to say we can do it. We’re going back to stay, to mine, to live there. Just swapping to an updated version of the LEM gets us nowhere and we would learn very little.
nynx··on Appending to an std:string character-by-character: how does the capacity grow?
That’s a bug in the allocator. Realloc should not grab a lock the entire time.
nynx··on Love after life: Richard Feynman's letter to his departed wife (2017)
sometimes they don’t fit into your sense of morality
nynx··on Love after life: Richard Feynman's letter to his departed wife (2017)
People are complex and multifaceted.
nynx··on Neuralink is recruiting subjects for the first human trial
Mind control is the last thing elon would want brought into the world. You are purposely misinterpreting his statements.
nynx··on Changing the Rules of Rust
People use Arc and Rc all the time, which would need +?Leak annotations. Things like Option would, I think, also need + ?Move + ?Leak annotations.
nynx··on Changing the Rules of Rust
I’m actually glad the Move and Leak didn’t get in. They both have fairly niche usecases but they’d have to be spattered all over basically all rust code.
nynx··on Patterns with Rust Types
You’re complaining that something else is copyable.
nynx··on A new futex API
disappointed you can’t provide a onehot integer to do single bit futexes
nynx··on The Web Assembly Shaper
This is a great usecase for webassembly.
nynx··on The Making of the First Ever Fully Painted Feature Film “Loving Vincent”
The problem is this looks like a stable diffusion filter over a video
← PreviousPage 2 of 23Next →