skysight-inc/HackerNews huggingface dataset:
No, humanity doesn't need to work on it at all, instead, humanity should be working on a peaceful painless extinction, because that will happen anyway, but not necessarily in a painless way.
How hard are you really trying if you're asking early 2000s climate change questions on a VC forum.
I agree that the result is important regardless. But the tradeoff of computing time/cost with problem complexity is hugely important to think about. Finding a proof in a formal language is trivially solvable in theory since you just have to search through possible proofs until you find one ending with the desired statement. The whole practical question is how much time it takes.

Three days per problem is, by many standards, a 'reasonable' amount of time. However there are still unanswered questions, notably that 'three days' is not really meaningful in and of itself. How parallelized was the computation; what was the hardware capacity? And how optimized is AlphaProof for IMO-type problems (problems which, among other things, all have short solutions using elementary tools)? These are standard kinds of critical questions to ask.
Of course it can be reversed, it’s just vastly more expensive to do so. If your house is on fire and you don’t have insurance you don’t say “eh I can just build a new one”, you put the fire out.
Eh it's not actually you that needs to change all that much but more industrial processes need to be change. E.g. I worked on a exploration drill rig that hunted gold core. We burnt well over 400,000 litres of diesel a year keeping that thing running. Closer to 500,000 after you count all the fuel burnt to keep the operator alive, fed and transported. 1 rig. It looked for gold that mostly didn't end up in electronics.

Arguably it provided bugger all actual physical good for society in return for its consumption. It got some fat cats rich and employed a half dozen humans. It consumed insane amounts of resources.

Your consumption is nothing compared to these ends of industry, they just try and make you think it does. Industrial industries worldwide need drastic changes.
Now build the same tool to detect these attacks that could be really useful. Or does something like that already exist?
Nothing you just said refutes the current colonial status of the Israeli state and their active defense of internationally abhorred occupations. My intention isn't to defame anyone with emotional candor, but rather to shine a light on the intractable fact that the Golan Heights are an illegally occupied colony, defended by Israeli conscripts and shielded from controversy with the threat of American soft-power.

You asked how exactly Israel is a colony, and I provided a complete and internationally agreed-upon accounting of why that is considered the case. If you feel justified in killing people that intrude upon Israel without the intention of living there peacefully, then you know precisely how the natives felt when they were targeted and attacked by national defense forces at a time when Israel hardly existed.

It's by no fault of today's Israelis that they live in such a terrible place. However, it is their decision to deny their sins (the occupations) and the world will judge them in accordance with those choices. Israel can still redeem itself by rejecting the nationalist notion of perpetually occupying territory they do not legally possess. It is a necessary precondition to meaningful liberal development of the Levant - the status quo is a nightmare scenario.
The main point of this article is that good implementations are few and far between

Most of my banks don’t support it at all, but the few that do still require SMS as a recovery mechanism. So it’s pretty pointless from a security standpoint.

Even O365 will keep pestering you to add a phone number for recovery if you go passwordless and remove your phone number. I think they may even force you to add it back in certain flows.

I think Apple has one the better impls and they went hard on account security after the rash of celebrity nudes were traced back to poor iCloud account hygiene. Recovery codes get sent to every device in the account with an option to decline, passkeys are first class citizens, and they don’t need to know my phone number for any of it
This is really the issue with the article -- it's the CS equivalent of pop-psych feel-good advice like "write a page every day and you'll have a novel before you know it." It doesn't solve your actual problems. It doesn't solve anyone's. You're not actually better off in the long run if every line in your source is a separate commit, unless you have the world's most basic program.

