skysight-inc/HackerNews huggingface dataset:
This also ignores that the Earth already has a flux of 50TW per year, so it's only an increase of about 40% (and even less, when you consider that intentional extraction would slow the flux of all surface area above it).

Not only that, but Earth's internal heat is being renewed constantly via things like radioactive isotopes and tidal forces.
No.

People pasting full llm outputs into help forum responses has been one of the most annoying trends.

If you can’t do more than what a llm would say, you’re already replaceable.
https://api.jellyfin.org/
There's a really good argument to use plaintext - it lends itself to very efficient use through searching, matching and replacing, whether interactively or in bulk. The lack of structure and semantics in a pure plaintext representation is often a curse, but sometimes a blessing.

At the same time, I'll go further than you, GP and GGP - I'd say that insisting on coding in plaintext, specifically on always directly reading and editing the same plaintext, single-source-of-truth representation of a program, is fundamentally limiting our ability to manage complexity, and makes people waste a lot of time on faux-problems like "lots of small vs. few big functions", or "exceptions vs. result types", etc.

FWIW, plaintext is still okay for most coding use cases - it's trying to fit everything into the same source code and somehow keep it readable that's an impossibility.
yeah I mentioned in another comment I've never found recommendation systems to work very well for me. I've gone through many of them and the reason I decided to start using LLMs was because I was out of options...and after I tried it I ended up much preferring the recommendations given.

You can also specify more granular in human words what you're looking for which is a big bonus for me personally.
Many philosophical traditions which incorporate a meditation practice emphasize that your consciousness is distinct from the contents of your thoughts. Meditation (even practiced casually) can provide a direct experience of this.

When it comes to the various kinds of thought-processes that humans engage in (linguistic thinking, logic, math, etc) I agree that you can describe things in terms of functions that have definite inputs and outputs. So human thinking is probably computable, and I think that LLMs can be said to be ”think” in ways that are analogous to what we do.

But human consciousness produces an experience (the experience of being conscious) as opposed to some definite output. I do not think it is computable in the same way.

I don’t necessarily think that you need to subscribe to dualism or religious beliefs to explain consciousness - it seems entirely possible (maybe even likely) that what we experience as consciousness is some kind of illusory side-effect of biological processes as opposed to something autonomous and “real”.

But I do think it’s still important to maintain a distinction between “thinking” (computable, we do it, AIs do it as well) and “consciousness” (we experience it, probably many animals experience it also, but it’s orthogonal to the linguistic or logical reasoning processes that AIs are currently capable of).

At some point this vague experience of awareness may be all that differentiates us from the machines, so we shouldn’t dismiss it.
Agree - case in point - dealing with race conditions. You have to reason thru the code.
Comically unqualified interviewer - where'd they find this guy?
It’s not the job of the United States to police the world. The Ukraine was part of the Soviet Union. It is not a strategic ally. It is a dictatorship. The US has been supplying money and equipment, much of which is unaccounted for. Without this aid, the war would have ended some time ago. Clearly, it is a proxy war. What is the US getting in return for all this money? Beyond making Zelenskyy very wealthy and kickbacks to various left wing politicians, e.g. the Bidens.
The big issue I'm not seeing any discussion of in the comments here is cost per watt. We can divide this into two big buckets: the cost of heat, and the cost of turning heat into electricity. This article is all about how geothermal can reduce the cost of heat (especially EGS), how immense that resource is, and how it's basically carbon-free.

But I think the bigger issue is the second bucket: the cost of turning heat into electricity seems to still be too high to compete with solar and wind, even if the heat were free. The article doesn't mention this at all, but I think it's the crucial issue. I don't understand why heat engines are still so expensive 250 years after James Watt, but they do seem to be. In January I came across https://www.eia.gov/analysis/studies/powerplants/capitalcost... which is an EIA-commissioned study of the capital cost of building different kinds of power plants, and I am hoping that studying it will give me the answer.

