skysight-inc/HackerNews huggingface dataset:
Which is—to use the latest philosophy lingo—dumb. To be fair to Penrose, the “Gödel’s theory about formal systems proves that souls exist” is an extremely common take; anyone following LLM discussions has likely seen it rediscovered at least once or twice.

To pull from the relevant part of Hofstadter’s incredible I am a Strange Loop (a book also happens to more rigorously invoke Gödel for cognitive science):

And this is our central quandary. Either we believe in a nonmaterial soul that lives outside the laws of physics, which amounts to a nonscientific belief in magic, or we reject that idea, in which case the eternally beckoning question "What could ever make a mere physical pattern be me?”
After all, a phrase like "physical system" or "physical substrate" brings to mind for most people… an intricate structure consisting of vast numbers of interlocked wheels, gears, rods, tubes, balls, pendula, and so forth, even if they are tiny, invisible, perfectly silent, and possibly even probabilistic. Such an array of interacting inanimate stuff seems to most people as unconscious and devoid of inner light as a flush toilet, an automobile transmission, a fancy Swiss watch (mechanical or electronic), a cog railway, an ocean liner, or an oil refinery. Such a system is not just probably unconscious, it is *necessarily* so, as they see it. This is the kind of single-level intuition so skillfully exploited by John Searle in his attempts to convince people that computers could never be conscious, no matter what abstract patterns might reside in them, and could never mean anything at all by whatever long chains of lexical items they might string together.

Highly recommend it for anyone who liked Gödel, Escher, Bach, but wants more explicit scientific theses! He basically wrote it to clarify the more artsy/rhetorical points made in the former book.
We have that in the Netherlands in plenty of cities called “stadsverwarming”. It is hot water pumped around in a closed loop and residences take heat out of it with heat pump. The source is the cooling off industries, power plants, or dedicated heaters.

They currently are efficient but still expensive because of a law that the pricing has to be similar to heating with would have been.
I have been experimenting with 4.5 for a journaling app I am developing for my own personal needs, for example, turning bullet/unstructured thoughts into a consistent diary format/voice.

The quality of writing can be much better than Claude 3.5/3.7 at times but struggling with similar confabulation of information that is not in the original text but "sounds good/flows well". Which isn't ideal for a personal journal... I am still playing around with the system prompt but given the astronomical cost (even with me as the only user) with marginal benefits I am probably going to end up sticking with Claude for now.

Unless others have a recommendation for a less robot-y sounding model (that will, however, follow instructions precisely) with API access other than the mainstream Claude/OpenAI/Gemini models?
It was relevant to Einstein.
Hopefully some!
There are human developers who do the same thing…
This is just the difference between rational design and capitalist design. Capital must externalize costs to achieve profits, but it's not a rational approach to system design. This appears everywhere in the economy as capitalist pressures override rationality.
Redundancy in research is necessary. It's a good thing.
I think the point of the Iceland example was to illustrate the local viability of geothermal. But your reply seems to be emphasizing the relative value of geothermal in the U.S. vs Iceland which I don't think is a question that anything important hinges on. The upshot of U.S. geothermal production should be "awesome, so much the better for geothermal!" I find it bizarre and unnecessary to decide that the upshot is supposed to be "yeah, suck it Iceland!" It just has nothing to do with anything.
Donations don't go to Firefox. As the comment you replied to indicated, they've set up their organization in a way so that users can't pay/donate to Firefox.
All of that mattered only for those that need much VC funding. With AI, the need for VC funding is minimized because you don't need employees anymore except for physical work. The key is in bootstrapping the solopreneurship by oneself.
> “the issuing bank makes the final decision on whether to accept the chargeback”

That is incorrect, at least for the chargeback types you brought up in this thread and most in-person payments.

