skysight-inc/HackerNews huggingface dataset:
Pods would be much less efficient than current system. You are carrying like hundred pound of pod for each passenger. Would save some on no seats but then lose it to racks for carrying the pods. Also, would need to carry nurses to monitor vitals and revive passengers.

Most important, pods are death traps in crash. Remember the plane in Japan where most of the passengers survived? All of them in pods would have died.
I never understood why is it when people talk about LoC of code written, they always use 'lines added - lines removed'. If I do a run 10km run and end up in the same place I started, it's not a 0km run.
I am kinda tiring of seeing this rationalization. Don't you see, it's on the company to fire you if your productivity is low! Feel free to do nothing or as little as possible! That's such trash.

If you're in software and are being honest you know we are not being paid for our output. Where are you working where the understanding is that if you get assigned a task for the week and finish it in one hour, it is common knowledge between you and your management chain that you have the rest of the week off and the CEO says "nice, see ya!"? Where your team says the same and doesn't look at you sideways? No, we aren't being paid for output, we are being paid for being as productive as we can (sustainably) for the generally accepted hours (9-5 or whatever your company says), and continually improving our skills. There is a general extreme difficulty to measure and track and enforce that (because as we all know, estimation is hard and shit happens) which is where trust comes in and why companies are so vulnerable to people working less and lying about it -- it's super difficult to verify.
I’d prefer if every “screenshot” was generating an image with a terminal window with code from some random open source project. Bonus points for a matrix color scheme and some hexadecimal strings.
And existing users, who adopted your product because it already satisfied their need, may perceive any new features as unwelcome UI changes if they interfere with their existing workflow. As as told by https://x.com/scriffey/status/1493389985579417603:

I was next to my girlfriend when Chrome updated on her computer. It popped up a page of new features and she goes "I don't need this, I will never use a feature" as she closes it.
So do table variables and temp tables.
A digression for anyone interested in Hashlife: I want to recommend Gosper's original paper [1] over the various other explanations of it. It is brief (6 pages), lucid, and was the paper that finally made me understand how hashlife works.

[1] https://www.lri.fr/~filliatr/m1/gol/gosper-84.pdf
My understanding is that hacspec is the language (a subset of rust), and hax is the tool that compiles it into format proof languages like Coq. Some explanation of the name changes here: https://hacspec.org/blog/posts/hax-v0-1/

> A group of us started hacspec (high assurance crypto specifications), a language for specifying cryptographic primitives as the basis for formal verification, in early 2018 at the HACS workshop. After two iterations on hacspec the project outgrew the name and the initial crypto-oriented scope.

> Here comes hax. hax is a tool for high assurance translations that translates a large-ish subset of safe Rust into the formal languages accepted by proof assistants such as F* or Coq. Backends for other provers like EasyCrypt are under construction.
> Amazon Prime wasting billions in shows that almost no one wants to see

And remember that is money that is coming from their customers. Thats why it is important for streaming companies to use the money to invest in content that people want to watch and produced at a price that makes sense.

If you make a bet that turns out bad, it is better to cancel the series rather than continue to waste subscribers’ money on another season.
https://www.texastribune.org/2018/01/10/time-oprah-winfrey-b...
beautiful website and nice overall aesthetic.
You realize that ads are pay per view. Rather than cash its attention and eyeballs. It's an arbitrage one can win if smart.
Probably more about getting known cut/fresh meat. Easier to see what you're buying before it's ground.

Also they don't can't sterilize the grinder between customers so doubt it does much for hygiene.

This is very common around here.
> But does the overall cost of these 'WindWings' recoup over the lifetime of cargo ship.

Well... 1 ton of bunker fuel costs about 650 dollars, so you're looking at 7.5k saved each day, or 150k per trip (assuming an average of 20 days at sea). Cargo ships have ridiculous life expectancies measured in decades, so it's very likely to make a significant dent.

