skysight-inc/HackerNews huggingface dataset:
> the actual rules for undefined behavior are the virtually same as in C

1. Creating a mutable reference when there's other references to the same memory around, even if you don't use/deref that mutable reference, is considered UB in Rust; References there have the `dereferenceable` LLVM attribute, so the compiler is allowed to insert use/derefs at will to facilitate optimizations [0]. C's pointers are more like Rust's raw pointers: they only have to be valid upon use not at creation.

2. References in Rust are transient (as noted in the blogpost) so holding a mut ref to T means you also hold a mut ref to all its fields/subfields semantically. If you're doing intrusive or self-referential data structures, it often requires having UnsafeCell fields to soundly create isolated mut refs from top-level shared refs. Problem being that core, language-level traits in Rust like Iterator and Future (generated by async blocks) take mut refs so implementing them (which is practically useful) on types with intrusive fields potentially being used elsewhere is UB [1]. This doesn't exist in C with no `dereferenceable` & opt-in `restrict`. It's still an unresolved issue in Rust though [2] where they had to disable LLVM annotations on problematic types/traits to avoid miscompilations [3]. Some of these footguns can be avoided by not using references and the core language traits (like the blogpost did), but they found that to not be a great programming experience.

3. Because of `dereferenceable` (again) instances of a type must be valid in-memory representations at all times, even when unused [4]. If you want invalid/uninit representations, you wrap the type in `MaybeUninit` which is fairly unergonomic. C doesn't have this issue as its only UB to deref invalid pointers or branch on invalid values (same case in Rust), not have invalid values at all.

[0]: https://github.com/rust-lang/rust/issues/94133

[1]: https://gist.github.com/Darksonn/1567538f56af1a8038ecc3c664a...

[2]: https://github.com/rust-lang/rust/issues/63818

[3]: https://github.com/rust-lang/rust/pull/106180

[4]: https://doc.rust-lang.org/std/primitive.reference.html
France isn't 62, it is (according to your link)

> 62 to 67: Depends on the duration of contribution (minimum 43 years)

For instance, for me it will be 67. Besides, these numbers don't mean anything without context.
Not to worry, JSONL[1] fixes that ;)

In all seriousness - just dropping 1gb json file with N million records in one end probably isn't great either. I suppose one could somehow marry js and subresource integrity protection[2] to get a json serialized structure with hash integrity check. It would probably be a terrible idea.

[1] https://jsonlines.org/

[2] https://developer.mozilla.org/en-US/docs/Web/Security/Subres...
I mean if you want to pretend the issue is murky despite one being able to toss (at random) a loose collection of off-the-cuff examples so be it, but I don't think your confusion is rooted in much beyond cognitive dissonance. Put even more simply: the haves are taking too much from folks that actually work, hampering their social and economic mobility.
Do u have a link to the experiments? I couldn’t find them in the article
I enjoy converting g to number of sugar packets which is about 3g. So that's 1 packet per slice (which the yeast might eat). When you say that a coke has 10 packets of sugar it makes you gag a little.
KDE Spectacle: Option to omit shadow and transparent border
Run a cluster of 12 Ark servers. Can confirm.
My pleasure. You can still edit the title, by the way ;-)
Agreed. I was expecting the AI to uncover and offer more nuanced suggestions. The examples on the site were highly local issues, with most of them being one-liners our linters are already catching. I was excited to see what the AI can do when it has the context of the entire repo, but I was not wowed.
Very nice! Could you perhaps add a third data point, which is total number of comments on HN? That would help indicate how much of the variability is due to overall traffic.
> … because stealing would require something being taken away from one person and being possessed by another?

wouldn't it raise prices for legitimate buyers? ( ppl not willing to commit a federal crime) , hence taking money away from them.
Thank you. I agree that this hasn't been handled the best way.

Nonetheless, the links you presented - I don't see how that's mocking if the person didn't actually do any work. The laughing emoji was in response to Haraldur describing what he did at the company.

I just simply wouldn't engage, period.
Does it? Or is it possible that 1% is still pretty large?
You just reinvented defunctionalization, which is a transformation from a domain that has first-class values to a domain where support is only second-class. Defunctionalization is typically used in programming languages to simulate first-class functions in languages where functions are only second-class citizens, like C and Pascal.

This perfectly illustrates my point. You had to manually defunctionalize your data model and queries to support what I'm saying should be inherently part of SQL.
> Never have I been more grateful to teach where I do: at a men’s maximum-security prison.

Why would you be proud to teach in a place where people were stripped of their freedom?

That means the education system is broken, if you think this is a better place than regular schools, universities and what not. So perhaps fix the latter; as well as the former.
Wrong way. The house has pulled an extra 4MWh from the grid during the winter months (and pushes more than that back during the rest of the year). I'm past net zero on an annual basis, but that doesn't mean that even a large array is able to cover my energy needs in the winter few months.

