skysight-inc/HackerNews huggingface dataset:
"It didn't break with inputs 6 and 7" cannot be ruled out as a non-mathematical statement.

Testing can be combined with inductive reasoning to validate code. Say we have some recursive function with 7 base cases, and a recursive case. We can use testing to validate the 7 base cases, and then an inductive argument that the recursive case is correct.
Yes, us too!

We are working on all of this right now and have a bunch more announcements over the coming weeks and months.

Stay tuned!
XTDB 2 will compute and maintain incremental indexes on-the-fly based on the raw data, so index updates will present far less operational impact. This also means the transaction log is now ~ephemeral in the new architecture (no more event-sourcing-style replays required, ever).
> They mostly have a standard network, wired PCs, wifi devices, consoles etc. like 99% of all people.

Right. Those are the "trivial" cases I mentioned.
No dead animals or birds were found: https://spacenews.com/fish-and-wildlife-service-documents-da...
> what type of CEO committees

The kind that doesn't have to bear the consequences of the decision. The CEO is fine, he has a golden parachute no matter what happens. It's the employees who are out of work and unable to find work who end up suffering.
Show HN: Codeium-Chrome: Free open-source AI autocomplete Chrome extension
Starship was selected by NASA as the Human Landing System that will bring people to the surface of the moon.

It will also be necessary to launch the full size Starlink 2 satellites, which have been increasing competition in Internet access around the world, including in places that have had wars and natural disasters.

So, it has use cases.
Being honored to die for a corp is weird. Pretty sure if you were a bobcat, you'd have no concept of honour and have survival as the number one concern.

How about as one of the 1500 animals killed thus far in the Neuralink project? https://www.theguardian.com/technology/2022/dec/05/neuralink...
The Fastest Human-Made Object Is a Manhole Cover Shot into Space
How often is it able to get it right first try?
I mean, so what? If one of my ancestors fought in a war defending their/my country's freedom, I don't get to claim credit for what they did. I am privileged that those ancestors made the sacrifice they did and don't have to fight in a war myself.
I disagree. No price is small if it affects the environment.
Nope. Big company bad. <Insert snarky overeactionary comment based on armchair knowledge>

Literally no concern here for anyone's safety or sanity in dealing with this.
I guess we are it then?
I'm moderately confident you could mechanically transform a time-oblivious schema into a history-preserving one, and then write a view on top of it which gave a slice at a particular time. Moderately.
The device they're asking the question from ;)
It's perfectly doable. I set up Linux Mint for a non-technical family member on a laptop almost a year ago. They use it for browsing the Internet, watching things on streaming services, etc. I just told them to click on the small shield icon that pops up in the system tray now and again to install system updates. I visited them yesterday and asked to see the laptop out of curiosity. It's fully updated, fast, and does everything they want.
Consider the difference between "leaving earth" vs. "leaving earth in dust"
Yes. Exactly. What if they could retract into the ground? Now that would be awesome and a real advancement. Protect that bag of eggs!
> It's not privilege, millions of people have died defending the right to not be invaded by an asshole neighbor.

Yes, and benefiting from that -- without having had to fight in those conflicts -- is a privilege.
I worked for a travel startup for a bit and after that experience I only book airfare and hotels directly.

Specifically with airfare, a 3rd party is not allowed to sell for less than the airline directly, so it's always better options since it is much easier to reschedule/cancel/refund directly with the airline. Plus, if you travel a lot, it is better to find a favorite airline and stick to them. Any bonus "features" offered by a 3rd party I can assure you are either not in your interest or actually a scam.

I don't know if the pricing rules applies to hotels, but I'd rather pay extra then get to the hotel and be screwed over last minute because some 3rd party is trying something "clever" behind the scenes and it turns out it ruins your travel plans.
According to a complaint about the sell price made by Greenspan at the time [1], he owned about 10% of Intermix. If he’s not financially secure, I think that speaks mostly about his actions after the sale.

https://web.archive.org/web/20051004080642/http://www.freemy...
An unnecessary price.