The article mentions the intermittency of wind and solar a few times as if it were a showstopper—as if no amount of solar and wind power generation capacity could be an adequate substitute for any amount of geothermal power, because you don't have solar power at night, for example. But actually that's just a question of how much it costs to store the energy until it's needed or transmit it from where it's still being produced. We have upper bounds on those storage costs from existing utility-scale storage facilities, and they already look pretty okay. We can expect that they will get cheaper over time.
I've noticed the same is happening with the Undecided with Matt Ferrell channel. I really enjoyed his content on green energy projects at the beginning, but it seems like lately he's just creating press releases in video form.
Oh dear, I didn't realise this. I knew that GitHub Release archives could have different files in them - for example, see the xz backdoor recently - but I didn't realise that npm would use those by default.
>6% of chargebacks are due to dissatisfaction [1].

Note that "dissatisfaction" isn't an actual chargeback reason code[1]. The closest that exist are "Not as Described or Defective Merchandise/Services" and "Misrepresentation", none of which imply it's up to the consumer to decide. Unfortunately since chargebacks are basically arbitration, there isn't really a history of case law to determine what actually counts. I could barely find any information on what the statue (equivalent) is supposed to be.

[1] https://docs.adyen.com/risk-management/understanding-dispute...
No, the gate length on most 5nm nodes is like 40nm or something. Since around 2008-ish, the “process name” and the size of any feature have rapidly diverged (even if you use some weird pointless metric like the size of a FinFET fin, nothing on 5nm measures 5nm).

Ironically, prior to 2008 the process name was backwards the other way, for example 130nm process usually has something like 70nm gates.

It’s always really just been a marketing thing anyway, since the possible density of a given logic unit in a given manufacturers process will differ due to a huge number of factors.
Jellyfin support has already been added earlier today.
Just paste it here. There are lots of claims for AI apps that aren't real. You happen to be talking about something that's right in my area of expertise, adopting apps to fit screens with CSS. If you can do that with AI, great. But I don't think so. I'd love to be wrong.
Descartes disagrees.
As these are related to national defense and nuclear security, I've heard they are largely safe.
then they need to find some cuts because Uncle Sam has a maxed out credit card and can't keep making up the difference whether he wants to or not
I generally agree, young people respond well to responsibility.
And whilst it doesn't help me day to day, knowing how the make dovetail joints is one of the things I cherish most from year 10.
But surely any limits on formal systems apply to informal systems? By this, I am more or less suggesting that formal systems are the best we can do, the best possible representations of knowledge, computability, etc., and that informal systems cannot be "better" (a loaded term herein, for sure) than formal systems.

So if Gödel tells us that either formal systems will be consistent and make statements they cannot prove XOR be inconsistent and therefore unreliable, at least to some degree, then surely informal systems will, at best, be the same, and, at worst, be much worse?
They’re better than your average human at producing jpegs. I think if you put any of your average humans in a closed room with nothing but canvases, paint, and a mirror, within a month or two they’d be producing pretty interesting paintings without having been fed an image of every single artwork humanity has ever made.
So you're saying the ratio has improved? An education improving their ratio of faculty to students seems like a good thing.

Aren't all the big bad billionaires self-made autodidacts?

Most people aren't. Most people benefit from education. If there are unlimited AGI educators, that seems like an extraordinary claim and I haven't even seen a pilot. Is the plan to move fast and break education? Cause that seems kind of extreme rather than any sort of conservative I've ever known.

Do you just want to destroy those posh academic institutions? Or are the billionaires offering to subsidize education with donations by increasing taxes on themselves?

Or you don't realize that "faculty" can include researchers?

I'm confused. Can you clarify?
Dude, every non-conformist I knew in school was ridiculed, made fun of, and physically bullied by the "cocky" men you refer to.
to return to specifics, this thread is about the NIH. cutting indirects overnight to 15% with zero warning is vandalism. the united states was a world leader (this means it produced and attracted the best) in this area, hopefully it will remain so despite this vandalism.