[1] https://www.statista.com/statistics/1109263/monthly-vlsfo-bu...
A lot of these ships carry upwards of 150000 tons of cargo. Not sure if an extra 60-70 tons (assuming a 20 day trip) of cargo would be very meaningful. A quick google suggests that would only be 2 or 3 additional shipping containers.
I agree. Going beyond that, I don’t think it would hurt companies to open source their game if they ever declare bankruptcy or simply not sell the game anymore. Any arguments against doing that?
(Can't edit anymore, but I meant "automatic transcription" above..)
I think 90s desktop UIs are probably the peek of usability. Once the UI trends went flat and minimal, usability has taken a huge hit.

I’d agree with the quote, every big UI rework has been controversial, see Windows Vista, Windows 8, and iOS 7. Even at an app level, developers will frequently refresh their UI, usually dropping features and making the software less useful.
Much has been written about the dystopia we are already in, but I am specifically concerned about the dystopia they are earnestly building. Meta is aware of these problems and is trying very hard to solve them.

And they won't be useless! That's the worst part. They will provide compelling value, like smartphones, and as such will be impossible to boycott. At first the value will be simple, obvious utility, like route overlays. Later it will be value within the system, much like how the main utility of smartphones now is to run the mandatory apps to participate in aspects of society that previously did not require a smartphone. And of course they will be addictive.

Here is a short sci-fi film depicting what I fear: https://www.youtube.com/watch?v=YJg02ivYzSs
Cyclists know that the right number of bikes is N+1, where N is the number of currently owned bikes.

I love the variety of bikes displayed here, from racy carbon fiber (Pinarello, Trek OCLV, Kestral), steel (Waterford, De Barnardi, Soma, Ritchey), trendy-at-the-time titanium (Litespeed, Merlin), and experimental (Calfee, Trek Y-Frame, Delta 7).
Unfortunately it's hardly progress. MoE expert models are still large, have to be trained in usual, linear way, this approach requires training set classification upfront, each expert model is completely independent, each has to relearn concepts, your overall model is as good as dedicated expert, scale is in low numbers ie. 8, not thousands (otherwise you'd have to run inference on beefed up cluster only, experts still have to be loaded when used) etc.
After so many years, this title made me really catch the name "Unbound" for the recursive DNS resolver...
How much do you pay per Blu-ray Disc? When you compare to the subscriptions you cancelled, are you getting more value for money?
An ultimate economy box like this is great. But I would like to take it one step further and have them parked here and there for use with an app or something.

Volvo has something similar to what I describe with Volvo On Demand.
https://www.volvocars.com/en-se/on-demand

I tried using it in Stockholm, but it wouldn't let me because I am no longer a resident there. Still, the idea is great I think especially with cheap boxes like this.
Watched the Tencent adaptation, was great. Made it through one episode of the Netflix version so far, is horrible.

The Netflix version is almost like a constant ‘danger to manifold’ from The Fast and The Furious.
Correlation, as the saying goes, does not prove causation.
Advanced CSS styles to create realistic-looking Pokemon card effects
> Planet based?? Deity based.