It's one thing if this is unavoidable. But it's not - they were warned, even Musk himself said a blast shield might be needed, but they didn't install one.

Clearly they will next time!
And ironed
Very informative post, great job!
Maybe I'm missing something but I was expecting far worse from an unexpected launch pad liftoff.

Small beach fire (3.5 acre is truly tiny... for context Louisiana permanently loses an acre of marshlands every two hours). Few chunks of concrete.

Obviously there's room for improvement here, but is this really a catastrophe compared to the normal sub/urban sprawl happening everywhere else?
We don't call them europoors for nothing!

(I'm a European myself)
I find it very hard to understand why they didn't build the most heavy duty launchpad of all time when it was the largest / most powerful launch of all time.

Debate about "value" aside, does this not indicate some bad engineering choices? The entire failure sequence seems to have been caused by this choice, if I understand correctly.
Can you point me to it? ;)
I don't think you can launch rockets without impact on the environment. But you probably can put a bit more effort into mitigating the impact than SpaceX did here. And I think it is fair to ask for the kind of measures that are used on essentially every other launch facility like flame trenches/diverters and deluge systems.
Content Authenticity Initiative
Funny enough, Lucas Film suffered a same outage because their data center was backed up to the lake, and was basically under water, and then the wall started to leak.....
Well, iirc the classic coax for cable TV is that; they may use solid copper when using it with an LNB to power said LNB.
Googles advice is not to rely on uptime in every region.

Instead aim for uptime in a few regions, and load balance your users to regions that are healthy.

That design is far cheaper for both google and for you - and, in the typical case, users still get nice low latency to a local datacenter, and only in the rare failure case might they have to wait for latency to some other region.
If you think is is bad, you ought to see what cars, airplanes, and wind power does to wildlife. Or construction of that high speed California Railway. Or just _mowing the fricken lawn beside the highway_.

/s off. This is pretty nit picky. Come on folks.

Also, that's not a Bobcat. Probably best if you're going to write a sensationalized article, at least spend 5 mins to try to get your facts straight.
A) This happens whether in the car or not, and in the car I'm often using AirPods to get better noise cancellation. There's no excuse for this. I could talk to my Pixel 5 while driving from across the car.

B) It's not always a recognition thing. Siri often knows what I said and has a completely baffling response to it.
SpaceX isn't cool anymore around here because HN leans left and Elon backed the right-wing horse.

If Elon had gone "woke" then all the right-leaning sites would be overflowing with SpaceX and Tesla haters.

It's just political tribalism. If you take a side then the other side must vilify you and anything you touch becomes contaminated to them. If a left-winger says the Earth is round right-wingers must insist it's flat, and vice versa.

I personally believe SpaceX to be the most important venture on Earth of any kind, and it's vastly more important than Elon Musk himself or his politics. Thousands and thousands of people work for SpaceX. It's not like it's a one man show.

In a hundred thousand years whatever sentient life descended from Earth life that has populated our region of the galaxy will have no memory of Elon, Twitter, Donald Trump, or the culture war fight of the week in 2023.
The article didn’t answer the question we all now need an answer to:

How did the fire-cooked eggs taste??
Immanuel Kant had the idea of a supreme morality test. All things done by an individual which extended to all individuals would mean human kind extinction are imoral. All the rest are not imoral.

So killing, cannibalism and pederasty are obviously imoral.
The photo of the ruined shorebird's nest is a literal manifestation of the "You can't make an omelet without breaking a few eggs" quote

I appreciate seeing visualizations of the "cost of progress" to ground me for a moment

But images like this are also challenging to put into context given the sheer entropy cost of being a modern human being

Take any moment or activity from the day of a First World citizen - driving ours cars, consuming overpackaged foods, turning on the HVAC system

All casual activities with direct, immediate costs to the natural world

At least SpaceX can frame their activities towards an interplanetary mission and the survival of the human race

Where my consumption of a good steak for a fleeting moment of personal pleasure doesn't even have a reconcilable PR angle beyond individualized greed
> Borgs who supposedly have Agnes as the new queen and should be friendly now

