skysight-inc/HackerNews huggingface dataset:
For the record, I work in HPC environment, but originally, my background is in storage.

> Big distributed storage systems still use hdd's

So what? Did you read what I wrote? I wrote about developing new, not supporting old...

> A good nfs server implementation will beat the pants off all the cloud vendors.

What are you even talking about? What cloud vendors have to do with this? Did you read what you replied to?

> Mmap is used heavily in a ton of software for good reason

So what? OP is asking in the context of writing a database / disk I/O. It's a wrong system API to do that. It's intended for applications to "easily" saving their in-memory data. If that's what it's used for, then it's fine. If it's used to implement a filesystem, then the filesystem authors don't understand what they are doing. Also, being part of POSIX or any other standard doesn't warrant a magical resilience to being a bad functionality... just look at the history of UNIX / Linux repeatedly failing to come up with an interface for asynchronous I/O, and sure enough, all these iterations made it into the standard.

> just staying bigger blocks is faster is a bit misleading.

It's not misleading. For the one paragraph answer, it's perfectly correct. And, no, block size is a very important aspect of any storage system, it's not something that may not matter.

---

As an aside: you sound pretentious, and try to pass as knowledgeable by saying things that have a drop of truth, but are mostly fancily dressed nonsense. Just stop. It's embarrassing.
Yeah, it would be nice if you could easily hook into the test runner/reporting stuff.
> and can be safely blocked.

Well no, not if you yourself are also using Cloudflare
The Twitter transaction was not a hostile takeover. In fact it was exactly the opposite. The board ended up suing him to make him buy Twitter.
Trains aren't wildly profitable, but they are profitable when run correctly.

You can't just make an unicorn hockey stick curve train company, it's basic infrastructure like electricity and water.
There are many things in the human experience that aren't worth a price of zero. For these, you must pay someone to take them off your hands.
Why wait? Uber succeeded by subsidizing the cost of rides until they had completely crowded out taxis for good
These Bank Alternatives Can Keep Cash Rolling In
"Both seems like reasonable use cases for interactivity that is (better) achieved using Javascript."

Only if you want fancy animations. I sometimes do, but I think wikipedia can do without(and they don't) and use <details>

https://developer.mozilla.org/en-US/docs/Web/HTML/Element/de...

And media viewer I would naturally do with js as well, but I am certain you can also do it easily with CSS. (Many ways come to mind)
This was discussed before - this is a fake study. They did math and modeling, but neglected to actually measure anything.

And they could have, long term GPS is accurate enough to do that.
In what country? I've never seen a bring-your-own-cable charger in the US.
Well PepsiCo doesn't only make Pepsi, they own so many different brands it's entirely possible that what they're transporting with the EV fleet isn't a drink.
You mean like server<>server communication? Hopefully that communication stays within the network rather than going from server<>internet<>server
the fact that you can use whatever component framework you want and mix and match is pretty awesome. been hooked on astro ever since trying it out once :)

another low-hanging fruit for optimisation that nray.dev is not using, is the new inline-stylesheets option: https://docs.astro.build/en/reference/configuration-referenc...

using the 'auto' option usually reduces it to a single global sheet and page-specific inlined css. especially if you are writing a lot of short style blocks in your components, this is very very handy to reduce the amount of served css files.
Go sit in one. It’s pretty mind blowing. This arrived way faster than I expected but yes it’s definitely here/quite close.
If Theseus’s Ship had an engine, it’d be the Saab B2x…:-)
All non-Tesla cars except for Nissan use CCS.
I suppose it depends on the product thermostats? watches? ovens?. The lifecycle of an unmaintained iOS app is about 18 months. So that's what we are comparing.