You're right of course - planet names came later, being named after roman deities (with the exception of Uranus, named after a muse).
Maybe I've been lucky, but I've been in big (10's of 1000's of employees) firms and small (10's of employees) firms, since the mid 1980's, and have never been measured on LsOC. But I play along with the joke, because it's an easy strawman.

That said, there are other equally bad metrics that are in current use.
Can you be more specific? Win98 se sp2 was a golden age of computing for some.
Details of the flash firmware?
> Humans and computers are different.

Here you're wrong. It's not humans vs computers, but humans with older methods vs humans with newer methods.
It will learn. It's called "in-context learning". This learning will be limited to the current context window, because it won't get encoded in the model parameters. In order to make it permanent, you would need to retrain/finetune the model using the new information.
> give us all tranquilizers as we board, and stack us on top of each other like firewood.

In the movie The Fifth Element, that is almost exactly what happens to passengers on an interstellar trip. [0] The flight attendant announces they will be using "sleep regulators", where a button on each passenger-pod can instantly make the occupant unconscious.

P.S.: The pods would probably be even smaller if nobody had to care about the opinions of set-designers and actors and camera-crew. :p

[0] https://m.youtube.com/watch?v=UENRVfdnGxs
To be honest I think mostly nothing has substantially changed. Windows 95 isn't substantially different from Mac OSX 14 or Gnome or whatever. They're all the same clunky pointy clicky distracting paradigm where you have to memorize a bunch of visual rituals. The problem is that they change not which changes are "better" or "worse".

By contrast, emacs has improved dramatically from v26, to v27, 28, and now 29. It's gotten faster with things like tree-sitter and native compilation. LSP has been completely revolutionary. You know what hasn't changed? The UX.

Same thing with Android/iOS. The new features don't change the fact that the device is a terrible compromise. It's pretty bad at being a telephone compared to the actual phones which preceded it--for example, try making a phone call without looking at the device. With a physical number pad I used to be able to dial numbers with one thumb while driving, without looking at my phone. Try doing that with your "smart" phone.

It's also terrible at being a computer because it lacks a keyboard and any way to run normal computer programs--everything is these nerfed "apps". Why can't I have a shell, emacs, gcc, etc?

So, I guess no. I'm not glad, really. Neither Windows nor Android made anything fundamentally better for me. And incrementally polishing these turds doesn't either.
I give up. If one can build a house, one can do anything :).
As a European living in the US, I've found that it's nearly impossible to get on American's group chats without an iPhone. Hence I've had to shift my friend groups to be mostly other foreigners.

The Americans all say that to get in, you need an iPhone. So definitely a smart monopolistic strategy from Apple.
Dental Care is just like everything else related to your health: it's complicated.

If you're eating healthy and have good hygiene, doctors ain't gonna help whatsoever unless you're unlucky and get a rare disease that they can actually diagnose and treat correctly. The likelihood of that is probably around 0.0%, rounded.

The average person drinks soda, eats lots of sugar, drinks alcohol etc. That adds up over the years. especially soda in the context of dental care, as that's an acid and destroys the enamel over the years. once that's damaged, things get worse.

Kinda relevant: is the 92 in your username your birth year? If it is, you not having any issues is to be expected. Most people develop their Dental issues in their late 30 and later
It may actually be profitable again. The entire reason media rentals ended up dying is because of Netflix coming out with just about every bit of media available for streaming.

Now that everything has fractured into a million pieces, media rental once again seems like it may make sense. Redbox is still around still lending out blurays. It wouldn't shock me if that model made a resurgence.
Thank you for your words. I appreciate you taking the time to reply. Those are some good thoughts, and I like your source-based strategy in particular.
Looking at waveforms can be misleading because of the frequency-dependent sensitivity of the human ear:

https://en.wikipedia.org/wiki/Equal-loudness_contour

It's possible the vinyl version just has less bass, and doesn't sound noticeably more dynamic. The waveforms might look more similar after high-pass filtering at 100Hz or so.
The Claude 3 tokenizer seems to be slightly broken for code. Claude 3 gives really good answers but sometimes long code snippets seem to be corrupted with missing chunks and weird indentation.

Might try this out and see what’s going on
No, they don't. It's just a top position on Google. It's like showing up in the first position, but with way less click-through.
Trial and error is usually a bad idea in all kinds of programming.
I wouldn't call peer network of 8 "distributed learning" in the sense we're talking about here.
This is not one group. This is every single group of American iPhone users. Try to get off iMessenger if you want to see it for yourself.
>widely thought

I would say this is an appeal to majority logical fallacy, but can we even quantify how many people actually believe in this, who have heard of this relatively obscure war in the first place?

Even at-the-time US Deputy Secretary of State called this a conspiracy theory.

Plus, I doubt you could bring about so many people who would be willing to blow up their countrymen so that they can fake an attack by some enemy and consolidate power for some up-and-coming politician. You would have to collect dozens of pure psychopaths to do that and all of them to remain quiet in the aftermath of the incident. With all that being said, it just doesn't seem very likely. That, or I'm being very naive, but I like to believe the former - not likely.