with respect to common core, as far as i can tell, nationalization efforts were initiated under bush ii, and then driven over the past two decades by institutions, states and federal support. some states follow it, others do not. i don't see your point.
hahah love it
I wonder, if geothermal was somehow scaled to supply a large fraction of our current energy use, would we start influencing plate tectonics? Couldn't it actually thicken the plates under the power plants and influence how they respond to currents underneath?
Loss of trying, drying, and sanding off your failures
We really ought to stop mythicizing people into superhuman heroes/geniuses.

Penrose is an authority in some fields of theoretical physics, but that doesn't give any value to what he has to say on consciousness or AI.

On that topic, he has clearly adopted an unscientific approach: he wants to believe the soul exists and is immaterial and seeks evidence for it.
I had assumed that the majority of accounts are created when the owner first wants to write a comment (or post a submission).

I wonder whether dang meant 1% of registered visitors, or 1% of visitors.
This is the company that reads your emails.
More generally - AI that is good at convincing people is very powerful, and powerful things are dangerous.

I'm increasingly coming around to the notion that AI tooling should have safety features concerned with not directly exposing humans to asymptotically increasing levels of 'convincingness' in generated output. Something like a weaker model used as a buffer.

Projecting out to 5-10 years: what happens when LLMs are still producing hallucinatory semi-sense, but merely comprehending it makes the machine temporarily own you? A bit like getting hair caught in an angle grinder, that.

Like most safety regulations, it'll take blood for the inking. Exposing mass numbers of people to these models strikes me as wildly negligent if we expect continued improvement along this axis.
Accelerate or Die! (2023) [video]
The level of down voting on verifiable information is out of control here.
Is that really what you got from what I wrote? I wasn't suggesting that we restrict access to anyone, and I wasn't trying to imply that I'm somehow immune to the problems that were highlighted.

I mentioned that I don't like people-pleasers and I find it a bit obnoxious when ChatGPT does it. I'm sure that there might be other bits of subtle encouragement it gives me that I don't notice, but I can't elaborate on those parts because, you know, I didn't notice them.

I genuinely do not know how you got "we should restrict access" from my comment or the parent, you just extrapolated to make a pretty stupid joke.
That's how I understood Penrose's reasoning too. He differentiated between the computer and whatever is going on in our brain. Computers are just "powerful" enough to encode something that mimics intelligence on the surface (the interviewer tried to pin him on that "something new"), but is still the result of traditional computation, without the involvement of consciousness (his requirement for intelligence).
Ormat (NYSE ORA) is a publicly traded geothermal company and they are profitable.
This phenomenon is something I would like to learn more about. Of course there is an element of frequency illusion mixed in, but this happens every now and again. Some random subject is all of sudden talked / written about by unrelated actors.

It doesn't necessarily have to be anything nefarious about it, papers and YouTubers need stuff to write and talk about after all. But at the same time that can be very beneficial for e.g Quaise in this case. How does it work, I'm guessing a "publicist" is involved somehow? How much does it cost? Has anyone here done something similar?
When you talk about US "diesel fleet" are you talking about the surface fleet or submarines? Cause surface ships use gas turbines and jet fuel, not diesel. The Navy got rid of nuclear surface ships, except for aircraft carriers, in late 90s cause they were expensive.

If you are talking about submarines, the US Navy hasn't had diesel submarines since 1990.
The UN has been an instrument of American power more often than not.

So Putin will be happy.
https://github.com/EI2030/Low-power-E-Paper-OS/blob/master/P...

8086: 29,000
386: 275,000
486: 1.2 million
Pentium: 3.1 million
The NSA entered the game sometime after 2000, I recall.
Show HN: I automated the painful process of selling items online
After moving apartments and struggling to sell my furniture across multiple platforms, I built a service to solve this problem.

The typical process was painfully inefficient:

1. Take photos of items
2. Research market prices
3. Create accounts on Facebook Marketplace, OfferUp, Craigslist
4. Make separate listings on each platform
5. Respond to endless inquiries
6. Schedule meetups
7. Deal with no-shows

This repetitive process seemed ripe for automation, especially for people who are busy, moving, or regularly selling items.

Whether - https://withwhether.com automates this entire workflow. You upload a photo, and we handle price research, cross-platform listing, buyer communication, and pickup coordination.

I built this initially for my own use case (moving), but it seems equally valuable for regular sellers, flippers, or anyone who values their time over managing multiple marketplace accounts.

The estimate process is free - I'd appreciate any feedback from the HN community on the approach or implementation.
XHR is called xmlthttprequest for a reason, but that was added in 2000ies I think. SOAP was late 90ies, but I don't think you can call it from browser. There was no reason to have data in javascript before DOM and XHR which were late additions. All the stuff was in the page itself rendered by server and you don't get that across the domain boundary.
If I have a 9-DOF sensor in meatspace and am feeding that to a "simulation" that helps a PID coalesce faster then my simulation can move something. When I tell my computer to simulate blackbody radiation...

What you said sounds good, but I don't think it's philosophically robust.
Who needs an appetite suppressant when they have comments like these?
(oh, and I suspect about:memory might fix the demanding sites that OOM, but restarting is easy enough too)
When I was a kid, cooking was part of the "Home Economics" class, which also included budgeting, shopping, basic repairs (home, clothing, etc), and some other useful "adulting" skills they apparently don't teach in school anymore.
We called that "Home Ec" (as in "Home Economics") when I was a kid. (I'm an elder millennial.) To be honest, I didn't find it particularly useful, and I think many of the calls for "practical" classes in primary or secondary education miss the mark.
I really like it, it'd be nice if it had a letterboxd type feature to see what your friends are reading, that'd be pretty sweet
I’m surprised he’s not a national hero in China
> Chose boring technology. I genuinely find myself picking libraries that have been around for a while partly because that way it’s much more likely that LLMs will be able to use them.

This is an appeal against innovation.

> I’ll finish this rant with a related observation: I keep seeing people say “if I have to review every line of code an LLM writes, it would have been faster to write it myself!”

> Those people are loudly declaring that they have under-invested in the crucial skills of reading, understanding and reviewing code written by other people. I suggest getting some more practice in. Reviewing code written for you by LLMs is a great way to do that.

As someone who has spent [an incredible amount of time reviewing other people's code](https://github.com/ziglang/zig/pulls?q=is%3Apr+is%3Aclosed), my perspective is that reviewing code is fundamentally slower than writing it oneself. The purpose of reviewing code is mentorship, investing in the community, and building trust, so that those reviewees can become autonomous and eventually help out with reviewing.

You get none of that from reviewing code generated by an LLM.
TIL you cannot post retraction on a 4 month old comment on HN. I posted an upvoted comment about how these operators were invented in C due to the addressing modes available on PDP-11 computers. Wrong!

Turns out they predate both C and PDP-11 computers. Dennis Ritchie wrote about it in The Development of the C Programming Language, here's a link:
<https://web.archive.org/web/20160304194040/http://www.bell-l...>.

The relevant section is this:
"Thompson went a step further by inventing the ++ and -- operators, which increment or decrement; their prefix or postfix position determines whether the alteration occurs before or after noting the value of the operand. They were not in the earliest versions of B, but appeared along the way. People often guess that they were created to use the auto-increment and auto-decrement address modes provided by the DEC PDP-11 on which C and Unix first became popular. This is historically impossible, since there was no PDP-11 when B was developed. The PDP-7, however, did have a few `auto-increment' memory cells, with the property that an indirect memory reference through them incremented the cell. This feature probably suggested such operators to Thompson; the generalization to make them both prefix and postfix was his own. Indeed, the auto-increment cells were not used directly in implementation of the operators, and a stronger motivation for the innovation was probably his observation that the translation of ++x was smaller than that of x=x+1."
Wood lathes are much more dangerous than metal lathes IMO!

They run at high speeds, the workpiece is typically less secure, the material has a grain structure prone to catching the tool and digging into it, ventilation is required, and most importantly, the cutting tool is gripped in the operator's hands instead of being secured on a toolpost.
What sucks and is painful is in the eye of the beholder.

Enjoy your kinks, but don't force them upon others
If they can imagine things transcendently they can only assert those things are true. They can't prove it.

If they prove it then they have either shown that the idea is not transcendent or that Gödel's theorum is false.

That's the same as saying "I know the answer, when you are speculating"
All the "Real Engineering" videos I've ever seen were full of egregious factual errors, so I stopped watching them.
Tunnels sketched by Leonardo da Vinci in the late 1400s may have been found
Palm phytoliths in subarctic Canada imply ice-free winters 48M years ago
Popularized summaries:

Study reveals palm trees once thrived in subarctic Canada

https://www.eurekalert.org/news-releases/1074307

New study reveals Canada’s subarctic was once a tropical paradise

https://www.ctvnews.ca/sci-tech/article/new-study-reveals-ca...
Why is that so? Any idea?
Europe's Need for Space Sovereignty: Launch
Why should a complete simulation be possible?
in fact there are plenty of things we can do that can't be simulated on a Turing machine. just one example the Busy Beaver Problem is an uncountable problem for large N, so by definiton is not coumptable and yet humans can prove properties like "BB(n) grows faster than any computable function"
Sometimes, one case where I made use of this is enumeration of uarch for different hardware to read from the host machine.
The update for for new uarch type is closed ended until there is new cpu with new uarch, which is long time. So, for a very long time it is open-ended with very low velocity in change. It is ideal for enums (for a very long time), but you still need to support the change in list of enum variants to not break semver.
You know that sinking feeling when you’re in a coffee shop and the ex girlfriend who dumped you walks in with another guy?

Compute the operation of that feeling.
The problem is women still contributed to/supported society in the past. Comments I've received here from these types of men (who are semi-successful tech types) jump straight to 'not my society' 'I don't can if it all burns'. It never works out well for society having large groups of young, indifferent, angry manboys.
>“We are all very proud to work for the space program,” wrote Dr. James Polk, NASA’s chief health and medical officer. “But in the current environment, with a lot of
negative rhetoric coming in our direction, I want you all to please use caution.”

There are many reasons we have not returned to the Moon since Apollo; but it still stands as a monumental achievement that has not yet been equaled, demonstrating what is possible when we put the petty bullshit aside and all pull together. Too bad it took the Soviet Union to force us to do that. But what is happening now under Trump & conflict-of-interest Musk will certainly not get us anywhere fast.

Meanwhile, humans on the moon score-sheet:

Government workers: 12

Billionaires: 0
It was GET request, but the point is -- you can make the request from the browser to a different domain by making a form. With JS and DOM you can make a hidden iframe and make the request without user initiating it or noticing even, but in both cases you don't get to read the result.
Ha! amusing indeed!
That's true, but I agree, why would anyone make a XNU-based OS? Upstream wouldn't accept your forked changes and if you wanted to implement any of the upstream changes over time, that would get difficult as the fork diverged. I really don't think there's anything special in XNU. What exactly does it do well vs. BSD, Illumos, or NT?

100% agreed on BSD, though I'd opt for OpenBSD myself. Either way works!
I work for a O&G super major. You’d think that one of these groups would be more interested right? It’s all about money, if one can’t make huge profits (especially with huge gov subsidies) then they will continue to ignore the prospect.
Megacorps aren’t trying to save the world they are trying to get mega rich.
This article is about that startup, describing a visit to their lab; unlike Real Engineering videos, the article is fact-checked.
The way they characterize Taiwan as a completely separate entity from China that is yearning to breathe the sweet air of liberty is actually frightening. They do it without even thinking now.