Spoilers and tangents:

It's mentioned in only a throwaway line of dialog in S3 (by Captain Shaw) that those Borg were busy elsewhere. (Though we know not what or why.)

Allegedly, Agnes' Borg are the (Memory Alpha canon) Borg Coöperative, an offshoot of the Borg that play interesting roles in Memory Beta canon (several novels, Star Trek Online), though have a different origin from Memory Beta canon and different organization structure and don't properly connect to the VOY episodes hinting at such… This is all alleged as Picard's writers didn't actually give us enough text to that affect, it's all just subtext right now in Alpha canon plus making inferences from Beta canon (and trying not to get upset that they took one of the good, fun ideas from Beta canon and nearly broke it by doing it so poorly).

(The fun of the Borg Cooperative [in Beta canon] versus the Borg Collective is that the Borg Cooperative ultimately shows that the true assimilation threat in the Star Trek galaxy, while slower and "more peaceful", is truly the Federation, especially when its ideals gets into a culture's head and won't leave. The Collective is mostly defeated and will never assimilate all of the Federation, but the Federation certainly assimilated enough Borg to form its own faction of peaceful Federation allies.)
Idk I feel doing this a lot as a child may have solidified terrible sleep hygiene for myself.
They aerosolized their own launch pad and delayed all their future missions. This was a waste all around.

Edit: I mean that the launchpad's design and subsequent destruction was a waste, and it possibly had negative effects on the flight (engines out at launch and further failures later on). They knew that this was going to happen and responded to this risk apathetically. The rest of test (launch, attempted stage separation, etc) was amazing and had my jaw on the floor. I'm very excited for future Starship missions and I believe in the concept. But this is obvious corner-cutting and has no place in an effort this monumental.
Joyful Data – A tool for making data-driven graphics
I hate that Porsche has gone all in on the touch screens instead of buttons, as they had been one of the last holdouts.

My 911 has physical buttons for pretty much everything, and the small touch screen can be turned off so it is completely dark. The new models are not interesting to me as they have replaced all the gauges and physical buttons with touch screens and touch sensitive buttons

and dont get me started on the fact that barely any 911s come in manual anymore
Until they inevitably push out an update making W10 a giant advert for W11?
The benefit is, when Earth is polluted beyond help, Musk and his progeny can escape our planet and live on Mars.
Apparently the servers were told they were expected to delay their retirement a bit.
maybe if it was unpreventable - but this seems like it could be easily prevented.
I strongly recommend the book by Sutton and Barto https://web.stanford.edu/class/psych209/Readings/SuttonBarto...
Yep. It's like people who think they've had an epiphany that says something about physics when they discover that the things Americans call "shock absorbers" do not, in fact, absorb shocks.
I don't how they do it, but the obvious answer is probably sharding. Their cloud costs must be no joke. Peers require tons of memory and I can only guess they must have thousands of transactors to support that workload and who knows how many peers. Add to this that they probably need something like Kafka for integrating/pipelining all this data.
After 20 years I'm convinced it's never going to be the year of the Linux desktop.

Simple things still don't work, at least the last time I tried about 6 months ago. For example, display scaling is terrible compared to Windows and the remote desktop solutions haven't improved in 2 decades.

It's not even possible to install VNC on a stock Ubuntu 22.04 install without a bunch of screwing around because it doesn't work with Wayland. In Windows it takes 5s to enable RDP. In Linux it's frustrating to set up and, no matter what solution you choose, the experience is sub par vs Windows.

In Windows I can use WebAuthN over RDP. In Linux I can barely get a passable RDP solution.

The problem with Linux is that everything gets to 80% or 90% usable and then someone decides there needs to be a new improved version and the development results in years of broken crap. It happens over and over and over and the OS never gets to the point I would consider stable enough to rely on.