Still, I am not too familiar with this incident and the wars themselves. You seem to know more about this, so do you perhaps have some book recommendations?
Yeah, it's mostly wishful thinking. The primary audience for records is not audiophiles, it's collectors who often don't even own a record player putting them up on display. Unless an artist/mastering engineer has a particular fondness for the medium they're not going to put much effort into the "analog" master.
Meant to reply to you
Didn't LUFS and streaming services stop the loudness wars?

https://news.ycombinator.com/item?id=36880962

https://www.soundonsound.com/techniques/end-loudness-war
AI generated content can be either derivative or transformative. For example if I use AI to paraphrase books or articles, that would be a derivative use.

But an AI that searches the web, news, and scientific papers for references and then outputs a Wikipedia-style article on a given topic would be a transformative use because it does a lot of work synthesizing multiple sources into a coherent piece, and only uses limited factual references.

Or we can do something more advanced. We solve a task with a student model and in parallel we solve the same task with a teacher model empowered with RAG, web search and code execution tools. Then you have two answers. You use an examination prompt to extract what the student model got wrong as a new training example.

That would be transformative, and targeted. No need to risk collecting content that is already known by the student model. It would be more like "machine studying" or "machine teaching" because it creates targeted lessons for the student.
No floors? How do you go to the bathroom ?
Hyper-REALITY (short film depicting the future of AR) [video]
Additionally the exploit is not present on the e-cores and the M3 allows turning off the speculation on a processes by process basis so encryption programs can safely just disable it.
I would guess to agree: the "audiophile" is a microscopically small segment of the music market, and music companies, let alone manufacturers, are NOT going to spend extra time money on producing stuff for specialty segments (hence the MoFi fiasco). Marketing is enough! Most so-called audiophiles also are not really into DR or "dynamic sound" or anything but just their audio preferences, whether that's cool/expensive hardware or hanging out on head-fi.
My son _loves_ the train status aspect and I'm happy to oblige as it gives me an excuse to hack, but as other people point out you can get a lot of mileage out of even just getting a landline. Or you could probably connect the Grandstream directly to Twilio or another low-cost VoIP provider for cheaper than a land line and keep the ability to limit which phone numbers can be used.

The project was delayed for a day for lack of a phone cable. (of all of the weird old cables I have somehow rj-11 is no longer one of them...) I considered buying one off Amazon but it felt incredibly wasteful, so instead I asked our IT department at work. Almost any office will have piles of these things sitting around collecting dust.
I went full streaming in 2007 and I always knew that it would become this. So I made a rule that when Netflix got ads I'd bail on streaming altogether. I've been digital only for video games for a few generations so just picked a video ecosystem and buy content when it's at its cheapest. I'm not playing this game where my collection requires extra time and maintenance. If a company takes a license away then the won't get anymore money from me. There are a few video game companies that will never get money from me ever again. They need my money more than I need to give it to them.
https://1900hotdog.com/2023/07/upsetting-day-john-fenleys-cu...

is the far more entertaining read.

I feel a bit bad, because John Fenley is among us here on HN. But I think they also surface that John, you really need to get out of Pine Bluff and reevaluate these pie-in-the-sky ideas.
You described the company, pre-consultants, as "super toxic". Slashing staff, while it's uncomfortable, is likely the only way to save the company. And, as you said, the layoffs included the CEO and other "assholes", so it wasn't isolated to low-level people.
So you disagree with the premise that the complaint was written for a non-lawyer, non-technical audience?
For you, maybe; but to your parentposter's point, it is measured not because it is useful to the overall org, but because it is easy to measure. In that sense, it's a great KPI, when the measurer (presumably some middle management) considers it an indicator of performance.

