skysight-inc/HackerNews huggingface dataset:
There's a big difference between printing money to trick people into continuing to buy stuff while production is halted during a pandemic and massive investments in new energy sources and technology development and deployment.
LLMs only reach the performance they do because of the sheer scale of data they ingest. Training them on less data doesn't work as well, or at least you will overfit like crazy on anything the size of current models. So the question is where are you going to get anywhere near the volume of verilog code as is present in The Pile? The total amount of verilog ever written is almost certainly a few orders of magnitude less.
The rate of change in climate (due greenhouse gas inputs from human activity) is much faster than it has occurred naturally in the past. If you are genuinely curious, the US EPA's climate change indicators report would be a good place to start. https://www.epa.gov/climate-indicators/climate-change-indica...
Yes - just my preference. `[ num for num in numbers ]` in Python would read as `[ for num in numbers do num ]`. With nested loops, and if you want to do filtering (yield only on certain conditions) I felt the F# syntax reads better as the order reads top to bottom.
I’m not justifying drunk driving. I asked how California is different from other states in this regard.
I wanna report as a voter of hers where the money went and how it was spent. They lost all houses of government. Was the ground game and the get out the vote effort ramped up? How much was spent on ads? Tv, internet, etc? How much was given to down ballot candidates?
unless its one and the same
Personally, I don't enjoy reading that as much. The commentary seems a bit reminiscent of XKCD #406, and has what I read as tinges of racism.