This "it's more important to wrap your code at 80 columns than to understand how the cache hierarchy works" stuff is becoming worryingly endemic. Teamscale has built an entire business around fooling nontechnical managers into believing this shit is not only worthwhile, but should be enforced by tooling, and middle managers at FAANGs, who should know better, are starting to buy in.
Does the IPCC account for asphalt expansion (added heat) around all the airport sensors as cities expand? What data source do they use to track and compensate for this growth?
They've said about thirty things are red lines and then not done much.
It was also incredibly on budget. I think Sagan says in the book it cost the individual American taxpayers in the single digit dollars.
I honestly think that we are. The reduction might be extreme say 90 to 99%. But that still leaves 80 to 800 million humans living some sort of existence. Might not be same as now, but I am almost certain humans won't go extinct.
> people will become A LOT better behaved

Have you met.. people? They already post whatever they want with their full name with no care in the world.
Players for the Planet
Now that we've got SpaceX cheap launches, it's time to launch a fleet of solar system probes and space telescopes.

Why isn't this happening?
Korean and Japanese birth rates are very low.

The West is following suit.

We'll likely see a global population decline.
If you think i said something incorrect or misleading, by all means feel free to correct the record.
Google stopped publishing interesting AI work since they had their AI lead taken away by OpenAI, and mostly with tech that was pioneered, but not monetised by Google like transformers.

I imagine they are under pressure not to make this mistake again.
belief systems can take years to fully adopt, since they attempt to rewire your way of thinking about the world. it's easier for the ones that dangle clear rewards and punishments, though some might call them shallow. for the ones more focused on inner retrospection, there's no obvious short term reward they can offer.
"Decreasing energy production and consumption is not a real solution."

Why not?

A 5 passenger vehicle can be 1200kg or 3000kg but both offer almost the same utility. A diet of mostly-plants can be just as delicious as one with a lot of beef. Building a house closer to work can be just as useful as building one a long ways away (more, actually).
There is a small distinction between copy-paste, which short of using static analysis tooling is undetectable, versus $(git cherry-pick) which is tracked copy-paste

Contrast:

git checkout -b feat-1
echo 'awesome change' > README.md
git commit -am'fix'
git checkout main
git checkout -b feat-2
echo 'awesome change' > README.md
git commit -am'moar awesome fix'
git checkout main
git merge feat-1
git merge feat-2

with its cherry-pick friend

If one is curious why in the world multiple branches would need the exact same commit, I'm sure there are hundreds of answers but the most immediate one is CI manifests are per-branch so if one needs a change to CI, I would a thousand times rather $(for b in $affected_branches; do git checkout $b; git cherry-pick $my_awesome_ci_fix; done) which will survive those branches re-joining main
This is basically Downs’ paradox. Only systemic change can turn things around, but any given individual’s responsibility for systemic change is generally negligible.
People believed the same about Germany about a century ago, we know the path ahead did not end so well for anybody. This time around though, many nations possess nuclear weapons.
CurlDuck, curl script for DuckDuckGo LLMs like Llama3
Isn't there a reasonable chance aircraft will be electric in 50 years?
> A computer fundamentally isn’t functions though. That’s not how a processor works. If functions are a useful abstraction, why haven’t functional languages taken off?

If computers and their processors are a useful abstraction, why don't we write everything directly in machine language - or microcode for that matter?

This is more about computing than about computers. As Dijkstra put it, "Computer science is no more about computers than astronomy is about telescopes."

Computing involves languages, including many languages that are not machine languages. Every language that's higher level than machine code requires translation to actually execute on the particular machines that we've developed as a result of our history and legacy decisions.

The lambda calculus is a prototypical language that provides very simple yet general meanings for the very concept of variables - or name-based abstraction in general - and the closely related concept of functions. It's a powerful set of concepts that is the basis for many very powerful languages.

It also provides a mathematically tractable way to represent languages that don't follow those principles closely. Compilers perform optimizations like static single assignment (SSA), which are fundamentally equivalent to a subset of the functional concept of continuation passing style (CPS). In other words, mainstream languages need to be transformed through functional style in order to make them tractable enough to compile.

