skysight-inc/HackerNews huggingface dataset:
There is a relationship in that both the "Spongebob cluster" and a black hole has negative heat capacity. The math is already there in the virial theorem. See <https://en.wikipedia.org/wiki/Heat_capacity#Negative_heat_ca...>. Detailed treatments of the non-relativistic case you can find in an undergrad astronomy textbook; the relativsitic singleton case ehhhhh I don't think you're ready for it but Wald's General Relativity §12.5 & §§14.3-14.4 would be a good choice (and he shows you the math, which has been known for several decades), and for relativistic orbits I think you need to go beyond textbooks (although you probably could start with numerical relativity textbooks, like Baumgarte & Shapiro or Alcubierre, although I don't have either handy to double-check where they go with thermodynamics. Oh and the paper I linked in a sibling comment has a good and relevant bibliography. <https://academic.oup.com/mnras/article/516/3/3266/6668807>).
What if there are hallucinations in the verification tool?
In current iOS, all apps can be deleted except seven: Settings, Phone, Messages, Camera, Photos, Safari and App Store. All apps can be removed from the home screen.
None of the 84 extant comments in this thread address the (putative) substance of the article. Maybe next generation, then?
A cafe in the town I live in (Brno, Czech Republic) has one of their walls covered with a big mural painting of his, and I keep stumbling onto different versions of the drawings.

I wonder if it's because they are kind of weird that people are just drawn to them.
Speaking of, I was just wondering the other day:

Why did cars never get some sort of networking protocol, that would have let them "feel" the speed and bearing of other nearby vehicles and avoid collisions, jams etc?

Something like that could have been implemented with radio tech available half a century ago or even sooner.
No, not in that thread at least
Dogfooding is so important.

It reminds me of a recent twist to the EV space in North America where Ford, and then all other players, decided to switch their EVs to Tesla's NACS connector.

This interview recently is really grounding. Basically Ford's CEO went on a road trip and actually tried the EV road tripping experience with a non-Tesla (non-Tesla charging stations that is) and saw how dogshit it was. That started conversations to actually try and improve the situation for customers (thus the change to NACS).

Timestamp link to the interview: https://youtu.be/7vE0KXHZXCY?t=244
https://archive.ph/07JWe
The point here is that no two people will agree upon what is simple, what is clear. Other criteria of fitness-for-purpose must be used.
Ok, let's assume hallucinations are here to stay. What do you think is the ideal format to structure AI prompts ?
imho the galaxy s4 mini was peak smartphone and thou the specs got better, the devices became increasingly bigger, heavier and less useful
Microsoft has had excellent universal unwinding support for decades now. I'm disappointed to see someone as prominent as this article's author present as infeasible what Microsoft has had working for so long.
Buying shares at the IPO hoping for an immediate profit means that you are betting that the underwriter has underpriced the shares. That seems unlikely.
Apparently, in Japan they view housing as more of a 'consumption good' than we do in the US, and that has some benefits in terms of being more amenable to building enough and being less NIMBY about things.
The article is about John Seo of Fermat Capital Management https://www.fcm.com/.
"Larry Wall was a polarising character. He could be witty but also tiresome."

Yes. This. Thank you for calling this out.
I still have to check twitter occasionally, and I noticed that I get followed by a new bot at least once a day.
100%, even if my performance slow degrades as my data changes I would much rather have gradual performance and be able to manually switch to a better plan at some point than have the DB suddenly switch a new plan which is probably better, but if not may cause a huge performance swing that takes my application offline.

It would be very interesting if there was some sort of system that ensured query plans don't change "randomly" but if it noticed that a new plan was expected to be better on most queries it would surface this in some interface that you could then test and approve.

Maybe it could also support gradual rollout, try this on 1% of queries first, then if it does improve performance it can be fully approved.