I'm grandfathered into an arrangement where I pay my $5/mo and get unlimited net metering, but it's not remotely reasonable to pretend that I'm not heavily using the grid overnight, in the winter, etc.
i would be great to have a little summary of the document you hit against the API like this extension: https://chrome.google.com/webstore/detail/chatgpt-suite-summ... (simply grab the prompts ;))
That was the day I lost every ounce of respect I had for Musk, showed his true colors that day.
Correctness proof? That’s like almost impossible, formal verification is just not scalable, insanely complex and it will never be done by your average developer.

The only way we can do proofs (on certain things) is restricting code, like non unsafe rust.

If it would be feasible, why wouldn’t we just continue to use C and be happy with our verified C codes?
python on the browser is a good use-case, a kinda edge computing scenario where a python API responds with data and python code for client to post-process before display/acting-on.
It's better than doing nothing, but to say that people need to be deprived of their freedom in order to learn something, says a LOT about a society.
YMMV - The hardware/price is indeed quite good. But I don't actually think the form factor is a selling point anymore. My Macbook Pro is big and heavy and requires a bag full of dongles whenever I travel.

I also think they are quite delicate - the aluminum and glass construction makes them very susceptible to spills and drops. And repairability is garbage.

After a couple of "incidents" having to deal with repairs from commonplace accidents I instead travel with a Thinkpad and leave my Macbook Pro permanently parked on my desk.
This is the exact headache I have.
Do you mind elaborating on the "overcharging for games" part? Console games in the 80s were about $45, so games today are actually cheaper if inflation is taken into account.
> Things switched from insulating the wall cavity to insulating the outside of the house.

Oh good they finally figured that out. Cause that's where you want the stuff. And insulating a bunch cavities is labor intensive.
The world of servers has changed a lot in the recent past.

Hardware complexity has exploded because now you have to use custom chips to be competitive: DPUs can accelerate data proccesing pipelines, large GPU clusters or custom chips like Google's TPU are necessary for very large ML training, CPU+GPU in the same package like Grace Hopper for (some) HPC. The number of new product introductions grows. If you have workloads that need a mix of these, for all but the companies with the deepest pockets, running your own datacenters becomes an exhausting Red Queen's race.

Not to mention the increasing fragmentation in privacy and regulations that can impose geographic restrictions for data. It's not a issue for Uber, but it can be for anyone offering B2B services in some markets.
I'm imagining a scenario in which someone who, having just fallen while wearing their Apple Watch, concludes the watch is talking about itself when it says "fall detected" and they will have to have it repaired
Err, ArchiveTeam uses IRC as primary communication method.
We have a highly insulated home with a heat recovery air exchanger.
I don't expect the compiler to produce "optimal" code in non-trivial cases, but being able to prove to the compiler that some high level code corresponds to some optimized assembly is high on my wishlist (obligatory list: coq, lean, framac, k-framework, f* and many others)
Random question for the HN crowd piggybacking off your comment:

What age did you introduce video games to your kids?

My oldest is 5 and I let him tinker on the PS5 when I’m around playing things like Sonic or he really likes Astro’s Playworld.

We limit it to maybe 15-20 min a day but I swear it’s like I tell people I let him watch R-rated movies or something when I mention that I let him play video games at his age.

Curious what people here view as age appropriate.
My experience is that I see a LOT more complaints about these sorts of behaviors than I see the actual behavior. I think it's honestly just a meme that's gotten out of hand at this point. Speaking as someone who is not part of the Rust community and knows comparatively little about the language.
10,000+ VMs? What do you work on?
Fired Twitter employee to receive $100M payout
it is random 4k iops: https://eu.community.samsung.com/t5/image/serverpage/image-i...

I tend to think your number for PS is likely off.
Think of first-class functions. Can't do that with stored procedures, just like you can't do that with queries or tables in SQL.
" because it's so much cheaper"

thats the reason gp is doing it. has nothing to do with all the stuff you've written. Gp doesn't care about 'weakest fellow citizens' plight or whatever, infact they don't care that prices for 'weakest citizens' might go up from his actions.
That's still a choice between "censorship" and "installing apps on my iPhone".
Ahh, but by just moving it to arbitration it stops being contract law, does it not?
I have to disagree - it's simply the latest drama in an extremely long, repetitive, nasty sequence and not at all in the intended spirit of this site.