To be clear, I don't mean stable in terms of not crashing. I mean stable in terms of logging in and being able to do a day of work without the potential of having to screw around with something that's broken or not working.
Maybe what is documented here is small (maybe), but what does this look like 10x, 1000x? Do we have any reason to expect this negative impact to decrease with scale?
A lot of non-developers that use some cobbled together amalgam of tutorial code pasted into wordpress themes never have any performance problems with their site. If people are using these things for their own personal projects, then who cares. If they're posing them as in industrial tool, someone with a better vantage point should probably tell them they're about to step in shit.

Different people have different use cases. Many people-- support, customer service, incident response, etc. need to be able to parse those screens incredibly quickly all day long. The small amounts of time that people spend visually orienting themselves on these pages not only takes up time, it unnecessarily imposes a cognitive load. While you could have a code editor that used the glyphs, cursor, and layout of a word processor, and a low-volume coder might not even care, for most developers, it would just be exhausting to visually parse all day long. For many people, communication tools are essentially their code editors and their work is often far more time sensitive than a developer's.
> Unfortunately this is not true. Your browser likes to send any URLs it comes across to indexing services. If you share the link via Discord or whatever, it'll be scrapped.

You still have to manually create the URL first. You don't need to worry about accidentally having everything exposed because the feature is enabled.

> This is also just very outside Syncthing's functionality.

The context was specifically "as a Dropbox replacement".
Everything affects the environment. And saying "all prices are large" isn't helpful.

I think the Starship failure was a comical own-goal. But, in the end, we have to figure out what the cost of externalities like this actually are instead of hand-wringing.
I don’t see the problem. Clouds are just water droplets anyway.

Joking asside I hope we will get a nice postmortem with juicy civil engineering details.
i've never had a single issue with dropbox on 3 macs in 10 years. Plenty of issues with google drive and one drive (or whatever it's newest name is).
Artificial intelligence isn’t going to change as much as you think
Except maybe public property which is arguably even more permissive ?
You can get bored of anything.
> The soviets were not discriminatory in who they killed, and very often included their own

Well, Ukrainians don't think so, and then Russians of today have even more unambiguous genocidal intentions towards them. Paraphrasing a (Russian) classic – these genocides have never happened before and yet again.

Also, Wagners torture mobilized Russian soldiers just as gleefully as Ukrainian ones, but that does not mean that the genocidal intent is absolved, it just means that its the Russian way of doing things.
This is how we created the 6th mass extinction.

Progress is fine, they could be more careful and thoughtful. We made it illegal to dump industrial waste in water. Blowing up exotic concrete to the point it becomes a fine dust and spreads over a large area is unacceptable. They should be allowed to continue operations as long as they make the proper adjustments.
I was surprised that nobody has made an Imgur replacement backed by Cloudflare R2. It would eliminate the egress cost issues while being on one of the Internet's greatest CDNs.

I thought about doing it myself, but as the article mentions, there are "Legal realities, such as copyright removal and the risk of CSAM imagery".

Building a web app for uploading and viewing images is easy. Connecting to a payment processor so you can have some sort of "premium" account isn't too difficult. But having to deal with copyright claims and preventing/reacting to CSAM is an absolute oil tanker of worms if you reach the scale that Imgur has. If you choose to allow porn, you have to deal with claims of porn being posted without the permission of the subjects (ie, revenge porn). You can't automate those claims, or you'll end up with the current fuckery of YouTube where legit content creators get their content taken down or demonetized from fraudulent claims.

As far as Imgur itself goes, I knew this day would come. I'm surprised they still allow direct linking of images, as that results in their bandwidth being used for free.

What's interesting these days is how Discord allows direct linking. Waiting for that to go away some day.
StellarX, create immersive experiences without code. Available on Quest store
The software was significantly more polished in the Jobs era. I don't know why, because it's not like it's something Jobs obsessed over more than Cook. Apple just doesn't seem to have "good software" in their DNA.
While I see your point, please note people actually spending money don't just look at how much money is in the industry. They have internal metrics and can track performance of individual marketing campaigns. I called it a baseline argument because I'm not a marketing expert so this it the only real KPI __I__ understand.
Binance Faces Mounting Pressure as U.S. Crypto Crackdown Intensifies
Lack of TPM is going to make an insane number of otherwise usable PCs obsolete