It would be extra cool if this was automatic. New plans could slowly be slowly rolled out by the DB and rolled back if they aren't actually better.
It seems a bit weird, I can see how the platforms might not want to aggressively police bots as like a first-order thing (they are highly engaged “users”), but you’d think actual users would be annoyed enough with them, and advertisers would be aware enough of the fact that they are essentially a skew on the stats, that the market would align against them.
Everyone’s take? My inexpert opinion is that current stakeholders want their exit and the IPO isn’t for the users to really buy or promote. Reddit has enough mainstream recognition for casual investors who don’t use Reddit to try and make some money on the fresh IPO. But then it just becomes a tulip as reality sets in. There’s definitely a chance to make money in greater fool scenarios but also much greater risk.

But I’m just a guy making noise. Maybe it’ll rocket to the moon and you can fire life.
> [V]ideos of open air drug markets in Philly and San Francisco showcase a level of human misery that almost makes prison look humane.

Sorry, what argument are you making exactly?

There's zero evidence I know of that any of the suffering visible in open-air drug markets wasn't already happening pre-decriminalization. The suffering likely existed before, i.e., decriminalization isn't causing the suffering, it's just allowing it to become more visible.

The root causes of the suffering you're seeing are almost entirely economic.
If you cant comment on a post, it's not a post but a shitty ad.

Tells me that VCs are afraid of actual criticism, and 'no comment ad-posts' are their version of a safe space.... for critiques.
They have very nearly zero negative impact on my experience though.
I’m not a driver and so maybe my estimation is wrong here, but the mocked-up interface in the article looks like a disaster for driver distraction: a live map in the middle of the HUD, notification elements in the dashboard, and a touchscreen with actual apps on it (including the Books app?) within reach of the driver.

Smartphones have already increased distracted driving; it’s concerning to see both automotive and tech companies seemingly encourage the trend.
In time we might find ways to glitch the simulation.
I suggest starting kids with Python and asking an LLM like ChatGPT for help when stuck.
That’s kind of an asshole move to be honest. If you had your way and your reporting actually reached the ears of law enforcement, I guarantee you would have blood on your hands eventually.

American drug enforcement is an extremely blunt instrument and is very good at generated collateral damage.
Well, everyone breaks Adobe Flash... that's the whispered exception at the end of the rule: "don't break userspace and then blame the user (unless that user is Adobe Flash... F--- Adobe Flash)" ;P.
Exactly, but neither the source nor the binary is what's truly important here. The real question is: can the LLM generate the functionally valid source equivalent of the binary at hand? If I disassemble Microsoft Paint, can I get code that will result in a mostly functional version of Microsoft Paint, or will I just get 515 compile errors instead?
Yes. Some of the biggest problems with housing are political, not technological.

Oregon, for instance, built more apartments (low-rise apartments are the least expensive form of housing here) in the 1970ies than today: https://www.sightline.org/2023/02/07/yes-oregon-there-is-a-w...

Of course, it is expensive to build things in the US in general, and that's a problem worth pursuing as well.
If you want to secure the future for your people, you need to execute large government infrastructure programs.

Turns out leaving all of this to the profit motive puts people on the street. Amazing.
It’s all fun and games until Apple wants 30% of your revenue. I feel Apple has seriously harmed the trust of potential partners too much for them to bet the farm on deep integration.
America has plenty of affordable housing; it is just in the wrong place. There are enormous swaths of land with low populations and ultra-cheap homes.

We don't have a housing problem; the problem is that affordable housing has undesirable locations.

Make the locations attractive, and all of a sudden, there is no housing problem.