More here: https://news.ycombinator.com/item?id=35060935
If I have a 1% stake in the company via an option and there are lots of ways you can get screwed out of making any money from it, then I am not going to
act much different to an employee without it. If the founder becomes mega rich, I might if lucky get a paid off apartment in 15 year’s time.
How did you figure out all of that? Surely, you don't mean that Ramanujan knew about 385734874675783289473 because the sibling comment shows that it was keyboard-smashed.
I suppose that's fair. Quibbling about where to put the decimal point doesn't invalidate the larger issue however.
That list is invalid. It doesn't have 37Signals blog.
Sounds like the title should be "Deploying To Kubernetes With Ansible", since this isn't about deploying a Kubernetes cluster?
> You have to resort to abuse of their terms of service

Or make a GDPR request and ask your local data protection authority to order Discord to delete them for you.
https://noyb.eu/en/exercise-your-rights
Only because things are so spread out. With no public transport.
I am well aware. I was an open source developer for 12 years.
Apparently not. And for being its sole value-add, I find the the fake-happy chattiness to be quite grating in fact.
Congress rolls out new bill allowing nationwide TikTok ban
https://trends.google.com/trends/explore?date=today%205-y&ge...

Best source I could find. Currentlydown didn't even register yesterday's outage, and downdetector doesn't share historical data.
The source of conflict I have seen most is when one person thinks they can do what someone else does better, often without reflecting that if this were true, they would already be doing it.

The other thing is that engineering managers are often former engineers who mostly operate in the concrete, with closed loops, transactions, and controls, metrics, and outcomes, where product managers are typically former sales eng, architects, consultants, and others who deal in managing open loop dynamics, alignment, positioning, risk, power, signalling, impressions, and desire.

These are really different foundations of experience and even worldviews. One can do the other to a point, but I haven't seen generalists outperform specialists in either domain.
You still have to maintain the grid for others to buy it and to balance it. The maintenance costs of the grid are going no where but up. More usage, more right of way, more towers, more wire, more labor.
Not just companies add this. Farmers spread it on their crops.
If solar and wind are better then thats what we should do. I wish though that even 1 of the many many trillions in debt we racked up went to nuclear plants. we could have had dozens of plants. prices would probably have gone done if there was a large supply chain and workforce after the first few plants
Twitter could both be essential to his retirement and also that he is fully fulfilling his job description while also choosing tiles for his new cafe. Part of acquihire is to make sure the people you just bought don't leave to start a competing company. Moreover, frankly, it doesn't occur to me that checked-out Jack or the chaotic Musk would even have the organizational capacity to ensure efficient use of the acquired resources, leaving the founder with free time. No doubt there's a significant clause in the acquihire that he can't leave for X time, and if his employment is terminated then he is owed Y money. That's just up to the buyers to ensure they know how to use their investment wisely, and I don't think they did, through no fault of the founder who made the excellent sale.
The justification for that is they have jurisdiction everywhere within 200mi or so of a land OR SEA border.

Portland may not feel close to the sea, but it is.
Disconnecting from the grid is overly romanticized. What you get from paying the utilities is a team of people who will fix equipment issues due to failure or the environment.
If your home battery system has issues, scheduling someone could take a day or more. Off grid electrical services isn't popular enough to be on call 24/7. And getting parts may get take even more time. Equipment failure could take your electricity out for days or weeks. Being fully off grind means over provisioning your electrical storage and production, adding to costs. You also would not be able to sell your excess electricity. Also, in terms of house value, I imagine more people value the peace of mind of a connected electrical grid over saving the small fixed monthly connection fee.
I suspect the things that people are reacting to are a mixture of the following:

* Types in Rust use prefixing to create derived types whereas C family languages generally use postfixing. A pointer is i32, not int; an array [i32; 5], not int[5], etc. This makes special characters appear more heavily at the beginning of the scan line, and probably makes them slightly more noticeable as a result.

* Lifetimes have the form 'a, and that single quote is likely to bother a lot of people (I know it bothers me).

* Unqualified name lookup in Rust is a bit weaker than other languages, which makes the scope operator (::) more common.

* Passing in explicit generic type arguments for a function requires an extra :: for seemingly no reason.

* Similarly, macros require an explicit ! in the name to invoke. Given that println! (and formatting in general) is a macro and not a function, this means you get a lot of extra uses of ! that's unexpected for C family code.

* Again, the try operator (also decently common) is another random special character.

* Attributes also use #[] syntax, or sometimes #![]. While C++11 did use [[]] to designate its attributes, it's also something that always felt a bit ugly to me personally (I find the @Decorator() pattern from Java or Python to be a visually cleaner way to do attributes).

In short, Rust generally has a higher density of special characters than other C family languages, and I think that contributes to a sense of ugliness.
https://minimsft.blogspot.com/
> if some company wanted to sponsor a port

I don’t think any company in 2023 is going to sponsor port of a 6502 compiler, unfortunately.
I don't think this means that it can't be genuine. I mean, the intent was to buy some good will with their customers who have experienced problems, that's for sure. But it's not a "bad" motive I think.