The mapping from a lambda calculus style program to a CPU-style register machine is quite straightforward. The connection is covered in depth in Chapter 5 of SICP, "Computing with Register Machines." Later work on this found even better ways to handle this, like Appel's "Compiling with Continuations" - which led to the SSA/CPS equivalence mentioned above.

There's a lot to learn here. It's hard to recognize that if you know nothing about it, though.
Who turns software into money? GTM
I appreciate it when there is also a "License" section in the README itself.
Large commits are (IMO) a symptom - lack of a plan, a plan that doesn’t work out, etc. Which is fine! You have to figure it all out somewhere.

One thing you can do to address them is to stash the large commit to the side, then piece by piece pull it into a new branch as a series of smaller commits. This also give a good opportunity to refactor before delivery, now that you know what the code is going to do and how.
See Three Body Problem (the books)
Love it, but it leaves out the fact that there is pretty much no reason to ever buy an iron without temperature control, or any of the "Dumb tip" irons like the T18 ones, that don't have the heater integrated in the tip.

C210, TS100, and T12 tip based irons are cheap now, why are we messing with the rest? C210 appears to be the new hotness a lot of irons use, but larger tips can be hard to find and you generally want a large tip for through hole.

It also has some misinformation about lead free. Leaded flux is not great either, if there's a difference at all:

https://www.bhencke.com/blog/2019/3/15/a-hill-to-die-on#:~:t....

Lead free is the only solder I use. Soldering spits tiny balls of metal everywhere. Your brass sponge gets full of an awful dust. I do not want a fine powder of lead on my desk.
Exactly. “It’s bad and you should feel bad and it can’t be fixed”

Well… ok I guess I won’t stress about it too much since I can’t change it? I was already powerless but now effort is futile.

I’d like a real straw I guess
It's funny because I had been the guy pushing OO on everyone thinking they are bad if they don't get it. Now I am serially defeating proposals to use, as the OP puts it, more "modern" solutions, because the young people proposing them are basically me back then. Inexperienced and impressionable.
The Elpha Salary Database
I completely agree with you. I’ve literally searched for page titles and had confluence tell me there’s no results found.

I’ve found this problem exists (even though it’s worse with confluence) no matter what you use, and the solution is a better hierarchy
By people that aren't aware of the problem or their ability to collectively change it, sadly. Everyone I know wants to do right by them and theirs; climate change having a meaningful impact on those doesn't seem to be on most voter's radar somehow

I do kinda feel like a responsible leader, that should be elected anyway for reasons other than intended climate policy, should also have the guts to put a topic on the table that means scary change for a massive decrease in worldsuck on a timescale we're comfortable estimating the broad effects for
So did the lastest Win3.1 for workgroups, just MS spared all the fanfare for Win95. Not sure if the 3.1 version in the installers does.
The US is in a proxy war akin to the French role in the US's founding war, the revolution. But different, in that the fear is that one defeated country dominoes into a wider European and cross Atlantic war, i.e. ww3. Not protecting Ukrainian sovereignity is seen as not protecting polish or Romanian independence. It isn't seen like Vietnam; it is seen as China after the mukden incident or Czechoslovakia had they fought a Nazi invasion.
Yes that is Windows Preinstallation Environment (also known as Windows PE and WinPE)

https://learn.microsoft.com/en-us/windows-hardware/manufactu...

https://en.wikipedia.org/wiki/Windows_Preinstallation_Enviro...
My mind eventually started becoming half lucid during nightmares by itself. Any time I have a nightmare where something is about to hurt me, a slight lucidity kicks in and whatever threat gets nullified. Most clear example was Jurassic Park-like and I was about to be attacked by a raptor when walking into a room. My mind anticipated what it was about to do and turned the threat into a cute dog.

Been hoping I can turn that into full lucidity at some point, but that type of nightmare where it happens is rare.
Sure, but let's keep voting based on culture wars and the new satanic panic.
Although the dear price is away off, The bill is starting come due today; see news stories about fires and hurricanes.
This means that you should look to break up a "major feature" into smaller, iterative steps to delivery.