(I don't claim to know how to achieve that)
This doesn't match my experience. Banking apps in Germany often required screwing around with additional Magisk modules, and would often break again after an update. Just not worth the effort.
Ask HN: What companies currently have 4 day work weeks?
4 day work weeks seem like an incredible perk.

Last year there were a few articles going around HN about larger orgs trying them out and finding them productive

Have any startups, or other companies embraced this as a way to attract talent? Who's doing this today?
They now seem to work with Java 11.
all human knowledge is created by a small number of people. most of us just regurgitate and use it.

think euclid, galileo, newton, maxwell, etc...

and all human knowledge is mathematical in nature (galileo said this).

what is meant here is that, facts and events in the world we perceive can be compressed into small models which are mathematical in nature and allow a deductive method.

human genius comprises of coming up with these models. This process is described by Peirce (and Kant before him) ie, inventing concepts and relations between them to comprise models of the world we live in.

imagine compressing all observed motion into a few equations of physics. or compress all electromagnetic phenomena into a few equations. and then use this machinery to make things happen.

imagine if we feed a lot of perceived motion data into a giant black-box (which could be a neural net) - and out comes a small model of that data comprising newton's equations (and similarly maxwellian equations).

But, this giant knowledge edifice is built on solid foundations of mathematical reasoning (newton said this).

human genius is to invent a mathematical language to describe imaginary worlds precisely, and then a scientific method to apply that language to model the real world.
It's fascinating for me to try and guess what kind of questions or requests would have prompted certain answers on Heinlein's list. I wonder which ones would have prompted a reference to the "You're Not As Smart As You Could Be" or the "Mental Telegraphy" articles. But I'm especially intrigued by the 12th answer, where Heinlein essentially offers to personally come to a student's defense when a grade on a project seems to depend on Heinlein's reply. I wonder how many times he ended up speaking to teachers, principals, and school boards about this, and what that looked like.
Have you tried llama.cpp?
> Something I've observed over time, as programming has become more prestigious and more lucrative, is that people have tended to come from wealthier backgrounds and have less exposure to people with different income levels. An example we've discussed before, is at a well-known, prestigious, startup that has a very left-leaning employee base, where everyone got rich, on a discussion about the covid stimulus checks, in a slack discussion, a well meaning progressive employee said that it was pointless because people would just use their stimulus checks to buy stock. This person had, apparently, never talked to any middle-class (let alone poor) person about where their money goes or looked at the data on who owns equity. And that's just looking at American wealth. When we look at world-wide wealth, the general level of understanding is much lower. People seem to really underestimate the dynamic range in wealth and income across the world.

Perhaps the falling salaries for programming in the US could be a good thing in that regard. So many people get into this career because they want to make it big, which seems to drive down the quality of the talent pool.
Not very interesting. These are all very popular, Americanocentric, and "mass appeal" shows, nothing that indicates specificity in recommendations. Which is in line with expectations for GPT-3.5/4.
Local news maybe, and that is a shame. International agencies like Reuters, AP News are still alive and do heroic work on the field
There are absolutely companies that mass manufacture houses and put them on concrete pads. And there's some market for that. But, as other comments mention, custom building costs for that class/size of house are not really the major cost issue in the scheme of things.
Then it's not a formal verification tool. Generative models are profoundly unfit for that purpose.
- "If you cant comment on a post, it's not a post but a shitty ad."

Right, that's the basis of my uBlock rule. :)

news.ycombinator.com##:xpath(//td[contains(@class,"subtext")]):not(:has-text(/\b(comment|comments|discuss)\b/i)):xpath(.. | ../following-sibling::tr[1] | ../preceding-sibling::tr[1]):style(display: none)
What the hell, share my data with them and 1400 parters to read this, an No easy way to just say “Fuck No”. This kind of site design should be illegal.
Seems ripe for spoofed data. After all, how would you verify that what you receive from other cars is valid/real?
To me, TDD is about software architecture and design, not testing.

Bob Martin said it best - TDD forces you to create a system that's testable. You're not going to get to the end and scratch your head and wonder how are we ever going to test this thing? That's not gonna happen.

What TDD isn't about, or at least shouldn't be anyway, is testing every little last minute detail. Like Kent Beck said, if there are classes of errors I simply don't make then why am I creating a test to see if I made that error?

That's why I coined the term Maintenance Driven Development (https://taylodl.wordpress.com/2012/07/21/maintenance-driven-... - wow, it's been 12 years now!). Test for the types of mistakes you and your team typically make. Make your tests productive. When bugs arise then create a test to re-create the bug, and then fix it. Your test will prove you've fixed the bug. Overtime your test cases will grow and they'll be concentrated around the areas in your software where you're having actual problems. This is what makes testing effective.
An ISO standard should promote portability across implementations, prevent breaking changes to the language, and coordinate design, prototyping, testing, and description of new features.