Most of the apps I have purchased in the past no longer honor it and have switched to a subscription because it doesn't pay for yearly maintenance.
In addition to screening, chance of cancer increases with age. The effect of more cancer may just be people living longer. People are getting cancer at 80 instead of heart attack at 60 or shot at 20.
See also: https://en.wikipedia.org/wiki/Multiocular_O
Every grown up animal can feed himself just fine, since forever, and also without your car, a supermarket and food shops, I wonder how long you can do it, animals know if you let them live in their natural environment
Always neat to discover that multiple high-quality tools you discovered separately are all written by the same person. I use both bat and hyperfine regularly and had no idea. Now, knowing to look up the author, I've learned about insect and hexyl too!

Fabrice Bellard, klauspost, and bradfitz are three prior examples of this that spring to mind. I'm sure there are plenty more I haven't noticed yet.

Sincerely, thanks to the people who make contributions like this.
I also like the "Dynamic Gain" effect. Used this to great effect recently in a conf call, with multiple people sharing a microphone. Without it, it was barely possible to make out the words of some speakers. With it, it was passable, except when it went under the cutoff level of the transmitter.
That is a weird response. What next? Ban walking near the exits? Or standing near the doors?
If things get tight in his Martian kingdom they may well have to invent the Donner Pass kebab.
Kurviger: A route planner that prioritizes scenic, curvy, and mountain roads
Yeah, the problem is that it's surprisingly easy to fall for the fake if it re-affirms your world view.
My favorite was the alleged sighting of "Wet Nellie" (modified Lotus from Bond movie that Musk bought years ago) in video footage sent to Tesla's servers by one of their cars - likely, when it was parked. They have been quite lax in multiple ways at times with various practices.

Definitely speaks to company culture that not only did all sorts of images & video get recorded on private property and sent to Tesla (at highly questionable times given the claimed reasons for the sending of images / video), these materials were then casually handled up and down the chain. Significant disregard to any real access control, training, rules, etc. - employees sharing, commenting, and making memes off of everything.

https://www.reuters.com/technology/tesla-workers-shared-sens...

(Not the only article or set of sources, of course. I'd certainly still classify this as alleged, but, have encountered enough such reports and heard enough stories from various people to consider this likely largely accurate. My opinion, though.)
At least they're using ssh and not some home rolled garbage. If ssh uses keys and not small passwords, it's one of the most secure methods around to get access to a machine. Unfortunately far too many companies are just rolling their own extremely flimsy and insecure VPN programs these days.
Yes, planetiler rocks and the memory mapped collections enabled us to remove our dependency to rocksdb ;)

From my perspective, planetiler started as an effort to generate vector tiles from the OpenMapTile schema as fast as possible (pbf -> mvt). By contrast, Baremaps started as an effort to create a new schema and style from the ground up. In this regard, having a database (pbf -> db <- mvt) enables to live reload changes made in the configuration files. The database has a cost, but also comes with additional advantages (updates, dynamic data, on demand generation of tiles at zoom levels 16+, etc.).

That being said, I think the two projects overlap and I hope we will find opportunities to collaborate in the future. For instance, whereas PostgreSQL is still required in Baremaps, I recently ported a lot of the ST_ function of Postgis to Apache Calcite with the intent to execute SQL on fast memory mapped collection.

https://github.com/apache/calcite/blob/main/core/src/main/ja...

A planet wide import in Postgis currently takes about 4 hours with the COPY API (easy to parallelize) followed by about 12 hours of simplification in Postgis (not easy to parallelize). I will try to publish a detailed benchmark in the future.
In this case consent, should it be possible, would also be a questionable approach. See: the vampire problem.

The trouble is, in this situation, how could you possibly make an informed choice? For, after all, you cannot know what it is like to be a vampire until you are one. And if you can’t know what it’s like to be a vampire without becoming one, you can’t compare the character of the lived experience of what it is like to be you, right now, a mere human, to the character of the lived experience of what it would be like to be a vampire. This means that, if you want to make this choice by considering what you want your lived experience to be like in the future, you can’t do it rationally. At least, you can’t do it by weighing the competing options concerning what it would be like and choosing on this basis. And it seems awfully suspect to rely solely on the testimony of your vampire friends to make your choice, because, after all, they aren’t human any more, so their preferences are the ones vampires have, not the ones humans have. -- L.A. Paul
Why