The characterization of some of these senders as lazy is simply not true: I once engaged with a student who wrote like some of those examples and was trying to contribute to a FOSS project I ran; he turned out to be an excellent contributor who nobody could reasonably say was lacking in either skill or effort. It is usually just a combination of shyness and excessive respect that produces these 'lazy' requests. And, frankly, using words like 'ur' and 'thx' are how some 100% native speakers of English write. (The ever-relevant XKCD strikes again, #1414 this time.)

I consider myself to be extremely lucky that my native language happens to be the lingua franca of the computer industry if not the world, and even luckier that I don't have any impediment such as dyslexia that would hinder me capitalizing on that good fortune to the full.

And finally, yes, most of what one receives online is spam. Lots of spam, in fact, but when someone makes as least as much effort to contact me individually I try to make at least that much effort in return.
A.I. Chatbots Defeated Doctors at Diagnosing Illness
Any nuclear power plants being built decreases the marginal cost of building another. If private companies are willing to front the cost of building the first one in recent times, it may help.
Did you try Mastodon?
Nope, being a doomer makes you look dumb and people dismiss your whole message when your overblown predictions don’t come true.

Think about the illegal immigration hawks talking about how people will cross the borders and start raping and pillaging everything in their path. When that of course turns out to be false, people dismiss their position entirely rather than look at actual issues.
Don't look at the code I just wrote (populating a user list with avatars, downloaded via background threads). It might cause trauma.

The last couple of days have been annoying, but I got it to work; just not as easily as I wanted. The platform, itself, has limitations, and I needed to find these, by banging into them, and coding around them, which is ugly.
It’s just an obvious statement. If a proof exists, you will eventually get to it.
Yes, this has blown up on social media. It has to be the most insanely dumb sentence ever written.
If there is one really weak point in this article, it would be his dismissal of no-self in favor of "emergent phenomenon", which as far as I can tell is indistinguishable from "codependent origination" (seriously - try to name the difference). And codepedent origination is the traditional background to no-self, a phrase you've heard many times if you're at all familiar with those teachings.

So to say "this teaching isn't true, but the traditional contextual background to this teaching (under another name) is" makes you wonder if he really understands the concepts involved at the necessary depth.
That’s not a bias it’s just reality. Of course English proficiency isn’t perfectly correlated with economics. It’s one factor of many.

People aren’t usually trying to just predict GDP or something. A report like this is useful for a big company deciding where to expand. I’m writing this from Colombia, which has a big call center industry, much of it in English.

“English proficiency of a nation doesn’t matter, don’t talk about it much”, which is what you seem to be getting at, is so clearly wrong to me. Maybe it’s the bias of personal experience. Just because it’s not important to you doesn’t mean it’s unimportant in general.
Rust haters, unite! Fil-C aims to Make C Great Again
Hello there, small note, on the career part, I'm trying to click to apply on the "Spontaneous solicitation?" and it's nor working, I'm highly interested.
The research concluded in a hypothesis, not a factual proof.
> And using regulation to lock out competitors definitely did not start with OpenAI and Anthropic.

That's what I'm saying: it started with the MBAs.
Well, multiply two large numbers instantly is a superhuman feat a calculator can do. I would hope we are going for a higher bar, like “useful”. Let’s see if this can provide proofs of novel results.
This stuff will never not blow my mind.
I thought you were talking about the dissonance of voting for renunciation while not voluntarily renouncing until forced by the system. I don’t think it’s uncommon.
Yeah .. the paper is all over the place. RFK isn’t horrible. The bear staging in Central Park is odd and everything he stands for on vaccines makes no sense but as an American living in Germany the food here is just cleaner and healthier. Even the Mountain Dew here has cleaner ingredients. Mountain freaking dew.
Since certain political parties seem to feel it justified to throw their antediluvian morals about life in my face, I am responding in kind. I believe global warming is the central moral issue of our time. I hold each person who has voted for a political party that supports the continued carbon pollution personally responsible for the lives and welfare of my children and my childen's children. They are morally bankrupt and care nothing for the Earth and Humanity at large. As a technically-minded person, I believe we can definitely science our way out of this. But hope is not a plan. Most of these deluded voters have no clue how to solve this, they are hoping that we technophiles will pull a rabbit our of our collective hats and save them. But clearly there are no simple answers here, no miracle feats of engineering or unobtanium that will save us, just legal and regulatory changes necessary to hold capitalism and greed accountable for the changes it has wrought on the pale blue dot we all depend upon. We have done little to none of the tasks necessary to stop this train. I am angry and filled with sadness for my children, as the greedy few and ignorant many are destroying the little hope we have left.
What if they’re having chatgpt do some of the writing?
There's not much substance in the reply there, on one part there's this argument:

> Go programs are fast enough for Google, Netflix, Stripe, and many other large Internet companies… it’s probably fast enough for you

Which of course is an appeal to authority. Overall, it's pretty well known that a GC language will have downsides in perf when compared to system programming languages.
Fwiw if the other replies aren't clear: change "embeddings" to "List<double> that some layer of my AI model produces" (that's not exactly correct, it's slightly more specific than that, but in this context it's correct)

LLMs, including multimodal LLMs, do have embeddings, but they're embeddings learned by generating text, instead of finding similar documents
In this context money is just a unit of measurement. If we say that we need more of a particular kind of infrastructure and reduce a particular kind of activity, etc, then the discussion requires being able to say how much of those (many!) things and we can quantify all of those in terms of dollars.
Imports as a share of US GDP is basically identical between 2007 and 2023 at ~16%, it’s really not foreign manufacturing that’s relevant. https://www.macrotrends.net/global-metrics/countries/USA/uni...
There are real-world situations, particularly in remote areas, where you can't rely on someone else to bail you out if you screw up. But they're not typical, and yeah, the analogy breaks down if you push it too far.

I think the advice of having multiple independent ways to log into an account is still good. Unfortunately, Google doesn't provide backups for the threat model of "Google locks you out due to an automatic policy decision" so you have to figure it out on your own. Similarly for other services.
For some time a 'superhuman math AI' could be useful for company advertising and getting the attention of VCs. But eventually it would be pretty clear that innovative math research, with vanishingly few exceptions, isn't very useful for making revenue. (I am a mathematician and this is meant with nothing but respect for math research.)
Thanks for sharing this. It's crazy to see videos like this and think how these people had no idea what was coming in the future.
That’s fair. Viewers who don’t know what is serving the page will be disappointed. If you know it’s Notion, then it works about as expected which satisfies the definition of performant.
I’m not making any comment about Buddhism, but the fact that something is ‘2,500 years old’ doesn’t seem to have much bearing on its validity.