You seem to have a flawed understanding of how the chargeback process actually works, presumably largely due to your bank covering some of your past chargebacks out of their pocket to retain you as a customer or because they're contractually or legally required to. Just because you got your money back doesn't mean that the merchant was the one paying for it in the end.
eBPF Arena: A Tutorial
Also know a non-smoker who got lung cancer, in particular a (rather rare) genetically sensitive form. Most of the damage ended up to the bones and brain versus the lungs.
A market can be irrational longer than you can keep solvent applies to this as well
Chores are holidays when you got work and kids...
The point being, presumably, the page author explicitly chose to include a cross-domain script
Screening for sex can be done with a cheek swab. It's much, much less invasive than the anti-doping tests that require blood to be extracted and a direct visual on the athlete passing urine. And it only needs to be done once in an athlete's career.

In most cases though it's very obvious when a male is in a women's event. For example, no-one is going to mistake this male, who competes in women's cycling, for female: https://i.ibb.co/N6ZBzh4K/F4-Svyxt-XYAAMpc-M.jpg

The best athletes often do have some sort of genetic privilege, that is true. But look at the world records of pretty much any sport and compare the most elite male athletes with the most elite female athletes: the difference is massive. Even having advantages in limb length, lung capacity, and so on doesn't overcome the physical advantage of male development.
There’s noyb [1] and the various EDRi-affiliated organizations [2]. In the US, there’s the EFF [3].

[1] https://noyb.eu/

[2] https://edri.org/ https://edri.org/about-us/our-network/

[3] https://www.eff.org/
Not judging you for using AI for a post like this!

Don’t feel bad. I just didn’t think AI generated bullet points were as impressive as the comment I was replying to did.
Your comment reads like a PR firm hired to deflect and distract for Mozilla.

Fact: Mozilla is collecting user data and selling it, while pretending to be a "privacy" oriented organization.

Rossman's hair, speaking style, color of clothing, and tone of voice is not relevant to the conversation.

If you want to talk about what he got wrong, you need to be specific.
We stayed with friends outside Madrid who owned a home. They had bought it officially for 400,000 Euros.

They also paid a similar amount "on the black", meaning that they had to pay the sellers in cash so the sellers would only pay tax on the official amount.

This was 15 years ago. It seems hard to imagine something like this happening in the US with the Know Your Customer and Anti-Money Laundering laws but maybe it does. And it might not happen in Spain anymore.
These people think they found a loophole in the constitution where the president can steal congress's power of the purse. I think that trying to find and exploit loopholes in the constitution breaks the spirit of the document and is traitorous to our form of government. But they don't care for our form of government, they want to undermine it because without government it increases billionaire's "freedom".
Dangerous chemicals were detected in 100% of the braiding hair we tested
This is covered in the article. See the section "Implementing a fast ×3 circuit with carry lookahead"
A society of equals needs very little coercion to run, since everyone feels like they have ownership and importance and so everyone feels like they are more or less on the same team. A country in which a wealthy few rule over masses of poor however requires a lot of violence to keep orderly. And of course, it will be in the interests of the elite that the poors are divided against one another.
US Navy has been building, commissioning, operating nuclear submarines successfully, literally every years for at least past two decades. The sub reactors are PWRs, only built with unadulterated high purity Uranium.

The "problems, delays, overruns" is basically euphemism for political sabotaging. I can't feel so sympathetic to those in denial of that.

It's just hot rocks boiling in a pressure cooker. 1940s technology. Not 1940s as in Portal timeline. Making assumptions that there must be complicated technical challenges that cannot be overcome or could delay construction as long as 17 years to mitigate is just stupid.
Yeah I feel that, not the entire language but, many of its choices, like error handling, sum types (with exhaustive enum matching) especially when writing in python.
Good of you to get the correct talking points back on track! Curious how well this strategy will work? Is there a single Pro Russian perspectives allowed in a critique of a war we pay for? Almost seems like a problematic monoculture. Alas this is primarily a tech site but I would expect SOME debate.
This seems to conveniently ignore how patents work.
the cover photo wearing a tie is uhh an interesting choice for literally any kind of shop. same reason women have to keep their hair out of the way.
> Dozens of researchers with grants under the Minerva Research Initiative—studying violent extremism, disinformation, and threats from climate change, for example—have had their grants terminated in recent days.