In general, the biggest hurdle engineers need to overcome is to believe it is possible and then simply start thinking in terms of delivering value with every single branch (hopefully user value, but a refactoring counts too), and what are the small steps that get us there?

The benefits are amazing:

* Changes are likely to be limited to only one "thing", thus making them both lower-risk and easier to review and QA

* With every step shipped to production, you learn if it is providing the benefit you are looking for or if you need to pivot

* You are not developing a feature branch while "main" moves at the same time, and wasting time on keeping up with it

* If the project gets stopped 3 months in, you have still delivered some value, including those in-between refactorings

* Your customers love you since they are seeing improvements regularly

* There is never any high-risk, big "release" where you need to sit around as 24/7 support and wait for bugs to rear their heads

I am happy to give some guidance myself: what is the "major feature" you think can only be done with a single, large change all at once? (I've done huge DB model changes affecting 100Ms of rows with no downtime, merged two "subapps" into one, migrated monoliths to microservices etc, but also built new full-stack complex features with branches with diff size being less than 400 lines for each)
As someone coming back to frontend after ten years... the optimism was justified! Writing UI code is amazing now.

Don't let the warts of the real implementation get you down, it's a delight how everything I want to do is just part of the vanilla stack now, one way or another.
Previous warming periods moved much slower. We are currently seeing the fastest rise in temperatur ever observed. We are already in a new extinction era as most species can not adapt fast enough to the changing climate.
These frameworks are C++ under the hood. A far as I know (not too experienced with go) you can use cgo to call any C++ code. So you should be able to serialize the model (torchscript) then run it with libtorch. Tensorflow also similarly has a C++ api
It's classic game theory. The benefits are public and delayed, and the losses are private and immediate. This dramatically incentivizes defection.

Few people are going to give up their modern convinces so their great grandchildren will have better lives. This behavior is everywhere. Few people give up, say, their excess capital to reduce suffering in developing countries, or eating meat for the benefits of the animals that suffer to produce it.

I've gone to enough city council meetings in the last two decades advocating for exactly the things that would incentivize GHG reductions while increasing some quality of life (everything from urbanism, to walkability, to dutch-style cycle infrastructure, to expanded train systems, to general electrification). The number of people who won't even try an induction range because they view a gas range as important to their identity is astounding. Most people are against repurposing any public streets for transportation alternatives, even in the most left-wing cities, much less the absurdity of actually proposing anyone should actually give up their car.
Remote working is the best green thing you can do :)
Set-based queries for multiscale shape-material modeling
Did I say moderate? I should have said small. Remember this is $400B over a 10-year period, i.e. $40B per year. The US federal budget is $6.1T per year, so not even 1% of the annual budget.

It is also small in terms of the extent of expenditure needed for such a conversion of the US energy production system. A cost estimate from 2019 suggested somewhere between $4.5T - $5.7T over the whole period:

* https://www.instituteforenergyresearch.org/renewable/cost-of...

* https://www.greentechmedia.com/articles/read/renewable-us-gr...

so $400B - even if we could assume that all goes directly to achieving the goal, which it does not - is under 10%:
That’s not true. You can use iCloud keychain and have numerous recovery options, including other passkeys. A lost device is not a critical issue at all.

To your questions, the password safe can store passkeys as well. The entire point is to get to a place where we aren’t all dependent on some remote site’s security to keep our secrets safe. Why use a 25+ character password which can be compromised in a number of ways when a passkey doesn’t involve sending secrets at all?
Consumption is also heavily tied to prices. Who is going to pay the equivalent of 50$/gallon when they can use an EV?

We use oil because it’s cheap not because it’s the only possible solution. It’s not that we’re going to run out 100% year X, it’s that as economies of scale end priced inherently spike. Gas stations can scale down to 1940’s levels by having most of them close, but giant fuel refineries, pipelines, etc need scale to be worth the maintenance.
Windows 3.1 was just a graphical shell. All the drivers and stuff were still managed by DOS. You still needed to configure your system with config.sys

