skysight-inc/HackerNews huggingface dataset:
> Engineers should take a more proactive role in identifying and pushing whatever changes are required to prevent mass outages due to single points of failure.

In my experience even if you've eliminated single points of failure you can still get failures.

Sure, my server's got dual NICs and dual power supplies. But if the guy sent to replace server 12 in rack 345 accidentally gets server 12 in rack 346 I'm going to lose both NICs and both power supplies at once.

Sure, the network is fully redundant. But we naturally need to keep the settings on the two sets of kit in sync. We've had outages due to them getting out of sync in the past, not going to make that mistake again. So of course if there's a change to the firewall rules it automatically gets rolled out to both of the firewalls.

And so on.
Right. So if interviewers come up with an artificial contrived ("leet") problem, then candidates complain that it's an artificial contrived problem. When they come up with a realistic straightforward problem, then candidates complain that it should have been solved already.
In practice, I am both too busy to waste a day on a programming task just to secure a seat at an interview, as well as willing to spend days on a cool problem. It all depends on how much I want the job and how much the actual spent time is my choice and not expected.
https://en.wikipedia.org/wiki/Chicago_Parking_Meters

for those not in the know. Chicago basically sold all revenue from their parking meters to Saudi Arabia for the next 75 years. Not basically, that is exactly what happened.
The thankless soul is the awesome Anthony Sottile, who is also the author of pre-commit.ci: https://twitter.com/codewithanthony

Drop by and send thanks cause he really needs them.
Atlas VPN to Shut Down, Transfers Paid Subscribers to NordVPN
I don’t know, maybe local authorities build them or probably new apartments are exempt from rent controls. But even in London, where my neighbour pays £3500K a month to rent a 65sqm flat, the landlord is earning much less than they would if they invested in the stock market. And they would be actually losing money if they carried out repairs, instead of having their tenant living like a rat.
This is addressed at the end of the article.

"...Mollick makes it clear in his social media thread that, yes, fully synthetic techniques are available to create similarly pure quartz. However, any sudden closure or interruption of the mining at Spruce Pine would likely cause "pretty catastrophic" disruption (and extra expense) for a few years as the industry scales up manufacturing."

I understand that 25% of all neon production was coming out of Mariupol, Ukraine (and another 25% out of Odessa) prior to the war. It would be interesting to see how the industry coped with a 50% loss of supply.

https://www.reuters.com/technology/exclusive-ukraine-halts-h...
WhatsApp had a much bigger user base but was still a small startup with about 50 employees and was losing money. The scummy thing was the role Onavo played in Facebook identifying it as an acquisition target, but that’s not the same as illegal. I think this is still a weak case.
> It's python3.11, not python3, and the python3 "executable" is, itself a symlink to the particular binary (in this example python3.11).

Not for the example I gave. If you’re seeing Python 3.11, you’re definitely not using the /usr/bin/python3 on macOS with is made available by the Xcode CLI tools. That’s at 3.9.6 even on Sonoma.

> as someone else also points out, you don't even have to use the symlinked versions, you can use --copies

Which, again, doesn’t work for the stated case.

https://news.ycombinator.com/item?id=39818732
You can also write a formal spec based on a reference. But it will be harder then doing it up front most likely.
I was more talking about version management of the Python interpreter itself. So far all the packages I need are already in nixpkgs so I haven't needed to stray off that path yet.
> the only reason consoles were a good thing in the first place was because they were specialist devices that drove hardware innovation that simply wasn't feasible otherwise. Nowadays consoles aren't specialist hardware; they're PCs that have been slightly modified

Not just that. They're a standard spec that people build to, and wring performance out of, and consult to game/engine manufacturers, and they sponsor tournaments and do marketing. They're also sold below cost, both because they can order in bulk, but also because they can assume future components will be cheaper for the same spec, and they might be able to lower their internal costs eventually.

You can already buy a PC and play games on it. Consoles are an additional thing you can buy, and removing them removes choice.