There’s plenty of misguided rubbish that’s been knocking around for millennia — I would imagine Buddhism has other selling points.
> This probably can happen as soon as there’s some manufacturing and mining capacity beyond LEA, so that it’s safe to use nuclear technology without any environmental impact

The idea pursued nowadays is you launch using chemical propulsion and then only turn on the nuclear propulsion once you reach a safe distance from Earth. This is different from the original 1950s Project Orion which proposed to use nuclear pulse propulsion (i.e. repurposing nuclear weapons for propulsion) from the surface to orbit, which would have produced enough fallout to likely kill a handful of people per launch (in the long-run through higher cancer rates). The question then is - is it safe to launch nuclear material to orbit using chemical propulsion? Yes, we can secure it in containers designed to survive catastrophic loss of the launch vehicle. But, will the general public believe it is safe, even if it actually is? Possibly not-which is a political obstacle rather than a technical one.

The other issue is that nuclear propulsion systems can be too large/heavy to launch on a single chemical rocket, but you could launch them as multiple modules assembled together in orbit.

I don’t think this need or should depend on off-Earth manufacturing or mining capacity. I think it is going to be a long time before the highly complex manufacturing supply chains needed to turn raw materials into cutting edge technology like nuclear space propulsion systems exists off Earth. But we should be able to manufacture them modularly on Earth, such that in space we’d be doing module assembly rather than manufacturing.
S3 recently added basic matching support (https://aws.amazon.com/about-aws/whats-new/2024/08/amazon-s3..., https://docs.aws.amazon.com/AmazonS3/latest/userguide/condit...).

They don't have the full suite of GCS's capabilities (https://cloud.google.com/storage/docs/request-preconditions#...) but it's something.
You mean batteries, right? Because Hawaii is off grid and has a ton of solar but at night has to switch to fossil generators.
> A better question is what can happen when everybody has access to above average reasoning. Our society is structured around avoiding confronting people with difficult questions, except when they are intended to get the answer wrong.

What does this have to do with a hypothetical automatic theorem prover?
> But I found it more interesting that the US fell from 1st to 4th in a single year on this digital competitiveness.

Nit picking, but "falling" from 1st to 4th could simply be because the others "rose" above.

It's not like you have to be digitally worse to do worse in a ranking.

Other people / countries can just be improving faster.

Some might argue it's a pedantic distinction, but I would argue it's pretty important here.

It's like if over the next 30 years, GDP per capita inflation adjusted increases 50% in the US but 75% in China - would you really say the US "lost"?
It's also a coordination problem. You won't help your children (the timeline is not that long) by personally giving up your "modern [conveniences]". You need a substantial portion of the population to do that to have any hope of moving the needle. So the choice is between getting the benefits or not, your children will suffer anyway.
Ok but how do you get around needing a 10k or 100k h100 cluster
IMO MPA apps that don't break the back page and support multiple tabs and windows are far easier to have the side by side comparison model than SPAs which get fun dom nonsense the moment you try and do something the dev didn't precisely expect.
The point to do it is to save money.
This is true but for what it's worth we can only get this wrong once.
Ask HN: Books for Entrepreneurs
I just finished re-reading Zero to One, and this time around I liked it even more than the first time.

My all time favorites books for entrepreneurs are:

* The Innovator's Dilemma / The Innovator's solution

* The lean StartUp

* Crossing the Chasm

What other books does HN likes at the dawn of the AI era?

Thank in advance fellow humans.
Unfortunately it is not that simple. The average goes up, but in many places it does so by having both more hot days and more cold days, with the increase in the number of intensity of hot days being a little more than the increase in the number and intensity of cold days.
My net worth is temporary, theirs and their status is not.
Temu doesn't ship items across the world for fun. They do it because the average Joe pays them to do it.

The meat industry doesn't hold excessive amounts of cattle for fun. They do it because the average Joe pays them to do it.

These industries don't just happen to exist. They exist because the average Joe wants them to exist.

If the average Joe stopped buying meat, stopped shopping on Temu and stopped buying palm oil, these industries would cease to exist within days.

But the average Joes wants them to exist. The average Joe decides, every single day, over and over again, that he wants these industires to destroy the climate.

Oh but it's just so convenient and cheap to shop on Temu.
It’s difficult to convince people that once you consider the testing pyramid, it’s not just 2 + 2 + 2 < 2 x 2 x 2 but also 2 + 2 < 2 x 2
>This is what happens when you have the best minds committed to designing systems that don't fail.

And a budget to support them.
It's a direct consequence of the format of a proof. They're finite-length sequences of a finite alphabet of symbols, so of course they're enumerable (the same algorithm you use to count works to enumerate them).

If you want a computer to be able to tell that it found a correct proof once it enumerates it, you need a bit more than that (really just the existence of automated proof checkers is enough for that).
Looking at Art Will Never Be the Same Again
I suspect both are true, for different types of patents.

Tons of low-quality, generic software patents are good for extracting small settlements. Especially when the firm wielding said patents can dissolve and reform overnight to dodge negative judgements, there's very little downside.

Separately, funding serious research purely for the purposes of creating high quality patents does not seem like a winning proposition.

Unsure of where creating patents in the normal course of business and using them for M&A leverage or for tit-for-tat deterrence falls on ROI scale.
> it emphasizes practice and experience over dogma

soto-zen emphasises something like this too.

the tl;dr in my very limited and general understanding seems to be — keep sitting zazen, try to not be an arsehole, you’ll work it out eventually.
My experience tells me that it's both faster and higher quality to do things in small steps than leave it with your "10x engineers" (everybody thinks they are the one, right?) to "just" rewrite from scratch — and I've got plenty of proof in my close-to-20-years of career (I've never seen that go smooth; I've been a part of dozens of iterative "replace large systems" that were pretty uneventful).

As for the "weakest" engineers, even the "strongest" engineers are weak sometimes (bad day, something personal, health issues, sleep deprivation...).
English fluency matters less for Japan, for what it’s worth. They have their own Japanese versions of everything.
And not just the key can wear out, so can the lock cylinder. I had a car where that was the problem. I removed the guts of the cylinder so that any key (or even a screwdriver) would turn it. Still needed the RFID nearby to actually start the car so it didn't seem like a big risk.
O2 does decrease and is measurable: https://www.oxygenlevels.org/

I think this is a more marketable concern than CO2 as without O2 most know that you can’t live.
Alas, the actual original skin doesn't get much use anymore (the one at https://nostalgia.wikipedia.org/wiki/HomePage )
Of course not. While some development acceleration might be expected, at best you'll get some multiple that is representative of the overall quality and experience of the devs you work with.

Copilot has definitely helped me speed up via not having to type a lot of boilerplate and line completion, but I'd say that would be at most ~50% speed up when it comes to greenfield development and half that when it comes to maintenance work (and even these figures are probably generous). A 4x speed up sounds ridiculous; expectations like this are how your codebases get filled with GPT generated garbage that is connected together with GPT generated glue and then wrapped with GPT duct tape and a bow
Any large expenditure is going to cause inflation since it competes with the rest of market for materials, labor, or any other limited resource. It doesn't mean we shouldn't do it but we can't just ignore the consequences.
The site is unreadable on mobile because it disables overflow on the equations (which it shows as images, even though it’s 2024 and all modern browsers support MathML).
>The only way someone in a high income country can prevent this is to buy oil and permanently bury it.

This is needlessly roundabout (especially considering that the oil starts buried). One could simply scale down production (by regulation).
Yet you felt the need to come post it to HN to give it a boost. It’s not like you wrote it in good faith and it organically found its way here. This is pure and simple the exact kind of content that drips of bias and deserves all the skepticism it’s receiving here in the comments.
> The ROI on manually managing memory just isn't there for a typical web application.

You can use a per-request memory arena built with a simple bump allocator and then free the entire block when the request has been handled.
My personal feeling is that when some sort of spiritual practice succeeds I almost forget why I did it in the first place because it was so low level and tightly bound to my experiencing of reality that it couldn't really be described (or remembered) in words.

And then if it succeeds in eliminating like a bad aura that envelops each moment of perception, you almost forget it ever existed and then one can throw the baby out with the bathwater, stop practicing altogether what brought one back up and then beyond to the level of pride where one can dismiss it all, only to three years later or so need to adopt a certain level of spiritual practice whether that's contemplative or practical or community-oriented.

As criticism it's completely valid on a personal plane and multiple times we can all see we've had to dismiss ideas as not fitting our lives anymore, but I also can't help but notice a certain negative tint to the entire article and leaps in logic in the criticism. This is obviously indicative that maybe the author had their fair fill of fruit and on a slightly filled stomach moves on to science etc. But it's not a debunk or a representation of the faith and practices beyond the personal journey of the author.
It's worth emphasizing that it's been possible for years to use an automatic theorem prover to prove novel results. The whole problem is to get novel interesting results.
As a German, I think Estonia has to be before us with a huge lead. Their digital infrastructure is the wet dream of our bureaucratic apparatus.

I don't think the IMD is aware of just how crappy digital processes are in Germany.

A legal process that is digital literally means that you fill out an online form so they can send you the printed out paper form via snail mail and you have to redundantly fill that out again, saving overall exactly 0 seconds with the initial digital website. Not kidding.
Why doesn't ML suffer from curse of dimensionality?
> is quite lightweight and can run smoothly on a modest server with:

>4GB RAM

> 2 vCPU

Crazy what is considered modest now a days.
Program Manager is a shell and was actually included in Windows all the way through XP SP2 when it was phased out. You can probably run it in Windows Vista through 10 if you copy the .exe over, too.
Pretty much any introductory guide to Buddhism from any of the major schools will explicitly say "karma is not a deterministic system of merit and demerit". I'm not sure how the author came to that understanding of karma, but it's radically at odds with what the vast majority of Buddhist traditions actually teach.

https://tricycle.org/magazine/thanissaro-bhikkhu-karma/
That is to say what?
AND make front page on HN ftw. . . .
You're looking for Dokuwiki. It doesn't even need a database; pages are stored as plain text files on disk. Its appearance is a little dated, but it seems to work very well.
Unfortunately, most "frameworks" in existence today do not follow a simple, functional design, and they tend to make you mock quite a bit.

But the alternative to "mocking" is to use verified fakes (same test passes for both the real implementation and the fake) that actually do something "real" (even if it's simply persisting data in memory).
It integrated well with our LDAP server. Its search is great, and everything is plain text so you can do whatever you like. It has a rich text editor but you can also edit plain text.
A 50% gas hike isn't moderate.

But I agree, it's something that'd have to be delicately done. Ideally phased in over time.

I also agree, probably wouldn't be fast enough, just faster to significantly faster than what we are currently doing.
The itch that Aspect Oriented Programming was trying to address was that some functionality only needs to differ by what happens in the preamble or the afterward.

And that can be simulated in code you own by splitting the meat of a set of requirements into one or two bodies, and then doing setup, tear down, or a step in the middle differently in different contexts. So now you have a set of similar tasks with a set of subtasks that intersect or are a superset of the other.