uint8_t b = 0b1111'1111;

I would rather have

uint8_t b = 0b1111_1111;

This ' thing is hard to get right on some non-us keyboards. And yes, I've the same problem with Rust.
Are you saying the only quick way to iterate is unit testing? My point is that there's a whole class of things that require unit testing in Python that are just automatically caught in Rust.

If you don't know Rust well, it's going to be slow going. If you've internalized the way it works, it can be very fast to iterate. Especially when you learn to start structuring types in such a way that bad states aren't even representable. You can often make it impossible to construct inputs that would require debugging in Python.

> From that statement, I'm not convinced you know Python nor Rust.

Thanks for the personal attack. I use both Rust and Python regularly at work, and write tests for both. Working on the Rust code base is pretty much always faster, because so many things are caught in advance. Yes, unit tests are still needed, but not for as many things. Learning to use the type system to your advantage, instead of treating it as an obstacle, can really speed things up.
Evaluating Tesla's situation is difficult without context. With 3 million cars on the road, about 0.1% of owners have lodged complaints, which doesn't seem alarming initially. Unintended acceleration issues, typically attributed to user error barring some floormat incidents, are common across the industry. Without comparison to the overall auto industry's complaint rate, Tesla's situation isn't notably concerning.
Can We Believe the Dead Internet Theory After All?
Really cool topics, but wish there was a text version of those courses.