> Also, you're claiming that Microsoft might buy Unreal Engine or Unity in order to force it to be Xbox-exclusive; that would bring the antitrust hammer down like nothing else. The only result of consequence in the 0.0002ns before the EU carpetbombs Redmond, would be a huge upsurge in suppport for Godot.

It won't be this simple. It'll just be better support on Microsoft platforms, and cross-play between PC and Xbox, to drown out Steam a little and Playstation a lot.
>> It's good now, but could have been wonderful.

The economy? Sure. The economy really isn't all that societies are about, but I'm sure even you'd agree with that statement - like for example, if someone said that installing permanent unremovable surveilance inside your house and sharing its data publicly would grow your economy by 20%, would you agree to that? Surely it would be wonderful.

There's a line that everyone draws - some countries draw it elsewhere than others, but there is a line.
It's not just that they are afraid. No one has succeeded in building production-level systems at scale purely using "formal methods". There are a variety of ways to measure how a system compares to a spec. For instance, you can measure throughput at various points in a system. However, formal methods are much more detailed, and when they are applied today, it's usually within a limited context as a way to verify or do model checking.
"step off the multi-billion dollar corporation, bully!"

seriously though, it never ceases to amaze me the level people repeat corporate propaganda and conflate corporate success with their own self-worth. These companies literally spend billions in lobbying the government to "influence" their decisions and run rigorous ad campaigns that smear any sentiment that isn't vehemently pro-billionaire, pro-corpoate, pro big-tech etc... so its not all that surprising that people fall for it but it is truly astounding.
My first question was "Why would someone do this and release it?" but it looks like they answered that question at the end of the README. :(
> But as it stands now, async/await may be the biggest current premature optimization in common use.

To be fair, isn't the entire point of OP's essay that async/await is useful specifically for reasons that aren't performance? Rather, it is that async/await is arguably more expressive, composable, and correct than threads for certain workloads.

And I have to say I agree with OP here, given what I've experienced in codebases at work: doing what we currently do with async instead with threads would result in not-insubstantial pain.
Tangentially, this looks like a seriously unpleasant neighbor to live next to:

- "Dozens of dead fish have died and are washing up on the banks of the North Toe River after a reported hydrofluoric acid leak at a Spruce Pine quarry, state officials say."

https://wlos.com/news/local/dozens-of-fish-in-north-toe-rive...

- "Officials told people who live within four miles of the plant to evacuate their homes because of the fire."

https://www.blueridgenow.com/story/news/2008/11/30/spruce-pi...
Why not? We saw from internal Google emails that sales had the ability to stop engineering in order to push more ad sales at the detriment of the product.

Why would Boeing, or anyone else, be different?
Advanced Solid Geopolymer Formulations for Refractory Applications
The top comment on that SO post is:

> It's definitely possible -- you don't have to use Firebase to deliver push notifications. You can roll out your own notification solution or consider a paid product such as Pushy (pushy.me) which does not rely on Firebase Cloud Messaging. Full disclosure - I am the Founder & CEO at Pushy.

So clearly someone else has done it and built a business around it.
PgBouncer just pools the connection, but each connection still needs its own process in PostgreSQL itself. Each query blocks the whole process. That limits the amount of queries that can run in parallel/concurrently to the amount of connections. Long-running queries can easily clog up everything. No tool can fix this, you need to be aware of it and consider it in your design.
You can just use a Keepass database and then you aren't locked in to a single OS (KeepassXC, Keepass2Android, etc.). Synchronize any way you like.
The Apple Music app makes my 32GB iPad unusable. It takes up 10GB of my 32GB, despite having 0 songs downloaded. I have no idea what takes up that space (album art alone can't account for 10GB). There's no option to clear that "Documents & Data" cache in the "iPad Storage" settings menu. Uninstalling the Music app does not remove this data. I could reset the iPad but I can't be bothered. I'm also stuck with Safari because I can't afford Chrome's 200MB, and with Mail because the Gmail app is 500MB.
The last time I got blocked by captcha I went through a dozen of them in a row before being told I wasnt human enough (possibly true after 30 years in IT!) and so on principal I reject all websites that include captcha. And anyway, why are we training these image recognition tools for free.
Presuming that you translated it to every language:

* 3 billion people don't care because they don't use the internet

* 7 billion people don't care because they wouldn't be able to afford it anyway

* 7 billion people don't care because the question doesn't make much sense to them nor do they really understand what it is about

* 4 billion people likely won't participate because voting is not an activity they are familiar with and/or is not something they desire to participate in.

Direct democracy also has a pretty bad track record in producing just, principled, and reasoned results.
Why Is Joe Biden's DOJ Prosecuting a Journalist While Pretending Otherwise?
OpenAI: Sora: First Impressions
This kind of component level repair always feels like magic to me. Great post.
Solving Crew Battle Strategy with Math
0racle cloud. Always free.
The problem is that if the sideloading avenue exists, what do you do when your bank says "from now on use our sideloaded app instead of the app store version"? Or when whatsapp (or telegram, or whatever) does this.

The App Store is a forcing function for app developers, because it's the only way to reach IOS customers. Without that forcing function, some app developers will circumvent, and if a critical mass does it, then you no longer have the option of opting out.

Apple can presumably make the warnings scary enough to make app developers reluctant to leave, but alternative less restrictive app stores and big-name developers will lobby to have those warnings removed for being deceptive.
Oh man, you just confirm that I’m not crazy. For every single time I use pyenv it just downloads source and build. I got tangled into so many issues such as TLS headers in my AL2 boxes. I thought the whole thing is about getting the official binary and install and not compile from source even for a 2 year old release.
That is my point - you start from the wrong end. You first choose the specific problem and then measure against that problem.
This was one of the foundational points of Gnosticism in early Christianity. It's worth noting that this position is considered heresy by most of the major established branches of Christian tradition.
Just tried, I get the same result with 3.7, 3.8, 3.10 and 3.11.
Hm, this didn't change anything hugely on one of my projects - for example, it reduced the total bundle size, but it increased the gzip'd size, so it's actually a net negative for me. But it looks like the CSS improvements actually did help.

It looks like a great idea and would probably help if I had any images in my project.
Foreign Aid for Ukraine is overstated. It's just $5bil, which is a drop in the bucket for even state governments in the US.

If that's the cost to fight a proxy war, it's fairly cheap.

That's how much it costs to build a highway from Pittsburgh to Morgantown (Mon–Fayette Expressway).

> managed to pass some corporate stimulus

This is the key point, and a critical one at that. That corporate stimulus suddenly made swathes of American manufacturing, construction, etc cost effective again.
It would get this guy absolutely murdered if one of the funny faces looked racist.
Sorry for the confusion, it’s just a requirement I had for myself, to make my child’s life a little easier
Le Corbusier*
Why do you say it's non-free? Everything is under MIT License.
Holy fuck! You Just blew my mind. There are 5 of my top of all time games here.

Its same with '99 movies.

Maybe 99 was the peak of our civilization?
I would at least have expected an observational data point - doping with LSD, the same way we see widespread doping in many professions (including creative ones) with amphetamines/Adderall. But no, I mostly see use by creatives "stuck in a rut", with a wide gap between what they perceive ("LSD helps me getting more creative", "I had a breakthrough", or the more extreme "it opened my mind to new realities") and objective reality (mediocre work). You don't see "the best works of this artist come from his LSD period".

You see another type/style of work (... usually "psychedelic"). You dont see groundbreaking stuff in the general, universal term, despite all the stuff about "a higher plane of existence", "opening the mind", "being one with the universe".
Passports have an entry like "corresponds to ..." for that.
Actors are a building block of concurrency. IMHO, it doesn't make sense to have concurrency within an actor, other than maybe instruction level concurrency. But that's very out of scope of Erlang, BEAM code does compile (JIT) to native code on amd64 and arm64, but the JIT is optimized for speed, since it happens at code load time, it's not an profiling/optimizing JIT like Java's hotspot. There's no register scheduler like you'd need to achieve concurrency, all the beam ops end up using the same registers (more or less), although your processor may be able to do magic with register renaming and out of order operations in general.

If you want instruction level concurrency, you should probably be looking into writing your compute heavy code sections as Native Implemented Functions (NIFs). Let Erlang wrangle your data across the wire, and then manipulate it as you need in C or Rust or assembly.
I recently toured an MRI factory. They used 20 tons of quartz per week to mix in with the epoxy resin that encases the gradient coils. Its thermal stability makes it desirable.
> Both of these cases are examples of yield management – using price incentives to shape customer behaviour

Yield management is not "using price incentives to shape customer behaviour".

It is exploiting customer behavior to maximise revenue/profit.
Link to full paper:

https://educationaltechnologyjournal.springeropen.com/articl...
I hope this will be merged with indygreg builds at some point, but the community move slowly on those issues so it may take years.
If it's their first time, a regular dose is certainly quite sufficient to trigger introspection if people are so minded.
Thanks. I thought the whole paragraph was so i was looking for the term “CFO”, but it’s actually the quote itself that’s in the article.
Two major differences: Chromium itself is a standalone browser, not just a rendering engine. You need to compare Blink to WebKit. Also WebKit is the only engine allowed in the App Store and iOS. There's no such limitation in the Play Store and Android.
Please do tell us more about why the Photos "app" is unique and wasn't uninstallable to begin with, surely it's not a business decision made explicitly to increase vendor lock-in and introduce friction to consumer choice (like the rest of the Apple suite of "apps").
Imagine how many hospitals, schools or affordable housings this money could've bought...
Even then, I disagree with the characterization in that last sentence.

When billions (trillions?) of dollars are on the line, people and organizations tend to move with a degree of urgency not seen in the normal course of business.
I've noticed something similar. If I try to look at a piece of dream text, it looks all garbled. Just like how some AI art generators make text.

Except, I can't remember if my dream text look that way before I was exposed to AI art, or if my dreams were influenced by my memories of AI art text.
Rolled back, https://www.amazingcto.com/

There where many errors, I'll try again later and send you the vitals + errors.

[Edit] Generally I would love this.
That's easy. I think you mean it's hard to buy _Office_ without buying Teams, which is true.
Thanks for the project!

Can I expect it to run out of the box for Next.js static-generated files? If so, any recommendations on how to set it up in a Next.js project?
Neologism: Context Awareness in Go
How does nix solves the problem of Python dependencies not specifying their dependencies well or exhaustively? Do you have to find them out and fix them manually or can you generate a lock file and hope for the best?
You know.. if I could only get a small fraction of that $5b instead of contributing to it being send to everyone but me, I would be a happier man.

edit: I will make a less convoluted statement. Ideally, the amount of that small 5b donation abroad would be zero.
I think my reply to the sibling comment covers most of this.

But I am not suggesting that my family is too stupid -- rather, that the level of expertise required to safely determine whether a given app is safe to sideload is not only beyond the reach of a casual user, it's beyond the reach even of an experienced expert. Is my family too stupid to understand quantum field theory? I don't know -- maybe? Does the framing of "too stupid" make sense with that question?
PhlexUI: A UI component library, crafted precisely for Ruby devs
related project, gron: https://github.com/tomnomnom/gron

▶ gron "https://api.github.com/repos/tomnomnom/gron/commits?per_page=1" | fgrep "commit.author"
json[0].commit.author = {};
json[0].commit.author.date = "2016-07-02T10:51:21Z";
json[0].commit.author.email = "mail@tomnomnom.com";
json[0].commit.author.name = "Tom Hudson";
Wait, what? What country is a self-defense item like a pepper spray illegal in?
Paying will at best temporarily stop ads, until the company wants more money and brings them back. Which we've already seen. And it will not stop aggressive user tracking at all. In fact, it will make the later worse for you on the individual level as it requires doxing yourself to pay and sorts you into the "has money" bucket which makes you a juicier target.
Nice work, when you write up a post like this it makes it look easy. The reality is often fraught with frustration, not in the least thanks to the excruciating wait for parts to arrive once you've painstakingly found the next fault in the chain.

In the end though, I think it's all worth it, if only for the feeling of getting it done and over with. I've repaired a handful of such machines in the past and it's remarkable how available the schematics and parts tend to be, there are whole businesses dedicated to selling cap kits and parts for old arcades.
Honestly: just ignore them. Just start using Rust! It's a lovely, useful language. HN/reddit are not representative most of the people out there in the real world writing Rust code that solves problems. I am not saying their concerns are invalid, but there is a tendency on these forums to form a self-reinforcing collective opinion that is overfit to the type of people who like to spend time on these forums. Reality is almost always richer and more complicated.
I can agree with that. It was about fifteen years ago that a colleague (he was a reliability expert) and I did a presentation on using remote monitoring (I'm not sure that the IoT terminology was widespread at the time) to perform predictive diagnostics on our products in the field. And it was probably another five years before that when I led the first team at the company to implement the remote monitoring project that his data was based on.

I don't work there anymore but I'd bet that not much has changed since then.

I was lead developer on another IoT project about 3 years ago, and besides using cell modems instead of Ethernet, because the machines in this case were in geographically remote regions, the state of the art had barely changed.
For folk interested in learning more about what historians and similar think of the novel, a compilation of essays on the subject titled "Learning from SHOGUN:
Japanese History and Western Fantasy" has been made available courtesy of the compilation's editor, Henry Smith.:

https://www.columbia.edu/~hds2/learning/
> Goldman Sachs should buy them out.

And sell it to China for a tidy profit.
This is exactly what I've been looking for. I had been using my own scripts with Sharp for image optimizations like this, but this eliminates the need for the that entirely and works much better!

I ran Jampack after building my Quarto static site and got a 32% smaller folder with no noticeable drawbacks yet. Here are my metrics before Jampack and after using PageSpeed Insights:

before Jampack:

- mobile:
- 52 Performance
- 73 Accessibility
- 100 Best Practices
- 85 SEO

- desktop:
- 90 Performance
- 75 Accessibility
- 100 Best Practices
- 82 SEO

after Jampack:

- mobile:
- 49 Performance
- 80 Accessibility
- 100 Best Practices
- 92 SEO

- desktop:
- 85 Performance
- 82 Accessibility
- 100 Best Practices
- 91 SEO
Right, the tradeoff in time/resources for doing upfront formal verification vs fixing bugs after they are found is almost never worth it. Formal verification isn't even used for most aerospace software.
That was very helpful. Clicking on a few satellites and looking at their orbit confirms that. The majority do not go over the poles. Interesting that this also leaves northern Canada, Denmark and Scandinavia with what looks like not much coverage but at the same time there's coverage offered [0] in all those regions.

[0] https://www.starlink.com/map
Well you mentioned that you are a dev. I have probably 12 people that I have worked with that I would hire blindly to work with me again. That should be your first pool.

After that, your usual sources should be fine. If you need help with ops, find someone that has done it before.

I would be very specific in your job application.

Don't say, "We are looking for an ops expert." Say, "We are looking for an ops engineer with experience deploying .NET core web applications to azure." From there, you should be able to verify if they have done it.
Sales can’t do that. The leadership where sales and engineering meet has to make that call. Sales may ask for it, but typically sales doesn’t drive engineering, although they usually have a lot of influence. But engineering needs to be able to explain the risk.
I took a step sideways - moving from small company in partner space to the main vendor

Also moved from Professional Services to a hybrid sales/education/services/support role
Using docker is not free, you are effectively trading one type of complexity for another.

And of course you'll have to make sure people equally have good practices, since incorrectly using sudo pip install in docker and not a venv are very common.

So again, one possible solution for a certain context, but I wouldn't sell that to most people. Certainly not to beginners.

People writing their pythonanywhere website won't pop up a container, won't they ?