Perhaps a distro solely focusing on Wine could clean up?
They can claim anything they want, but I don’t believe recipes are protected by copyright.
I saw the $100 million series B for Pinecone and thought something similar, since vector databases are becoming more easily commodified, with Postgres already getting pgvector and pgANN.
Hahaha at that point I’m not sure anything works better than frequent and empathetic conversation. I’ve known kids in middle school figure out how to make $200 or so to buy their own devices to stash away for personal use.
AWS has had datacenters that were flooded, but they failed over and physically moved racks via trucks. Customers never knew.
Cra.tw – A Link Shortener for Crates.io
https://archive.ph/rMoof
Yes, but through WSL.
I don't understand how that counters "Winner writes the history".

If the winner wouldn't write history it wouldn't be a problem to talk about

- Holodomor in Russia

- the genocide on the Armenians in Turkey.
Is ReVanced the new incarnation of Vanced? (Vanced finally stopped working yesterday, and I don't know what to trust.)

For the record, I pay for YouTube premium, but I love being able to automatically skip the drivel (like, share, and subscribe blah blah blah).

I also loved having 2 YouTube apps: The official as well as Vanced. I could stop one video, open another video in the other app, and then immediately come back to the previous video. It's like browser tabs. I honestly don't know why apps don't have that functionality. Or the OS support running multiple copies of the same app. Imagine Microsoft Excel only allowing you to open one file at a time!
At the highest resolution of the GP comment, 800×600, and a 240MHz CPU/MCU and 8MB RAM, 60fps smooth updates for things like scrolling, scaling, and drawing new buttons and icons should normally be possible with the CPU alone. Fading and blending large areas of the screen won't be, but small areas will be fine.

Basically anything that involves copying pixels or solid fills without per-pixel calculations. 60fps at 800x600 is 28.8Mpixel/s. Copying and filling at that rate should be achievable by a 240MHz CPU with some tight coding. The rest is 2d geometry, mostly axis-aligned, with relatively few edges. That's not demanding at all.

(I used to write 2d and 3d rendering engines for slower CPUs than that.)

A GPU is necessary for fancier effects like fades and shading, but the basics can be smooth on a CPU and the fancy stuff too if confined to smaller areas.

Also, for the car, people would be happy enough if it could do a consistent 30fps I think.

Those annoyingly slow GUI updates you tend to see on TV set top boxes are not slow because of the hardware... it's usually the software not being written with sleedy rendering in mind.

All that said, you're right that if there's a GPU or even just a Blitter, it should be used and then the CPU speed almost doesn't matter as the geometry calculations are so simple.
We're one killer global war / pandemic / etc away from extinction

Being on multiple planets (and eventually multiple solar systems) prevents a species from going extinct if something catastrophic happens to their home world
HN leans left? If anything in my view it leans hardcore free market libertarian/"move fast and break things". Individual people may hold common "liberal" political views like supporting gay rights, the right to abortion but on economics issues and things like government regulation of huge tech, HN is basically indistinguishable from Peter Thiel.

Note that actual leftism is not the same thing as modern liberalism. By the economics textbook definition of the term Ronald Reagan was a modern Liberal.
No, its not. This blog post reads like a smear piece. Complete with a leading picture of a dead bobcat that was obviously killed by a car and not a rocket
What was won is a small but vital step toward humans becoming a multiplanetary species. From this angle, the impact of this launch is obviously a small price.
This is a two-day old report on a case which has had several significant developments since. It gets several facts wrong right from the outset (the weapon is very obviously not a crowbar) and takes assertions as facts, which subsequently turned out to be groundless.

I'm not sure why one would ever submit news stories from a known-poor source like a tabloid newspaper to HN when better sources are available.

There's a more up-to-date and factually accurate report here: https://www.cbsnews.com/sanfrancisco/news/don-carmignani-gar...
they are chasing that research funding money