If I had a bad day and didn't get to complete something within my estimate, I'll tell my boss I had a bad day and ask for more time. Does that mean I have ulterior some ulterior motives? No, I just had a shit day, and needed some compassion.

They have been going through a rough patch recently with their scalability problems. And they realised they might not address it as easily or as quickly as they'd like. So they just wanted to buy time. I think that's better than "bunkering" and not letting your customers know what's up.

They do have the benefit that their audience is tech savvy as they are, so they can go into more details (and be less formal, I suppose) to get some understanding from their customers. As in, most devs have struggled at some point with a problem that exceeded the initial scope/time estimate. It sucks, and we know it sucks. So, why not give them the benefit of the doubt here?

Like, I think understand what you mean: their goal was to buy more time, and they achieved that. But even though it was corporate messaging, I still think it was genuine. I assume they felt a bit like "ok shit, we gotta talk to our customers, they deserve to know what's going on".

I guess they wouldn't air most their internal issue, since those don't aren't felt by the customers. So there's no need to apologise and explain themselves.
If you're going to force directional inputs to read your slideshow, support WASD as well as the arrow keys, please.
Dynamic memory management is an entirely different axes from manual/automatic, though.

(Safe) Rust indeed limits the user to a compile-time deallocable subset of what’s expressible (RC being an escape hatch), which depending on the problem domain may be too limiting.
If you're referring to the flags on HN, users flagged the story and were correct to do so. There's nothing intellectually curious here—just the latest cult vs. anticult flamewar.

I admit it's a particularly juicy episode, but (a) that's not what HN is for and (b) it destroys what it is for. We're trying for very much the opposite here. https://news.ycombinator.com/newsguidelines.html

More explanation at https://news.ycombinator.com/item?id=35060935 if anyone wants it.
Meritocracy is fundamentally about the needs of the organization. It's about making the organization more effective.

It's common that there are people who would be more qualified to a position than the person currently holding the position, as long as we view merits in isolation. But the real ability the organization cares about is the ability to advance the goals of the organization when working within the organization. If replacing a person with a "more qualified" one demoralizes other employees enough that the organization's ability to reach its goals is compromised, the replacement is actually less qualified than the original person.
My most memorable hardware bug was noware near as hard as this, but I'll never forget it.

Intel was trying to sell the 960s and sent us a dev board with that CPU. Nobody in the company could get it to boot up. It would power up but nothing would show up on the serial port. Eventually it was my turn to look and for some reason I happened to notice a pullup capacitor on the UART VCC. I looked at the schematics and indeed it was there. A simple jumper to bypass it (back in those days we had big, manly components; none of that surface mount shit) and what hey: the serial console responded. It had booted up just fine, but was mute.

After that we could do development but it was immediately clear to me that the 960 was DoA. It's not like we were the first to get that board!
> Hence a government lead system where wealthy people are required to pay more to help less wealthy have a somewhat acceptable retirement.

Nothing stopped about this. Our demographics have changed for the worse in this regard, is all. From the latest report from the SSA's Board of Trustees:

"Social Security and Medicare both face long-term financing shortfalls
under currently scheduled benefits and financing. Costs of both programs
will grow faster than gross domestic product (GDP) through the mid-2030s primarily due to the rapid aging of the U.S. population. Medicare
costs will continue to grow faster than GDP through the late 2070s due to
projected increases in the volume and intensity of services provided."

Furthermore:

"For the sixth consecutive year, the Trustees are issuing a determination of projected excess general revenue Medicare funding, as is required by law whenever annual tax and premium revenues of the combined Medicare funds will be below 55 percent of projected combined annual outlays within the next 7 fiscal years. Under the law, two such consecutive determinations of projected excess general revenue constitute a “Medicare funding warning.” Under current law and the Trustees’ projections, such determinations and warnings will recur every year through the 75-year projection period."

It's a good read beyond the summary, too:

https://www.ssa.gov/oact/TRSUM/tr22summary.pdf
Why on earth would it do that? If anything I'm reducing demand for "legitimate" avenues, which should reduce the price.
I'll checkout that remote-apis link.

gVisor was considered but so far it looks like the next iteration with be using firecracker vms. Our backend is buildkit and it can't run in gvisor containers without some work.
Coke is sweetened with cane sugar instead of HFCS during Passover for reasons I'm not the slightest bit qualified to explain. Pick up a bottle with a yellow cap come Passover and do a triangle test with a bottle sweetened with HFCS.

You might also find that Mexican Coke in your grocery stores, which I believe is more likely to be sweetened with cane sugar.

I'll usually notice a flavor change when they make the switch (like, oh, must be Passover), but I couldn't tell you which is which by blind taste test. I don't drink a ton of Coke either.
Interesting analysis! Showing (once again) that anonymity is difficult to achieve.