EDIT it’s coming back to me. Windows 3.1 did have a a subsystem for running 32 bit apps called Win32 I think that’s what you mean. This was very much in the application space though.

It still used cooperative multitasking and Win 95 introduced preemptive.
This desire of deniers to prove to people who actually get tons of benefit of LLMs that they aren't getting it is becoming more ridiculous every time.

"You can't use LLMs for this or that because of this and that!!!".

But I AM using them. Every. Single. Day.
It's only 20% of what Musk thinks he can cut from the government expenses.
> Most of the inflation from the last 4 years is attributable to Russia invading Ukraine

Source? Other than media articles repeating "due to the war in Ukraine"

Assuming you are talking about the USA, supposedly the USA is a net /exporter/ of grains [0]

[0] Not loading for me but https://www.ers.usda.gov/data-products/ag-and-food-statistic... . Copilot said "The United States is a net grain exporter. According to the USDA Economic Research Service (ERS), the U.S. typically exports more agricultural goods, including grains, than it imports1. In fiscal year 2023, the value of U.S. agricultural exports was $178.7 billion, despite a decline from the previous year. Grains and feeds are among the leading U.S. agricultural exports"
I know you can't be serious, but are you also trying to imply that the incoming administration, staffed from top to bottom with oil industry insiders, won't affect our trajectory?
There isn't less O2. Even if all plants on earth disappeared (and animals somehow survived that), it would take millions of years before there's any measurable impact on O2 concentrations.

Moreover, there's no physiological impact whatsoever until you drop several percent.
You're asking for global human behavior changes. Does that seem realistic?
Java GC, Rust borrow checker, OCaml modules, linters, Valgrind...we more or less know the values that well-written code possesses, but we have yet to figure out how to make well-written code easy to write. Especially at the C or Rust "bare metal" level, it's not about whether a desirable programming practice is possible but whether programmers can reasonably be expected to pull it off.
Saying "English is the French language", half in Latin says much about English!
Totally nonsensical article. It's like calling Frank Lloyd Wright a fraud because he didn't personally lay the bricks for the buildings he designed.
Yeah, a rollback might be unfeasible for most things, but more "atomic" commits allow anyone handling an issue to better understand the reasoning behind any change, and if something was amiss in that particular change.
You can answer it quantitatively. Look up on Google Scholar how much stress contributes to the illness he has. That's your upper bound. Then reflect on how much stress you have caused him. Multiply and there's your answer.

You can then split your contribution into the necessary (stemming from his inability to handle disagreements) and unnecessary parts (stemming from you being a prick or a bad communicator) to determine how guilty to feel.
> A diet of mostly-plants can be just as delicious as one with a lot of beef.

I strongly disagree – as a person who's eaten vegan for over a year, tried all the fancy meat alternatives, and has gone back because a good grass-fed steak is just 10x more delicious.
Another angle on this is that there’s many formal axiomatic ways to define computing.

Everything is just a Turing machine. Everything is just a function. Everything is the Conway’s game of life.

The fact that all of these forms are equally expressive is quite a surprise when you first discover this. Importantly, it doesn’t mean that any one set of axioms is “more correct” than the other. They’re equally expressive.
Give it time. Centrally commanded dictatorships always seem to hum along right to the point of sudden collapse.
Probably not working is even better...
I really appreciate you sharing your story. Getting to the point of accepting the pain of the loss is a huge milestone, even when so many days feel like one step forward, two steps back. I’m deeply sorry for your loss.

A few days ago I completely broke down hearing “Daughter” by Four Tet. The triggers that don’t even make sense are the hardest. It’s really tough to hear other people having felt similar pain (nobody should have to endure it), but it’s comforting to not feel completely alone in it. Wishing the best for you and your family.
If things go sideways in 2029, the next one comes in 2036.
Have you seen a redwood? They can create quite the impression amongst people.