skysight-inc/HackerNews huggingface dataset:
> A barista knows when a customer will pay for coffee (after they have placed their order). A barista does not know when that customer will walk in through the door.

Sorry, no chance of deciphering that.

> There’s a difference between being able to deduce when the last reference is dropped (for example, by profiling code) and not being able to tell anything about when something will happen.

> A particular developer may not know when the last reference to an object is dropped, but they can find out.

The developer can figure out when the last reference to the object is dropped in that particular execution of the program, but not in the general sense, not anymore than they can in a GC'd language.

The only instance where they can point to a place in the code and with certainty say "the reference counted object that was created over there is always destroyed at this line" is in cases where reference counting was not needed in the first place.

> With safe Rust, you shouldn’t be able to access memory that has been freed up. So cache misses on memory that has been released is not a problem in a language that prevents use-after-free bugs :)

I'm not sure why you're talking about freed memory.

Say that thread A is looking at a reference-counted object. Thread B looks at the same object, and modifies the object's reference counter as part of doing this (to ensure that the object stays alive). By doing so, thread B has invalidated thread A's cache. Thread A has to spend time reloading its cache line the next time it accesses the object.

This is a performance issue that's inherent to reference counting.

> I’m pretty sure the choice of using Rust was made precisely because GC isn’t a thing (in all places that love and use rust that is)