Social scientists researching climate change.

With the discussion here on HN often about how misaligned the incentives are and with the replication crisis in mind I get it that funding was cut (https://en.m.wikipedia.org/wiki/Replication_crisis).
> there is a function capable of transforming information into "thinked information", or what we usually call reasoning. We know that function exists, because we ourselves are an example of such function.

We mistakenly assume, they are true because perhaps we want them to be true. But we have no proof that either of these are true.
With an optimistic 10% annual return, this would amount to 1/5 of Cornell's budget.
Let's say there were no regulations. None at all.

Wouldn't the largest private health insurer just buy up all the smaller ones, and then how exactly would competition work?
But then you dont cut with non insiders. You instead reward the reporting of bogus science and corruption bx handling a reward grant worth half the cut grand to the reporter. Make experts clean the house, instead of idiots tearing the house down , becsuse they can not tell apart a load bearing beam from drywall .
I had read somewhere that some of the early Apple (not Mac) software, i.e., systems, application or both, was written in some Pascal variant.
> Math is also symbol soup. But those symbols mean things and they’ve usually been designed to compose nicely. Mathematicians using symbols—just like writers using alphabets—are able to use those symbols to concisely and precisely convey complicated concepts to one another.

I just don't understand why one may take maths of all things as a positive example of something readable, when it's widely known to be utterly inscrutable to most humans on earth and even so many papers have differing conventions, using the same symbol for sometimes widely different or sometimes barely different things
I agreed with you until the last bit. I don’t think there’s a uniform “they” with a stable set of goals. All of the heritage foundation, Vance, Trump, Elon, congress, the Christian nationalists, etc I’m certain have different and probably often conflicting goals… that also shift constantly depending on the context.
>These people think they found a loophole in the constitution where the president can steal congress's power of the purse.

I mean, until someone stops them, and as long as they get away with it, they did.
I see your Gen Z and raise you a Gen Alpha.
The expectation is that for any service you should be able to have multiple passkeys -- including multiple passkeys from different vendors. I'm not sure how that exactly causes lock in?
Uhh… cyberpunk 2077 literally had AI Wars and made a big wall around most of the internet to prevent AI from affecting anyone, except for one taxi company.

Does that sound optimistic?
have you thought about bot detection tools like recaptcha?
A lot of speedruns will not only use specific versions of online patchable games, but old games will have players use specifically Japanese or European physical copies for the same reason: there are glitches that are only present on the Japanese version of Pokemon Red/Blue that were fixed for the NA release, for example. Some of the time it gets really weird, like people specifically using the Wii Virtual Console re-release of a game in order to take advantage of its emulator being different from physical hardware - which is (usually) allowed, because it's still an "official release".
I had to check if Help & Support is indeed linked to Discord and sadly it is. For me this is an instant turnoff. If there is no documentation but rather I am expeced to scout chat logs, I won't even start to use it. (I realize that this is a bit of a meme but it is true for me)
So, you’re advocating for taxes just shifted in source? Basically instead of income tax, sales tax?
> To me this sentiment reads as "It sucked for me, therefore it needs to suck for you too. Feel the pain of previous generations!"

I explicitly say it didn’t suck and it wasn’t painful.
The solution to that might be to increase funding to the irs; currently the political elites are seeking to kneecap the irs so that it’s even easier for them to evade taxes.
The Self-Domesticated Ape
Interesting… any more details on how you do that?
Well everyone with no emotional to Trump saw this coming. Nothing like stealing from your fans. I am sure the family made out fine.
There's so much that you cannot learn from the Internet, but must practiced, coached, steered, etc. That needs fysical things to interact with. That need teams, colleagues, or other humans.

People who think you can learn "everything" from the Internet have a very limited view of "everything". And could probably learn about the world by going out there ;)
Okay so this is a personal opinion right? Like where is the objectivity in your review?