It's just that you and they define "performance" differently. It's perverse incentives all the way down (or, perhaps, up).
Rent is the biggest expense in most peoples lives, and rent is too high. That's not doom and gloom, it's a fact. The FTC and DOJ are suing landlords for using "illegal collusive algorithms" to maximize rents [1]. A recent study [2] reported that half of all US renters, an all-time high of 22.4 million renter households, are cost burdened; evictions have risen; and the country is seeing the highest homelessness counts on record.

1: https://www.ftc.gov/business-guidance/blog/2024/03/price-fix...

2: https://www.jchs.harvard.edu/americas-rental-housing-2024
I've probably went to a dentist 30 times or so, whereas I've only been to all other kinds of health care 5-10 times over the same time range, combined. So putting them in the same basket would be untenable for one or the other.

A cleanup + checkup + radiography is about $250. This is once a year (notwithstanding that some dentists recommend 2-3x). Health insurance costs Americans 250-1000/month. So, in a year, if you see a dentist once and no MDs then you've cost your insurer $250 and paid them at least $3000.

How is it untenable?
"Warning signs" are for the future. The comment was equating the extreme division of the 60s with now, not the future. You can make the argument that the present division is a warning sign of a future that will be equivalent to the division of the 60s but that's a very different argument.
How about the percentage of people out of work or working 2 days per week or less, who indicate they want to work more? You think you're being clever but I've been saying the numbers are wrong since at least 2009. Also I would accept total population minus people working less than 15 hours per week (equivalent) plus the number of deliberately retired people and minors. Thanks.
Sadly, loudness war mastering is still common. People still listen to music in cars and on phone speakers. Low dynamic range sounds better with noisy listening environments and bad playback equipment.
Does anyone know if he got started on another book in the series?
> - All future versions of Pack must handle previous versions and must only write the latest version.

I believe you are making a mistake by preventing Pack from writing archives that are compatible with prior versions.
Yes thanks, that's a good thing to keep in mind. I actually didn't intend it in a negative way when I used it, but probably more people perceive it that way than not so it's good to keep in mind. You're right, there are lots of opportunists and people with agendas going the opposite way that will absolutely try to get us to throw out the baby with the bathwater. It also doesn't help that we humans tend to be pendulum swingers (and also have a tendency to over-correct) which then leads to backlash and backtracking, and it's not hard to hijack those natural motions to get people to react emotionally.

Reading commentary from 18th century religious leaders for example after Franklin invented the lightning rod, is quite illuminating. It's far enough in the past that there aren't really (serious at least) people making the case that we are tampering with God's methods for punishing the wicked anymore, so there isn't a personal/emotional connectino to the arguments for most people. Seeing people of the day seize on parts of the science that were slightly wrong and using it to enflame the passions of people to wholly abandon the Lightning Rods (including some cases where people actually mobbed and tore them off of buildings) is very much in my mind.
Why can't I use this one? I don't see anything mentioned about the font being required or even part of it.
Was an anti- inflammatory diet for me
Yeah I maintain several BI reports and the codebase is about 20 years old, so multiple teams have taken creative liberties with the naming conventions for tables. Without intellisense I'd probably have gone insane by now.
This is your regular reminder that the world of 1984 was a meritocratic one.

> Admission to either branch of the Party is by examination, taken at the age of sixteen.

If Smith had done better on his GCSEs he would've been in the Inner Party.

> The Party is not a class in the old sense of the word. It does not aim at transmitting power to its own children, as such; and if there were no other way of keeping the ablest people at the top, it would be perfectly prepared to recruit an entire new generation from the ranks of the proletariat.

see also https://en.wikipedia.org/wiki/Second_Thoughts_on_James_Burnh...
As I said you are confusing a clinical trial with validated research.

Dentists are criticized because there are clinical trials about the effectiveness of dental cleanings and they do not support the hypothesis that dental cleanings have a beneficial effect on dental health.

https://www.cochranelibrary.com/cdsr/doi/10.1002/14651858.CD...
I did this in my late young years. It worked. Got started reading into “polyphasic sleeping “ , we were deluded for thinking it could be a long term healthy schedule but it definitely seems to have given me a mood reset and cured my insomnia.