lann (u/lann) - Readit News

lann commented on Ditch your mutex, you deserve better chrispenner.ca/posts/mute... · Posted by u/commandersaki

delichon · 4 months ago

> 02005, 02010

Are you planning for this comment to be relevant for long enough that the leading zeros will be helpful for disambiguation?

lann · 4 months ago

Clearly they are referring to the years 1029 and 1032 (decimal). I just want to know what calendar system they're using...

lann commented on Three mistakes from Dart/Flutter's weak PRNG zellic.io/blog/proton-dar... · Posted by u/gnabgib

sksrbWgbfK · a year ago

I expect readers of HN to know the acronym PRNG, and that random must be seeded all the time and must NOT be used for secure things. But we're living in the age of LLMs that create perfect code while programmers know nothing anymore.

lann · a year ago

This comment really assumes you know the acronym LLM

lann commented on The Starlark Programming Language starlark-lang.org/... · Posted by u/laurentlb

anothername12 · a year ago

> Deterministic evaluation - Executing the same code twice will give the same results.

What’s this all about? Don’t most languages?

lann · a year ago

One specific example: many languages use randomized seeds in builtin dict/map types, leading to randomized iteration order.

lann commented on Petnames: A humane approach to secure, decentralized naming files.spritely.institute/... · Posted by u/todsacerdoti

freeone3000 · a year ago

I propose an implementation of these petnames by sharing directory access through mutually trusted brokers, whose identity is proven by certificates and whose location is discovered through a standardized directory service protocol. I think we can make huge strides by working with the ITU here — if we can convince them IP is the next big thing, then we might not end up being chained to the OSI netstack for the first release.

lann · a year ago

Sarcastic replies can be fine. Sarcastic replies when you clearly didn't read the article are just annoying.

lann commented on Joe Biden stands down as Democratic candidate twitter.com/JoeBiden/stat... · Posted by u/jsheard

smegger001 · 2 years ago

because we cant do that in the next 4 months as it would require a overwhelming enough demand from the electorate that a super majority of representatives in the house and senate along with the president would have to pass a constitutional amendment that is otherwise considered against their own interests, then it would need to be ratified by the states and pass through the inevitable challenges in the supreme court that seem dead set against anything resembleling democracy this year.

lann · 2 years ago

Nationally yes, but states can do it independently (piecemeal).

lann commented on Joe Biden stands down as Democratic candidate twitter.com/JoeBiden/stat... · Posted by u/jsheard

Aloisius · 2 years ago

California state primaries are top-2, not FPTP turning the general election into essentially a run-off. Parties still dominate. Same with my city elections which use RCV.

I’m not sure why they would reduce party influence either. Features like being robust against spoilers would seem to most benefit major party candidates.

lann · 2 years ago

Top-2 is a primary system, not a voting system. When combined with (essentially a generalized version of) FPTP you get most of the same problems.

lann commented on Joe Biden stands down as Democratic candidate twitter.com/JoeBiden/stat... · Posted by u/jsheard

temporarely · 2 years ago

I have a "radical" idea: why not actually let the constituency of this party make the choice.

lann · 2 years ago

Or actually radical: switch from our terrible first-past-the-post voting system to - say - ranked choice (or one of many alternatives; they're almost all better than fptp) and then primaries won't be so important and parties won't have so much power over our kinda-democratic-but-actually-oligarchic political system.

lann commented on Loro: Reimagine state management with CRDTs loro.dev/blog/loro-now-op... · Posted by u/czx111331

aatd86 · 2 years ago

I guess my question is of whether the state that is being reached is a legit one in this case.

What is the source of truth eventually?

I think there must probably be a hierarchy that decides it. It's probably a kind of race condition/byzantine general problem.

lann · 2 years ago

The answer depends on the specific CRDT algorithm in use. For complex data structures like the ones behind collaborative text editing your intuition that the updates end up looking hierarchical is generally correct.

lann commented on The Risks of WebAssembly fermyon.com... · Posted by u/0xmohit

ilaksh · 4 years ago

Does anyone have a link to the web assembly component model, and is there any alternative?

Maybe there can be some kind of universal device driver plugin or something.

It's weird to me that there wasn't initially an organized effort to escape the web browser by coming up with some sort of UI system or ways to integrate other devices etc. Don't know if that has changed.

lann · 4 years ago

https://github.com/WebAssembly/component-model

lann commented on What are the odds that some idiot will name his mutex ether-rot-mutex (2017) etherrotmutex.blogspot.co... · Posted by u/walterbell

qsdf38100 · 4 years ago

I’m utterly confused. The author argued he found that "comment" in a binary file. I assume it’s an executable compiled file of some sort.

Now, comments don’t end up inside compiled files right? This has to be a string, not a comment??

What am I missing?

lann · 4 years ago

It is probably an error message on a very unlikely failure path / assertion. Those sorts of messages are effectively just comments.

u/lann

KarmaCake day302February 25, 2009View Original