What are the hardline performance characteristics being violated? Or functional incorrectness. Is this just "it's against my sensibilities" because at the end of the day frankly no one agrees on how to develop anything.

The thing I see a lot of developers struggle with is just because it doesn't fit your mental model doesn't make it objectively bad.

So unless it's objectively wrong or worse in a measurable characteristic I don't know that it matters.

For the record I'm not asserting it is right, I'm just saying I've seen a lot of critiques of LLM code boil down to "it's not how I'd write it" and I wager that holds for every developer you'll ever interact with.
I don't know if the model changed in the last six months, or maybe the wow factor has worn off a bit, but it also feels like ChatGPT has become a lot more "people-pleasy" than it was before.

I'll ask it opinionated questions, and it will just do stuff to reaffirm what I said, even when I give contrary opinions in the same chat.

I personally find it annoying (I don't really get along with human people pleasers either), but I could see someone using it as a tool to justify doing bad stuff, including self-harm; it doesn't really ever push back on what I say.
The better solution is to have two different “default” cases in the language, one that expresses handling “future” values (values that aren’t currently defined), and one that expresses “the rest of the currently defined values”. The “future” case wouldn’t be considered for exhaustiveness checks.
All while using far more energy than a normal google search
That question is a general problem with anything secret. Or rather, potential problem, because "can this research be reproduced?" is also a useful question, which means random replication of such work is genuinely desirable.

In any case, this specific program wasn't one of the secret ones.
Appreciate the corrections, but I'm still a bit puzzled. Are they wrong about 4.5 having 12 trillion parameters, it originally intending to be Orion (not omni), or an expected successor to GPT 4? And do you have any related reading that speaks to any of this?
Civics, ethics, and cooking too. :)
That's a good point, and there's probably a sweet spot somewhere between "a few" and Dunbar's number, that represents the typically-most-efficient team size going forward.
> Even the most atrociously bad prose writers don't exactly go around just saying random words from a dictionary or vaguely (mis)quoting Shakespeare hoping to be understood.