Fortran features since F'95 are not terribly portable (https://github.com/klausler/fortran-wringer-tests); the F'23 standard has a needless breaking change; and every revision contains incompletely thought through features jammed in without prototyping ("rank agnostic array indexing"). They won't fix bugs, either -- it is possible to write DO CONCURRENT loops that are completely conformant but cannot be parallelized (and cannot be determined at compilation time).
Ok, let me try to explain myself.

I think what you’re referring to the possibility of a perturbation that can result in an uncontrolled descent down the hill until it reaches another stable equilibrium (a local equilibrium in a non linear system). I am picturing a ball rolling down from a peak until it comes to rest in a valley

My question is that given the large excursion recently seen in the temperature graph, would we not expect to see large scale effects that would be visible?

The implication is that until this impact is clear enough, strong action that is usually advocated, may not be taken. For instance, the reliance on greenhouse power plants continues to increase worldwide including the US. While renewables have made progress, there is no clear path to net zero over the next decade. So the question remains on the predictions from the models, vs tangible evidence.
There may be bugs, but not hallucinations. Bugs are at least reproducible, and the source code of the verification tool is much, much smaller than an LLM, so has a much higher chance of its finite number of bugs to be found, whereas with an LLM it is probably impossible to remove all hallucinations.

To turn your question around: What if the compiler that compiles your LLM implementation “hallucinates”? That would be the closer parallel.
I would use scratch to teach how code is structured.
After that i would use python for teching most of the rest, like seperating your functions into modules.
Yea, I don't see the problem with someone rediscovering knowledge.

The question I would ask is, would geohot have been better to have gone to school to learn this and deferred all the work he has done?

Who is farther ahead, the people who already knew this from school, or the guy who is building and learning this as he goes?
I imagine Japan’s “view” on housing is downstream of macroeconomic conditions like deflation and population decline. Ie, houses don’t appreciate much in price therefore people dont look at them like investments, not the other way around.

In support of this is China, where there are similar cultural views about “used” homes being undesirable. Yet (to this point) prices have appreciated and they have used them as investment vehicles.

To put it another way, would Japanese homes really depreciate with rapid population and economic growth? There is just no way.
> ATSC3 brings about other features such as higher bandwidth, improved RF signals transmission efficiency (lower costs), error correction, etc…

And DRM that requires receivers to get official blessing before they’re allowed to sell their hardware.
Intel’s newer desktop cpu support ecc. The challenge would be getting a chipset. On like w680 it is supported and fairly most chipsets don’t unsure tbh. I have a w680 and it does.

https://ark.intel.com/content/www/us/en/ark/products/230580/...
Yeah that's the biggest issue in testing software.

In a perfect world someone would stop and refactor the entire codebase to make every object perfectly unit testable.

In the real world, you have to pick between expanding the system under test (SUT) to include multiple real collaborator objects or creating a violent mess of mocks.
You’re not getting what you think you’re getting at those pharmacies though. They’re just selling labels of what Americans will buy and filling the vials with whatever they can find. The reason even pretending to sell fentanyl is off limits is because that puts them in competition with real drug dealers (even if the fentanyl is fake) which is incompatible with life.
Whew, glad we moved away from vagrant already.
Right - the problem is car companies ceeding that 30% to Apple, when they could be rent-seeking instead.
There are a hundred different ways to cause car accidents if that’s what you want to do; this would be adding a single, highly technical one.

In practice, people just don’t do that.
Anything running a full database server is not micro.
All countries with complete legalization don't have anywhere near the problem the U.S. is facing.