Wanting to avoid "GC everywhere", yes. But Rust/C++ programs can have parts that would be better served by (tracing) garbage collection, but where they have to make do with reference counting, because garbage collection is not available.
California is attempting to pass the DELETE act which provides new rights to control your personal information with respect to data brokers. (https://www.eff.org/deeplinks/2023/08/californias-delete-act...)

People should also look for end-to-end encryption tools as they can provide some protections immediately.
China Is Flooding the World with Cars
I am sorry. It is always very very very hard when a manager or organization punishes people for telling the truth or trying to do the right thing.
In Chicago this happens regularly for the reason you've stated, and also because there are so many fights inside McDonald's restaurants in Chicago.

The solution I use is to order on the app and then they have to give you your food, either by bringing it out or by pushing it through the drive-thru window.
I do this too! D dorian works great as well.
https://archive.ph/maL44
Uh, yeah. At this point in time, this is the first and only thing I know about Flexport.
Afaik flexport does mostly freight forwarding which doesn't really compete with Amazon logistics.
This is nonsense.

Start with limestone. Cool, there's lots of that. Cook it - using energy - which you'd otherwise have to do other stuff. That drives off CO2. Put it somewhere. You get something nastier that would indeed absorb CO2 from the air.

The sketchy parts are the "put it somewhere" and the energy going into the process. Thermodynamics is a harsher mistress than lifecycle analysis. Not a chance this is a net decrease in atmospheric CO2.
https://www.youtube.com/watch?v=IvmpXURWlJg
Refreshing, like in "somebody else made a mistake, not my fault, I was in the bathroom refreshing myself at the time"?

It is quite funny to see how communication is measured on the same scale used for the action, in this case letting go, even before they started, a sizable number of people. But it is the same for politicians, right?
"See, they are such great orators, a moving speech like I have rarely heard!", we often read or hear.

The problem is that the tweet took 10 minutes, while many, those whose offer was rescinded, must now to work for days, weeks or months to unravel the giant cluster-f that somebody--not the current orator, the one before, even if the current one is the founder and sits on the board--has deployed.
One thing I've noticed over time is that none of these image generation AIs seem to know what an Echidna is.
This is a really silly entrypoint into the static/dynamic argument. Static linking does not protect anything here, only makes it harder for developers.
Kind of a fun list of basic utilities. I've been using UNIX for a loooong time and had never heard of e.g. `shred`, `shuf`, or `factor`. Makes me want to try

sudo find / -type f -exec shred {} \;

to see how far it gets before killing itself (on a VM or easily re-flashed machine of course).
Check out Anker chargers. They've been selling GaN products for at least a few years now.
Speed of filling isn't related to liquid velocity, but velocity x stream size. Bubbling isn't related to change in volume, but liquid velocity (and turbulence). You could double the width of the stream and fill it twice as fast with no more bubbles.

You can bet that if ice cubes cost 4x the soda that they would make difference decisions on the drink machine.
Read this page: https://support.apple.com/en-us/HT212650
Shopify may have been considering switching to amazon when they sold off deliverr. Otherwise, why sell it?
Yep, subversion was a dream compared to VSS, branches that actually worked, what a concept.
I'm more concerned with their unequal treatment when it comes to the law vs ordinary people. There should not be parallel systems of punishment for corporations where they can receive any treatment not also available to the regular human defendant (with the same plain stipulations). I'm particularly concerned by their abillity to often "settle" criminal charges with a fine and no admission of wrong-doing. Who is actually allowed to pull that crap besides companies?
16 lines of go, with comments & whitespace
In a small company that's relatively straightforward. In a small company you often will even be doing "decide what you want and measure progress against it" without putting a fancy name on it, though.

In a larger company the problem is connecting "person over here's day to day work in a thousand-person org among other orgs" with "CEO's goals for the year." And now you've got people problems that are harder to solve than "just get together and debate them" because it's near-impossible at that size not to have politics, and some people working in bad-faith because they're prioritizing personal objectives over company ones, etc. No need to over-complicate except for human nature.

The usual problem a startup hits of bringing in a big-company guy is that some of these execs have never seen the tools they like (whether it's OKRs or Agile or "make documents for proposals") outside of the context of the big company bureaucracy and politics and then they don't know how to implement them lightly and they end up bringing all the bloat with them which creates more politics than before.
There's clearly A LOT of money in play with regards to Tesla and SpaceX succeeding, and I think it has become extremely common to bash both companies at every possible opportunity.

The old money absolutely does not want these two companies to succeed.
This is all true. It shows that no effectively computable set of axioms can prove all "true" computable functions computable (or in less metaphysical language, that there are always functions we can show to be computable from "outside" our logical system, i.e. metalogically, while not being able to show it within that system). It's basically just a different variant of the incompleteness theorem. And another way to put it is that the set of computable functions is not recursively enumerable, and by extension, neither is the set of real numbers.

But just because this set is not recursively enumerable, it doesn't mean that we can't talk about it and prove theorems about it, and not even a constructivist such as Bishop would go so far. He wouldn't even be able to define the real numbers if he did because there is no way of enumerating all the sequences that satisfy his definition of a real number.

Your proposed definition of the set of real numbers (that kind of encode a proof of their own existence) is IMHO at odds with how constructivists themselves define them and IMHO also a totally unworkable definition for real analysis.

Maybe there is some oddball mathematical framework that does what you want, but I'd certainly never want to work in a framework which doesn't even allow me to write down theorems of the form "for every decidable language, ..." just because I can't enumerate all the decidable languages, and similar.
I'm happy to see people learning the Curry–Howard isomorphism the fun way.
I don't think the chinese are going to look at this and give up.

They're going to say "we can build our outpost on the moon for way less" and then they'll do it.
Good point, I should probably check.
Windows has "Application Verifier" which can turn out-of-bounds writes that are past the end of memory into access violation exceptions.
At GrubHub, I am often in need of a partial refund. Sometimes it is granted immediately, and sometimes it is flagged for a chat with CSR. It seems non-deterministic. Sometimes the CSR seems to deliberately misunderstand my request, warranting two or three chat sessions until it's all cleared up. A robot advocate could certainly conserve my blood pressure.
headline makes it sound like a bad thing
This is rough, no? Sort of a ticking time bomb in any large repo. If someone wants to have zero association you've got to remove their PII, but if you do that you rewrite the commit graph and no past commit will work.

That's really placing people in a tough situation. Oof.
How this programming language maintains so much constant drama is both fascinating and concerning.
Many fonts they show in the gallery aren't available for download. Quite a pity!
A coworker turned me on to emacs a long time ago but it wasn't until I found Spacemacs that I really started to use it heavily. Now I basically live in emacs and I love it!
Totally agree. I would be behind email providers requiring bulk emails to implement whatever Gmail uses to provide that Unsubscribe button at the top of emails so you don't even have to go to their website. Any degree of difficulty is a bad pattern, and email providers should help discourage that with a heavy hand.

Edit: And also severe penalties for failing to actually unsubscribe someone within 24 hours of clicking that button. I don't want to hear any "it could take up to a week" bullshit. If people can transfer millions of dollars in a matter of days, they should be able to take me off a mailing list instantly.
> not outright lying on their reports

Above you said he lied on a report, now you're saying he said something on Reddit.

Show us the report he lied on.
High resolution microscopy and electron beam microscopy are both industrial production technologies that cost far less than extreme chip-making. That is: there is already a business that supplies these technologies off the shelf. It's still not truly cheap, but it makes sense in the context of warehouse computing, in the same way that massive tape robots do.

(I still think it's unlikely the economics of developing an entirely new storage tech like this will ever beat the established players, but the cost of the readers and writers is the least challenging aspect).
Most sizeable F/OSS organizations track bugs somewhere other than GitHub for exactly that reason!

Don't get me wrong. I get small developers defaulting to infrastructure they don't have to set up and maintain themselves, and I understand wanting to meet people where they're at. But it's definitely a problem that GitHub plays such a central role in F/OSS development, too.
You can choose to place a high value on spending time with one's family, and that's fine, but that's very different than making the "incredibly short-sighted" economic decision to quit your job because of very temporarily high childcare costs. For many people that decision is worth it, but everyone should be aware that the economic cost of it is actually quite high - relatively few if any professional careers can be 'put on hold' for 1-2 decades and then resumed without great difficulty.
As society disintegrates further, the guardrails that keep the really severe consequences from hurting those people will fail, and thus so will they.
they're taking the piss
You don't actually have to remove it if it's not technically feasible. It's not like it was illegally collected there.

I really hate how metadata of git commits is immutable though. I've often wanted to make a small change like fix a typo in a description, only to find out it's impossible.
Are there any good documentaries about the tech industry from the perspective of companies building themselves?

I’ve seen a few about notable blowups and some about big tech, but nothing that follows a startup through their lifecycle or covers the in day to day innards of the business like this one tries to.

I saw RevolutionOS and it was good but there aren’t any others I’ve been able to find like it either.
Is this related to the conference keynote issue?[1]

[1] https://thephd.dev/i-am-no-longer-speaking-at-rustconf-2023
Agh, sorry, but having to read through a dropdown of dozens of items ruins this out of the box. Needs a re-work of guessing. Not fun and not even a game right now, but close!
This is the one thing that makes me worried about the long term health of Rust.

There seems to be so much drama, relative to the other languages.

For some reason, you don’t hear about this much drama from languages that have far larger user bases.
That isn't an apples-to-apples comparison. A C version could be similarly short, but the GNU yes implementer got carried away with efficiency considerations. If the Go program did the same, it would be longer.
As you say exercising is hard. Passing up a burger or a piece of pie is hard too.

My question to you is this. Is it equally hard for everyone? I'd say no, for some people running (when not being chased) is fun and for others it's a chore. Some people really really like a piece of pie after dinner and some are mildly interested.

If you put some people in a place where they don't technically need to move more then getting up off the couch then they won't. If you can eat all you want some will really eat a lot and others won't.

I think the world we find ourselves in is one where in respect to food and exercise we're limited only by desire. You can say metabolic or whatever but it seems to me some people just have a higher bar to clear - and unless you know what that is for you and them it's hard to begrudge them wanting help.
here’s a well-deserved upvote
On Windows, you can start a process suspended, then inject a DLL into it before the entry point even loads. That DLL can basically do anything to override the behavior of the program.
It feels like you're making a bad-faith argument here. You can implement 'yes' in a straightforward way in a couple lines of C, too.

main(int argc, char** argv) {
while (1) {
if (argc > 1)
for (int i = 1; i < argc; i++) printf("%s%c", argv[i], (i == argc - 1) ? '\n' : ' ');
else puts("y");
}
}

The point other folks are making is that it's written differently for a reason. Maybe not a reason that's important, but at the very least, let's try to compare apples to apples.
Your comment is an interesting reflection to me of the expectations people have for cheap or free software. You were willing to invest your time and schedule into seeing this talk live, which for many people is a much larger investment than $10. My default assumption of folks on this board is that they're well-off tech workers, which would make it seem even starker in comparison to $10.

My comment isn't anything about you personally, and I've had similar reactions to even cheaper software. But it still find it striking when I think about it more.
Some companies have a policy of hiring good people, even if they're not a close march for an open position; and of not hiring weak candidates, even if the hiring manager is desperate. That is, they hire good people when they come available, and never knowingly hire bad people.

How is this at all different from how literally every hiring manager in the world thinks of themselves? Literally no one is going to wake up in the morning and think "wow, I'm OK with whiffing on a candidate for my team."
Dennis Austin, developer of PowerPoint, has died
It's a big ask to get people to adopt an ecosystem wholesale. Compatibility with the existing ecosystem is a key goal of Bun, so that people can start using it immediately on their existing codebases and then adopt it gradually for more and more stuff
On unixy systems, they put a restriction into Nethack to limit the game's "wizard mode" (the fuck-around mode where you can't die and just create all kinds of stuff out of thin air, etc) to the unix user with the username "wizard": https://nethackwiki.com/wiki/Wizard_mode#Unix

The wiki describes a bunch of ways around this, but they all seemed kinda finicky and annoying, so instead I LD_PRELOADed a shim that made getpwent(3) or whatever it used always return "wizard" as the user name.
> the DMARC offenders are primarily at the state, county, and local level.

This has been my experience as well. Likely due to their systems being managed by lowest-bidder MSPs.

Someone once shared their own analysis of each state's configuration a few years ago:

https://old.reddit.com/r/sysadmin/comments/cawch1/united_sta...

I wonder how it looks today.
From the PR body...

> The cowardly handling of the recent RustConf keynote fiasko...
I think the real divergence in quality between McDonald US and Europe date from Hennequin's tenure. He pushed for higher prices, and this helped tremendously in the long term.
This doesn't seem correct, if Microsoft truly does not do so in this scenario then it's impossible for it not to have been known by many many thousands of people well before 2023.
it seems infinitely cheaper to jailbreak poorly implemented publicly-facing gimmick LLM “use cases” and “demonstrations” that rely on / thinly veneer commercial apis.

(this is not financial advice and i am not a financial advisor.)
The port being in use is user error not really fair to put that on bun.
Why does it feel like we need another vault deposit already...
Employee commute method & distance would be an interesting datapoint to factor in.
IRS: All software development costs can no longer be treated as an expense
So when a franchise is only a couple of restaurants and the owner is present, you generally end up with a well run and clean place. Over time, franchises turned into a huge investment opportunity and you have folks that have hundreds of places, so there's no owners there and the entire experience suffers.
Why?

In high throughput optics you are basically scanning one full frame of a 4K (3840x2160) per second (or higher!). If you store one bit per pixel, with 16 bit data, that's 10-20MB/sec. You would likely move the field of view to obtain 10FPS, so 200MB/sec per reader. However, it would be trivial to parallelize this (with more objectives, mirrors, higher resolution cameras or whole devices) and so it's not impossible to imagine an optimized, production version of this generating terabytes/second of raw data.
> The only way to permanently resolve these issues is to oust the people that are responsible for them, or defending those that are, from the Rust project entirely.

I mean, once again we have the "there are people who are bad" and no names. What do you expect to happen? I don't get it. If you have a problem with some people, please name them and explain the issue. This whole "we're resigning in protest, no, don't ask us why" thing has been going on for years and it's obviously not a good strategy.
Help them move to other localities where there is housing and work for them. Perhaps create a job board of more rural opportunities. Make them aware that yes, they can apply for work permits.
That just sounds like anger to me
But are most larger languages community driven like Rust is? Python and?
> I always hear of this legion of office lovers but when you ask for actual number splits it ends up perhaps somewhat unsurprisingly being that the vast majority of people want 100% remote. All you office people can go work together then, don’t make it miserable for the rest of us

A comment like this making claims about what happens when you see actual numbers should link to some actual numbers...

Anecdotally, my social circle is increasingly preferring hybrid, which loses one of the most-frequently-touted benefits of remote (make your home wherever you want, even potentially super cheap real estate). IMO remote will likely hang on at bigger, cog-in-assembly-line type information jobs, but some sort of frequent in-person meetups will be hugely valuable for high-ambiguity/collaboration/creative work. For me the difference between "0 days in the office and nobody within a hundred miles" for three years and now "1 day in the office a week" has been huge, productivity-wise.
Isn't the bubbling/foaming due to the CO2 coming out of soda water?
Speech can be murderous, and more importantly, it can be punishable. Ok, what about if the getaway driver drove him there as well, and explicitly expressed knowledge of the crime that was to occur and refused to abandon the effort upon receipt of such knowledge.
And we're back to chiseling on stone tablets.
Aren't there legal reasons you need to keep some information for copyright?
I always wonder who these "problematic individuals" are, through the Rust drama of the past few years, I always hear about these people but it never comes to light exactly who they are or what they've done, ironically enough.
Yes!

Texas (ERCOT) is by far the easiest electrical market to enter. It is also one of the highest volatility markets which is also good for storage.

But the barriers to entry are still way too high to call it anything like an open market.

To be sure, traditionally there are somewhat good reasons to have high barriers to entry into electrical markets.

But in the context of climate change, those reasons seem more like tradition than real reasons.
Most languages don't go from having a major, centralized corporate sponsor, to having everyone from that sponsor let go over night. I think that has led to a lot of these problems, or at least seriously exacerbated them. Mozilla really fucked things up here.
Some of them look like normal cityscapes. Guess we are living in the future
If the other organization insists on sticking to older methods, then best practice is for all parties involved to revert to the last commonly and unarguably fully agreed-to method of communication, which is most likely fax in the US.
my local one's robot loads it's own hopper
On Linux, it'd likely go until completion. You can't write to executables and libraries that are currently running (ETXTBUSY), so shred can't trash either itself or find.
I hate this, actually. I think it's fair to be able to comment on companies that are using the platform to advertise, in case there are things that need to be know.

Even reddit lets you comment on advertising posts.
I don't see why companies that facilitate criminal acts are not swiftly brought to legal justice. We should not be tolerating companies like NSO group in any sense. If the Israeli government wants to look the other way, we should designate NSO group a terrorist organization and start sanctioning any country that won't bring them to justice.

If Snowden and Assange can be extradited to the US and tried for crimes, executives of NSO group absolutely should as well. Lock 'em up!
You can't use Office 365 to send email that appears to be from a different org. It is an authenticated mail relay, and it'll just reject your email.

You have to verify that you own the domains that you use in the from address to send mail via their service.