I actually do this (and I'm not proud of it)
You're not wrong; however that is an unfortunate misnomer since ground source bore holes (along with horizontal soil collectors and lakebed collectors) on the order of 100-300 m deep are still utilizing heat from the sun stored in the ground, and not heat produced from Earth's core.

I'd say it's a pretty good idea to not conflate the two by using more precise language, even if not doing so might be "technically correct".
Something has gone seriously wrong in your thinking. You appear to be attempting to subtract two unrelated quantities from each other. Let's try this another way:

In scenario A, Jim holds a remote job at Omnicorp.

In scenario B1, nothing changes.

In scenario B2, Jim is transferred into a job with the same responsibilities that is not remote. This raises Jim's expenses by $2,500 a month. It also raises Omnicorp's revenue by $X per month. X is the value you forgot to consider. What is it?

If, for example, it is -$500, then the total cost of transferring Jim is $36,000 per year. If we split that difference evenly between Jim and Omnicorp, Jim will receive a $12,000 raise... but Omnicorp will suffer a net loss of $18,000 per year, so it's hard to see why this would happen or who it helps.

If it's +$1,000, then the total cost of transferring Jim is $18,000 per year. Splitting that difference evenly means Jim gets a $21,000 raise, but again there is no reason this would actually take place, because the company is paying $21,000 a year in order to receive $12,000. Or, viewed another way, the transfer destroys value and you shouldn't expect it to happen.

If X is +$3,000, then the total cost of transferring Jim is -$6,000 per year. At this point the transfer makes sense and it should happen. Splitting the difference evenly means Jim will get a $33,000 raise.

At no point does it make any sense to consider leaving Jim where he is and giving him a $15,000 raise.
> I always thought it was TCP only!

So did the NIH firewall administrator:

https://news.ycombinator.com/item?id=43229201
“Ladybird has since grown into a cross-platform browser supporting Linux, macOS, and other Unix-like systems” [1].

Whoah, I missed this!

[1] https://ladybird.org/
We need some way of quantifying crypto flows other than market cap.

With a stock, the market cap makes sense as an overall net present value of cashflows that would accrue to someone who owned 100% of the shares. And companies really are sold at values near market caps if they go private.

Bonds have a redemption value.

Crypto coins have no cashflows or underlying value. The money that was lost in this scheme was whatever was put in. And it wasn't capital that evaporated. It was instead a transfer to those who produced and sold the coins.

With a business capital really can evaporate. You can buy the wrong equipment, pay the wrong people and value is destroyed.

But crypto coins are just a transfer. So, the true question here is how much was transferred from those who bought to those who minted the coins or got in early?
these are high schoolers we’re talking about, sure people have used the excuse of the classes not being given but if they were, nearly no one would be interested.

also you need to keep budget in mind and the teacher shortage
Makes sense to me that violence could be related to climate phenomena like draught, and that you might want to pay people to study when and how that has happened and predict when and where it may happen again.
DOGE is a group of thoughtless, self-serving goons whose only tool is blunt force. Fck each and every person who put vengeful, childlike, draft-dodging, felonious Trmp in office.
It's foolishness to think many millions of voters don't also agree with these cuts. They don't value these programs.
No, the idea isn't to bleed them dry, but to disincentivize decisions in direct opposition to what they promised to donors, and make them legally hard to do or with actual consequences.

It would be a guide rail for people at the top to align themselves with people at the bottom. To be aligned with the promises they use in fundraising from donors (of both time and money).

I'm torn with the "just don't give them money then" which a sibling commenter said, it might work short term, but what about everything people have poured into this throughout the decades? I think all that work deserves to be safeguarded, it would show that whatever resources, be it money or time, cannot just be turned on itself by a passing leadership, and that there would be a safeguard against "flushing everything down" as the only choice.

Furthermore, I just don't see a promise/company statement as being enough, after everything that has happened. There needs to be legal accountability and safeguards for not sinking a multi-generational ship.
Can AI come up with this circuit?
If it is running on a computer/Turing machine, then it is effectively a rule-based program. There might be multiple steps and layers of abstraction until you get to the rules/axioms, but they exist. The fact they are a statistical machine, intuitively proves this, because - statistical, it needs to apply the rules of statistics, and machine - it needs to apply the rules of a computing machine.
> Other canceled projects investigated whether climate change could lead to armed conflicts over access to fish stocks and how it affects societies in the Sahel.
I was never addicted to social media, but I used to be terribly addicted to YouTube. I tried various blockers, and none of that worked. In the end I told myself I'm going to quit for 1 month and see. It's a long enough period, where you can't just distract yourself with other things, but it's not long enough to feel like you're losing something. Not to preach, but it worked for me, and I've applied it successfuly in other places like eating habits. You commit to 1 thing at a time, and see if it makes your life better.
That doesn’t make any sense. You’re not giving the license in the ToS to the program but to the company. But the company isn’t processing any data I enter into the browser. I run the browser myself and they never get access to the data.
It does happen easily, I know. I appreciate the reply!
hard agree, that might be the end of him if it wasn’t just for a photo op
36.5 trillion in total national debt

Increasing by 1 trillion every 100 days

Thats by 10 billion per day

Thats 417 million per hour

Thats 6.9 million per minute

They need to cut more of this kind of stuff, not less.

Way more.
Avoid startup drama: Scan contracts, spot risks, sleep peacefully tonight
To return to specifics, this thread is about the NIH- hadn't they been funding gain of function research on coronaviruses? It would be hard to claim that cleaning house there is national suicide.