Glib responses about nuanced situations actively detract from the conversation. Stop doing that.
Rustc_codegen_GCC: Progress Report #31
Why are there suddenly so many car washes?
Loneliness is creepy, it begs the question of why we can't find anyone else out there and the answer to that question leads to existential dread and fear.

Why does life seem so rare? Especially since we've been able to find so many planets that seem habitable.

Is it hard to jumpstart life? Or have there been many planets with intelligent life and almost all of them die out for some reason? Maybe technology is far more limited than our imaginations would like to believe and we don't hear from anyone else because it's impossible.

Lots of thoughts here that don't sit well with most people.
The entire purpose of my post is to demonstrate how mundane and common these kinds of murders are

When a Putin defector falls out of a window nobody questions why - they understand that it’s connected. Why? It has happened enough times that the likelihood of coincidental tragedy and aggression toward the existing economic power structure (irrespective of what it is) are too high to be non-causally influenced.

There’s also this false sense of “that kind of stuff only happens in corrupt/backward/non-advanced/… cultures, not our culture of justice and virtue” which is just demonstrably and statistically wrong

US funded and headquartered corporations don’t dominate the world cause they are that great and make the best product at the best price. It’s cause they are the most ruthless
The rise and fall of British power [video]
It's basically the same issue as compound interest. Even if both groups got 2% next year, that would practically be 2.5% for the CEOs because of compounding on this. And it continues compounding from there.

It's also aggravating because those numbers look bad adjusted for inflation. Average inflation for 2023 was 4.1%, so inflation-adjusted, employees got a 2.8% raise and the CEO got 18.9%.

Lastly, and most importantly, CEO raises spike atmospherically when the company does well, but they take regular pay cuts, if any, when the company does poorly. It would be one thing if their pay swang wildly both directions, but it starts to look like "privatize the gains, publicize the losses".

When the company does well, most of the gains in pay go to the CEO. When the company does poorly, all the employees have to give stuff up for the company though.

This would bother me a lot less if we also saw "CEO takes 23% pay cut because new initiative failed" articles.
Isn't this story like 20 years old by now?
They tried to make this convenient with std::vector<bool> in C++, which turned out to be a bad idea in general.

It should also be pointed out that storing those booleans as bits is not the only alternative. For a trivial example one could have millions of sorted bools and just store how many are true, then storage becomes constant.
If Donald Trump wins the Presidency, it will revitalize the news business.

There will be tons of fear and outrage for them to monetize.
I’ve seen modern townhomes and apartments in Maryland with shared electrical and HVAC; not sure about plumbing. I’ve also seen constructions in North Carolina with shared electrical and plumbing, although each unit had its own HVAC.

(I don’t have a sense of expense for any of these things, but I assume they wouldn’t build them this way if there wasn’t some economic envelope that they fit into.)
As soon as it's formally announced, It moves to the price they agreed to sell for, and then you can either sell them on the open market for that price, or hold them and convert them to shares of the company acquiring. There may be a tax benefit to you doing one or the other, so I'd consult a tax advisor.

Personally, I lost a shitload of money on HashiCorp. I've "emotionally bought" 2 stocks in my life and Hashi is one of them. I like Mitchell and Armon very much, they're actually seriously great humans, both of them, but that's an awful reason to buy a stock. If I can break even and they sell for the IPO price I'll be very pleased, but that seems impossible heh. :)
I imagine that both of those were quite a bit more expensive to build.

The point isn’t that houses from the 40s are still standing. The US also has tons and tons of those. The point is that the cheap, modular, assembly-line houses are still standing. Cheap usually equates to non-durable so it’s notable that these cheap houses are an exception.
That mouse was very impressive though, it looks very "production ready". Not like a hack.
Ask HN: If you've used GPT-4-Turbo and Claude Opus, which do you prefer?
Which do you prefer and what do you prefer about it?

GPT-4-Turbo is the default model in ChatGPT Plus.
Smells of desperation more than anything to me.