Edit: aside from the fact, that reading is much more effective for learning, hearing their Polish accent is pure agony (I'm Polish)
I was assuming that calibration of difficulty implied some sort of curve. I'm admittedly not a teacher so there's much I don't know, but I don't really understand why difficulty would be a useful metric, which is what I was getting at. The only useful metric is if they can apply the knowledge somehow.

To the original point, if someone cheats, they weren't interested in the first place, so why were they there? Likely they were coerced. I just think this effort of "gotcha"ing people that don't give a shit about the subject in the first place might be better spent either showing them why they should care, or working with the people that are actually interested. What could this professor alternatively have done with his time compared to this, which is a headache of dealing with these people that are going to have to, bitterly, retake this class, or worse, leave school altogether? What was accomplished here?
So many unsung heros in the open-source space, while it's so easy to forget people who worked hard on the tool you just used.

On this note, I've actually used hyperfine a while back for some quick benchmarking - thanks to David and other contributors for bringing it to live and continuously maintaining it!
Do you think if VPNs became illegal in America that it would have any effect on terrorism or child abuse? People who don't care about violating little children don't care about violating the law.
Uber had several long-term plans for making money. Surge pricing, predictive analytics, combined trips, tiered service, etc.

Uber makes a gross profit of over $12 billion on a revenue of nearly $32 billion. They lose money on paper because they keep reinvesting profits and further investments back into the business. They've almost doubled revenue YoY.

So even the most ludicrous SV startup you can think of pulled this off.
They have always been crooks. Just because lying has become even easier doesn't mean that there is no truth.
I've just done so. I might rejoin but I'll look for alternatives first.
With protest groups, the aims tend to be more political, and less technical - the problem is not what should be done, but rather, how to force politicians to do it. With climate change, the pressing problem is that while almost everybody agrees on the broad strokes of what needs to change, we're prevaricating on the implementation.

My feeling is that I wouldn't take the actual technical policy proposal stuff from the activist environmentalists too seriously - it's often not what they're interested in. What they are good at, and interested in, is forcing the problem of the coming catastrophe to the forefront of our imaginations and our conversations. Climate change is ultimately a problem of political will, not policy.
I'm bad at math.

This doesn't mean I can't do math, but it means its 5x as hard for me as it is for you. I find math people actually wind up enjoying the puzzle and the mastery; I never did.

This isn't a problem. Most people find some things come easier to them or are more rewarding than others.

But it seems to me there's a line between helping people do stuff they're bad at and insisting that there's no such thing as being bad at them.
https://archive.is/5RZDw
> It's not a trivial promise to make.

It's actually very trivial. 99% of code I write can be run at compile time.

> maintainer wilfully broke the API

Did they break the API or did they change the semantics? The API is tittle-tattle, the point is that you cannot run it at compile time anymore (e.g. accidentally introduced a opaque new dependency by accident? Oops)

> And I can't think of any langage which does that

Being able to opt out is not what you want, but D allows everything to at least attempt to be run at compile time. This has been very profitable.
Yes, in this case "tell the truth" means knowingly tell the truth. Or knowingly lie. It just doesn't have a clue which is which.
Those Tesla's can’t keep their mouth shut (“whose Tesla said it accelerated…”)
"During snowstorm sometimes miles of the highway can be filled with stranded card. I wonder what will happen when all those cars are gasoline powered and the tanks depleted."

You can literally camp in an EV for days with a comfy temp inside. And if you're stuck in traffic for _days_, you've got bigger issues or you live in an area where you should never drive anywhere without a Get Home Bag anyway.

I live in Scandinavia where the temps get regularly below -20C and an EV is the best option to have by far. No car ever has been as warm as fast during winters.
Ya, me neither. Public L2 chargers are either CCS or Tesla destination chargers.
In the dynamic world of product management, the importance of pricing cannot be overstated. A well-planned pricing strategy is crucial in determining a product's profitability, market positioning, and perceived value. Therefore, mastering an array of pricing strategies can empower product managers to optimize their financial performance and remain competitive. In this blog post, we'll explore 11 pivotal pricing strategies with real-world examples, guiding you on when and how to implement each.
In the 80s and 90s CS was often seen as a fallback if you couldn't do well in EE.
Which is why it's crap => back to macros we go.
Is this basically for cosmetic purposes?
Cannibalism is crazy now? Think of all the advantages:

- Cannibalism is a way to maximize the use of available resources

- If regulated in a certain way, cannibalism could serve as a form of population control

- With a balanced diet and careful preparation, human meat could be a source of protein and other nutrients

- Cannibalism could be seen as a means of waste reduction. Instead of bodies taking up space in graveyards or being cremated, they're consumed

- Cannibalism could be used as a symbol of dominance or power. Consuming another person might be a demonstration of absolute control or superiority.

Of course, this is all fictional, and I just thought it would be fun to try to think positively about a somewhat controversial topic. But still...
Postmodernism is ironic exactly because it is such a "grand narrative" that it is supposedly trying to avoid.
I don't see any Mercedes self driving videos on youtube by regular people. If that tech existed and was in customers hands, Im sure there were many such videos?
What you are describing has nothing to do with an LBO. You are just describing debt and bankruptcy. In an LBO the debt is part of a transaction to buy the company and the seller is rarely desperate. Banks wouldn't lend into an LBO of a company that is on its last legs.

Also, the probability that a lender gets out of a liquidation whole is slim. The probability in a case where the main asset is IP is basically zero.
NIO is doing some crazy crap, dunno how they pay for it.

They even have literal charging vans you can just order to come anywhere you want. You use an app to request one, they drive to your location and charge your car.

Plus they have the manned battery swap stations everyone has seen a video of.
There problem is when your auto-detection gets it wrong and you keep getting served the mobile version even if you are not (looking at you www.arista.com).
Unfortunately that point is around 18 years of age.
Monopolizing Turds
For searching using search terms for theorems in mathlib, there is the mathlib documentation page (for Lean 3 https://leanprover-community.github.io/mathlib_docs/ and Lean 4 https://leanprover-community.github.io/mathlib4_docs/). To find theorems by type, I find the best way is to use the `library_search` tactic from inside Lean itself.
Cory Doctorow on fecal transplants
This is "design by introspection". It works a lot better if you can

1. Do this in types.
2. Do this without introducing a new scope inside a function.
I hated that movie. I'm pretty liberal but it was such blatant pandering. The message just seemed to comfort millennials; see, the grumpy boomer was a bleeding heart lib just like us all along!
Man, there's got to be some passive cooling Einstein-Szilard hijinks that could be gotten on the backside of those hot-climate panels. Seems like a pity if not . . although, devil's advocate, solar viability more or less hinges on dirt-cheap panels, and having some kind of whiz-bang passive cooling on the backside is going to screw with that a whole bunch.
I assume all Tesla drivers who are frequent road trippers have a gas car too?

There are 1800 Tesla chargers in the US vs. 145,000 gas stations. Also it takes less than three minutes to fill a gas car and gas cars are less expensive.

I don't get the appeal for all their disadvantages unless your Tesla is your 2nd or 3rd car?

Also Elon Musk's behavior....
It is decided by the compiler.

Note that I mean at the declaration not the callsite.
Some are. I have a… I don’t know, 25 year old calculator that’s still trucking along. My stud finder is at least 10 years old and works great. The light programming and battery charging circuits in my headlamp are great, and as long as the lamp is working, I’ll presumably be content with them.

There are plenty of basic circuits like this which don’t really need to adapt or improve over time. I like these a lot. What concerns me are those which rapidly go obsolete or lose utility.

I’m also not so sure things need to be useful forever. Many older technologies are totally obsolete and therefor not practically useful anymore. The key thing is, if this is no longer useful, how can we recycle it? How can we remove it from the world without it being a burden?

That’s probably the hardest part.

Edit: just realized a calculator is arguably a perfect candidate for being an app. I suppose my point was that it is still working well, though. A stud finder or an oven as someone else suggested is a much better example.
This is a pretty common type of streetside charger in Ireland: https://cloudfront-eu-central-1.images.arcpublishing.com/iri...

The ports on the side are for people to plug their charging cable into; charging cables aren't supplied.

Here's one in use; note the non-matching cables: https://www.theaa.ie/wp-content/uploads/2022/11/iStock-14421...
It's not unnecessary if the feature is something you want?

The js is unnecessary if you can achieve the same result with plain css.
Thanks, I bought into the uber for free because of vc money meme.
Agree! I despise almost all mobile sites, even from my phone. "responsive" sites invariably suck too. Give me the full desktop site every time.
Ah yes, reminds me of one reason I don't mind waiting so much for a table these days. Just list the family name as "Donner" - hearing the maître d' call out "Donner, party of 4, your table's ready" really makes up for the wait! ;)
OTOH, there are lots of outdoor 110 vac outlets in the US if you look. Level 1 charging is terrible, but it's not nothing. Mostly tongue in cheek, I've never charged with a random outlet, but I've seen a lot.
*new output is generated
Some of us Americans know our elevator numbers are wrong — zero / nilth is the correct ground floor by far! — but that doesn’t mean when you pick up the first apple in a bowl of apples you should rename it to nilth. Counting order is different from Indexing order. One is the order of objects in a list and the other is the offset (2nd floor is two floors up from zero). They are just different things and that is why they sound right in different contexts!

(It’s 2023, and we both are right)
Link? Dups on same URL are less likely; more likely, same topic, different feed.
Just confine a nitrocellulose reel in an airtight container. Ignite it. Enjoy.
You're reading too much into it. "Reality" here is used as a metaphor to aid in learning. Given equivalent mathematical descriptions of something, they are all just as true, or just as false. None of them is more "real". The metaphor uses that word, but it doesn't make them unequal in any other way than comprehension by humans.

As humans, especially in mathematics, concepts are all we have. Dig deep enough, and you'll hit the wall of the unknown rather than the real. What is an electron, really? Is this question even answerable, or is it more refined concepts all the way down? Can you even perceive anything real, raw, without interpreting it into a high level concept like a color or a neuron firing (Kant comes to mind).

The decomposition is taking place. The decomposition isn't taking place. It's all the same.