skysight-inc/HackerNews huggingface dataset:
The question in the air in 36-ish was something like, "OK, clearly we can mechanically compute things like the sum of two numbers or the prime factorization of a number. But are there other things that can be computed with a discrete and deterministic mechanism?" (At the time they called these "effective" functions.)

Church had piles of stuff that he and his students produced that were computable with the lambda calculus. Basically, all of the natural number functions that a person thinks are intuitively mechanically computable, those folks had showed how to lambda compute. With this evidence, he proposed to Godel (they were working together at Princeton at the time), who was considered the world's expert, taking "lambda-calculable" as a mathematically precise version of "mechanically computable." But Godel was notoriously careful, and he did not accept the thought as perfectly clear.

That is, they had a subset of the things that could be mechanically computed. But was it the entire set? Or was there something that some discrete and deterministic mechanism could be made to do that would lead to more than Church's set?

Imagine you are Dedekind and you are looking at the primitive recursive functions and (1) any such function is intuitively mechanically computable, and (2) you are able to work out how to define a pile of things like prime factorization of an integer using this system. You might well conjucture that this is it. But we know (and Godel and Church and Turing knew) that this is not it, that you need to add unbounded search of some kind (this is what minimization does) to get more things that are intuitively mechanically computable.

I agree that the minimization operator is not as easy to picture with gears and levers as some of the other operations. But the issue in 36 was that a person could worry that there was even more. Just as minimization is not as easy to picture and the need for it didn't hit Dedekind with great force, could there be something else out there that we have all missed?

That worry disappeared when Godel read Turing's masterful analysis. It convinced him that this is what a machine can do.
He wrote,
"That this really is the correct definition of mechanical computability
was established beyond any doubt
by Turing.'' Church felt the same way, writing
that Turing machines have
"the advantage of making the
identification with effectiveness
...
evident immediately.''
Yep. The question is whether the engineering trade-offs are worth it. Less-used libraries might have more undiscovered bugs that crop up in production and could have lower levels of support as well.
I recently read The Case Against Education. It's very interesting, even if you don't buy the conclusion. From the book:

> The Good Student, by definition, fits the profile of a typical B.A. who did not continue on to graduate or professional school. Now let’s define three more ability archetypes: the Excellent Student, the Fair Student, and the Poor Student. The Excellent Student fits the profile of the typical master’s degree holder. The Fair Student fits the profile of the typical high school graduate who does not try college. The Poor Student fits the profile of the typical high school dropout. Ideally, to repeat, “fits the profile” is all-inclusive, covering cognitive ability, character, background, and every other trait. In terms of measured cognitive ability, Excellent Students are around the 82nd percentile, Good Students the 73rd, Fair Students the 41st, and Poor Students the 24th.

> Results closely match common sense. High school is lucrative for all four archetypes. Even Poor Students can reasonably expect the resources they invest in high school to out-perform high-yield bonds. College, in contrast, is a solid deal only for Excellent and Good Students. Largely owing to their high failure rate, Fair Students who start college should foresee a low 2.3% return on their investment. For Poor Students, it’s a paltry 1%.

https://en.wikipedia.org/wiki/The_Case_Against_Education
I think this action is as good as we can actually do right now. There's basically zero infrastructure to support everyone owning an electric car and it takes time to build. There's a long long tail of edge cases that need to be accounted for before you can just pull the rug out from everyone with a petrol car.

* Every single parking space in the city that can or is used for residential street parking needs to have an electric hookup.

* Charging stations need to be at least as dense as gas stations and scaled up since the throughput of an individual station is lower.

* Electric vehicles need to get an order of magnitude cheaper both in terms of purchase price and total cost of ownership as well since people seem to underestimate the sheer number of people who drive sub $5k vehicles. Battery degradation absolutely destroys the used used market for cars.

* Commercial vehicles that by their very nature outrun the range of a single charge need accommodations so businesses can get deliveries and people can take taxis and busses that run 24/7.

Non-Solutions I've heard from around HN:

* "Just improve public transportation" If you can't afford to live in NY or $big_city but work there then you need a car. You literally cannot fix the physics reality of as you expand out the area you have to hypothetically cover with public transportation increases on the order of radius squared. You can try to have a hub/spoke model (and cities like Boston do) but surprise poor people get priced out of those too!

* "Get rid of street parking -- it's ugly anyway. If you can't afford $some_arbitrary_number then you shouldn't have a car anyway."
Case in point.

It is okay to be who you are. It doesn't matter your race or nationality, your sex or gender or creed. It's okay to be white. It's okay to be black. It's okay to be Asian. It's okay to be First Nations, Native, Indigenous. It's okay to be male or female or intersexed or trans. It's okay to be Catholic or Protestant or Sunni or Shia or Jewish or Orthodox or Baha'i or Zoroastrian or Buddhist or Hindu or Taoist or Shinto or any other creed.

For all people everywhere, it is emphatically okay to exist.

If you disagree with that, then I think you need to re-examine who is engaging in supremacist politics.
Sure but presumably one of these people is already a Colorado citizen.

I don't look forward to Texas enforcing anti-abortion laws in other states. You think that's far fetched? How about facilities across the border providing abortions to Texas residents? Or if someone advertises abortion services online, that triggers laws that criminalize advertising services to Texas residents?

Unless the US Supreme Court puts a stop to it, these laws are absolutely coming.
> If you are an automaker, are you going to spend limited development money on cars you won't be able to sell in NY in the future?

If I were an automaker, I don't think I would care much about this. The writing is already on the wall for internal combustion engines (ICE) and ICE is already pretty established so I don't really need to innovate here anyway (as opposed to body style, electronic features, etc) and the time horizon is longer than a decade by which point I'm expecting ratio of EV:ICE sales to shift significantly. This shifts it a bit more.

I think what it might do today is inspire other states to pass similar legislation and otherwise normalize the notion that EVs are the future for those who aren't technologists or early adopters.
One painfully obvious thing would be to get rid of insane notch / forehead. While they're at it, implement an under-display front-facing camera so we can have 100% screen-to-body ratio. Fair that this is not really revolutionary (Samsung has had better screen-to-body for forever) but to me it was a surprising miss from Apple (yet again; maybe I should stop being surprised).
sorry to crash here, but I've made a version of it before. If people want try and give some feedback: https://logfile.app
No. It's definitely true.

I got my 30% raises per hop by hopping OUT of a company and then back in. Raises were only 3%-8% staying inside.
> These people are acting rationally

There is lots of uncertainty and perspectives around that. What if someone in the next 14 years comes up with a way to make gasoline from clean, low-carbon energy?

These kind of technology specific laws really bug me. What they should rationally legislate is lifecycle emissions. If the vehicle system (or energy system) makes more than x gCO₂-eq/mile then it's banned. How you get there shouldn't be specified 15 years in advance.
I think there are pretty rational cases to forego a vaccination, especially young people under 20. And that there is advertising for them getting a vaccination might even be borderline irresponsible.

Add some political urge to stand out and make disproportionate regulations and I cannot call many of them irrational. I am vaccinated but surely that is irrelevant for the argument.

We will get the invoice for Covid in a few years in any case.

I have lost a lot of faith in people and their ability to argue and this doesn't really stem from the anti-vaccination camp, far more this comes from people asking for restrictions.
I think it gave them a chance to understand themselves better. I went to the co-ed school, but my friends from all of the same-sex schools all expressed the benefit of not having to worry about the other sex during school time.
Da Vinci isn't his last name, just like Jesus's last name isn't "of Nazareth" and Cato the Elder's last name isn't "the Elder"
> I prefer less rules over more rules

As you illustrate by saying "less rules" instead of "fewer rules." (I agree with you: For any language, the less that non-native speakers have to worry about tripping over some finicky rule, the better.)
Aren't there some agreements that it forbids engineers to switch to a company and work on the same problem? I mean, somethink like this: Develop a cool chip with Apple (with all the help they provide), then move to a startup and build a clone, isn't this somehow forbidden? Or is it just to hard to put that into a contract? I mean guess same is somehow true for software developement.
> Not to mention, the number of chargers would have to increase exponentially to support all of the electric cars coming online.

1. Infuriating misuse of "exponentially". Charging needs scale linearly with the number of cars!

2. Come on, they're outlets. Car chargers are just a different kind of grid outlet, and they cost no more than connecting a new building. This is cheap, not expensive.
It's ok to be white.
I was one of the early users the OP talked to and I must say it's quite something. The tech is obviously insane. Good luck Jason and congrats with the launch!
uhh, a quick check says "thirty percent less range at below 0 temps" .. secondly, nothing said "will never work"
When any phrase is used exclusively by alt-right groups as a way to dogwhistle and provoke, it makes sense to label it as something that alt-righters use.

No one is seriously arguing that devoid on the context and who pushes that specific phrasing, that it's "not ok to be white"

You have to intentionally disingenuous to seriously believe that.
(Sorry I was rushing and could not ponder more to complete the above as desired)

...It is as if one wrote,

[Abc def] [Ghi jkl] [Mnop (qrs]) [Tuv...
The only manufacturer-owned dealership, no? I would be surprised if I couldn't go to a Ford dealer in NYC and buy an EV.
Engineer @ Replay here - If you're a console.log kind of developer (isn't everyone at least some of the time?), you should check this out. Imagine being able to add console.log() statements to code that already ran and seeing the results immediately! It's a bit mind blowing the first time you use it.
I think the idea of books sitting on a shelf has been around for quite a while.
What do you mean by transition? Like where the snow meets the mountain?
The initial comment wrote:

The FDA initially wanted 2 months of data for under 12, just like adults. Then they changed their minds and wanted 6 months instead. I'm sure they had a reason, but in 70 years of vaccines, we've never had a side effect after 2 months. If they changed their minds once, they can damn well do it again and get this thing out there.

If child mortality and clinically significant infection are low, then would it not potentially take longer to see a statistically difference in a difference between vaccine and placebo subjects?
Yeah, that's kind of a strange statement, almost talking-out-of-ass quality research, and this is The Atlantic
Because climate change is an emergency? Because it sends a stronger signal? Because it's what in line with countries across the world (and California) are already planning?

https://www.coltura.org/world-gasoline-phaseouts

New York isn't exactly some unique snowflake here.
Maybe just my impression, but I usually find the accepted answer more accurate than the top upvoted answer. Usually the accepted answer captures a more nuanced understanding of the original question, even if it isn't necessarily as clear and straight-forward as the top upvoted answer. Certainly not always the case, maybe like a 55% thing
Faroe Islands: Anger over killing of 1,400 dolphins in one day
Hacker News SF Happy Hour Meetup on the 30th
$10 Raspberry Pi Pico Alternative Comes with LCD Screen
"Second, who is saying "white males" are the root of all problems? I mean, it's objectively true..."

Go back to Reddit.
Prediction markets will exacerbate the "war on truth," and are illegal in the US, thankfully. "Shorting" is frequently accompanied by disinformation campaigns against a target. It's scary to think about what this will lead to.
No one going to point out the elephant in the room meaning feminism. Feminists have been attacking boys since the 1970-1980 on and thus we are now reaping what the man hating misandrists weaved?

Lets not forget how Title IX was literally weaponised against male students.
This seems on par with the general GitLab-style. Is anybody else getting a bit frustrated with them?

They keep on having high-severity security bugs being fixed every month (e.g. auth checks not being done everywhere). Then there's all these odd edge case bugs everywhere.

As an outsider, it just seems to me that GitLab isn't being engineered in a principled way: on sound abstractions and with separation of concerns (e.g. auth should be some universal middleware, not ad-hoc per call). Just really basic stuff.
I learned it as all prepositions and articles, unless they start the title.
Travis CI Flaw Exposed Secrets from Public Repositories
Co-founder here. It feels incredible to be sharing Replay with all of you. It's been a labor of love the past five years!

Replay started off as a simple experiment in what would happen if we added a step back button and rewind button to the Debugger. We quickly realized two things. First, nobody uses breakpoints. Second, being able to share is so much more powerful than being able to rewind.

Here’s how Replay works today. Somebody on the team records a bug with the Replay Browser and shares the replay url with the team. From there, developers jump in and add print statements. The logs appear in the Console immediately so you don’t need to refresh and reproduce a thing.

Over the past year we’ve talked to hundreds of users, recorded 2.5 million replays, and worked incredibly hard to ensure Replay would be fast, secure, and robust from the get go.

Want to check it out? You can download Replay today. Can’t wait to hear what you think!

Interested in learning more, here is our announcement blog post https://medium.com/replay-io/launching-replay-the-time-trave...
> That doesn't seem to be slowing down sales of laptops and minis

It did and that's why Apple themselves had to backtrack when the Mini with the soldered RAM and SSD failed to sell as much as anticipated. (That's why the next version had swappable RAM, and not soldered).

All things being equal, people will always choose the device that is more easy to repair and upgradeable.

Apple has 2 things going for the M1 devices:

- They are priced cheaper to make the hardware attractive.

- They offer similar performance to AMD CPUs (with the advantage of lower power consumption.)

Both these factors help overcome the obvious deficiency - that the hardware is not upgradeable or repairable and the system software is limited to one OS. If Apple's ARM processors cannot keep up with AMD / Intel / other ARM cpus, both hardware and software limitations become glaring. And Apple is left with only the price advantage. (And we all know that Apple doesn't play that game as it isn't interested in the low margins market).
Good point. Here's the text of the bill, it specifies that it applies to new cars.

https://www.nysenate.gov/legislation/bills/2021/a4302
If you look at the actual text of the bill, it already includes several "where feasible" caveats which will presumably be carved into more specific exceptions a decade from now if there are places where we can't transition to electric.

https://www.nysenate.gov/legislation/bills/2021/a4302
The British style works best with the Penguin style of using single quotes for the outer level of quotation rather than double quotes. Part of the reason we write “this.” is for esthetics. Compare:

“this.”

“this”.

‘this’.

The middle version looks objectively worse than the first or last.
You didn’t answer my questions. Are you suggesting we don’t teach those very real historical facts I mentioned because some sensitive racists may take it personally? Since when is that a reason to distort the truth?

Edit: HackerNews has decided to throttle me because I’m not a hivemind reactionary. I’m really close to highlighting what’s really going on in this “community” in a more public forum dang.
There is a drop shadow on the posts nav item: https://i.imgur.com/dY408DK.png
This post must have taken a ton of time to build, and it's extremely well done. The author has a really nice CSS course about to launch if anyone is interested.

https://css-for-js.dev
https://archive.md/GQFLq
I find it generally sub-optimal to link Apple press releases. They won’t mention the things that are actually notable, like perhaps a daringfireball would.
I have seen things like:

> The password is ’%>>~|]#^|,’ which is awesome.

Which is, as far as I know, correct according to the rules.
Oh that's interesting. I'm very curious if you're able to share the actual wording of the clause?
Instant X12 EDI Inspector
This was SCVMM on premises hyperv infrastructure not azure.
If you reduce transparency you also lose out on a lot of utility that centers around the wagered amount being an indicator of certainty.

Suppose you're using prediction markets to encourage thorough code reviews, specifically with an eye towards catching malicious commits. Run of the mill non-malicious PR's get lots of little yes wagers, and are merged without exceptional scrutiny from the package maintainers. Then a malicious commit comes along and a reviewer wagers $100 on "not merged". This captures the attention of the maintainers and they give the PR extra scrutiny. Turns out it has a malicious commit, so it doesn't get merged and the reviewer who found the flaw is rewarded with the money wagered by those who didn't find the flaw (plus some from the stakeholders, who seed the market with some "no" money to encourage participation in the game even in boring non-adversarial times).

If you hide the predictions and the amounts, you can't use the unsettled bets as inputs for decision making.
You don't think every race in some part of the world has committed an atrocity at some point?

Your view of history is so small.
So the French don't break their spaces, they cut them.

Reminds me of https://sv.wikipedia.org/wiki/Sekat%C3%B6r
ISO 8601 is proprietary and people can’t even read it without each paying a $170 access fee. Instead, prefer IETF RFC 3339 (mentioned in your link) which is a more practical open standard.
A slightly different but related question that hopefully everyone will find interesting, no matter what affect they attach to Amazon warehouse working conditions:

Food service in particular, I think, is having a lot more difficulty hiring and retaining people than they're used to, even with considerably higher wages and hiring bonuses, but if you believe what you read in the news then it sounds like Amazon warehouses aren't (otherwise you'd think they'd ease up a little on being hardasses). These aren't exactly the same type of job, but they're "pretty similar" in many ways. So, what's the difference?
For the full list https://time.com/collection/100-most-influential-people-2021...
Another side effect was that a question that might have had a perfectly fine answer that was accepted back when the question was posed in 2010, now might be very much not the right approach. I feel like I frequently see questions where down in the other answers are multiple answers posted in the intervening years with much simpler and more readable answers. Or even if there isn't some new way of performing the solution, there might just be a reason why it's become the wrong question in and of itself and an explanation for why this is the wrong road nowadays is provided.
This is a really positive change. There are a lot of abandoned questions where the accepted answer was correct at the time it was accepted but is no longer correct. This allows the community to correct that rather than relying on the question asker.
"The only thing I really know is that there's not an IQ difference between genders and the innate capacity of both groups, preferences, attention span, etc. notwithstanding, is about equal."

This doesn't seem to be completely true. The averages are nearly identical, but the variability is quite different. Most studies will show that males have a wider bell curve than females on nearly every task (Math, Reading Comprehension, etc.).
You can find many simple but observed real world examples of unintended consequences from indexing on observation by searching for examples of Goodhart's Law (which, as commonly generalized, should actually be called Strathern's Law):

"When a measure becomes a target, it ceases to be a good measure."

See Wikipedia to get started, then google search for examples:
https://en.m.wikipedia.org/wiki/Goodhart%27s_law
Why won’t this happen? Remember the state of electric cars are at the worst point now than they ever will be again, and they only fall short of ICE cars on a few factors and are already better on many. Every year they improve at a strong pace, whereas ICE technology is close to as developed as it will ever be.

There’s no reason to believe that EV cars will be worse than ICEs in any way in 10-15 years.
Not science as YOU NARROWLY understand the term.
Oh neat! Didn’t know that :)
I'll speak for myself, as I just finished developing a fully functional dapp on the Polygon blockchain. Transactions are usually confirmed <30s (not fantastic, but acceptable) and cost less than $0.0001 worth of gas each.
There are also other solutions which may work better for certain dapps. For example there is Arbitrum, which has much higher gas costs but instantaneous confirmation times. Regardless, the ecosystem is moving fast, improvements are always coming soon™ and new solutions are popping up all the time.
But what's right here, right now is already good enough to be usable.
Men, yes. White, no. Looking at the most extreme form of 'problems' a society can have, 4 of the 10 most deadly genocides were in Asia, 3 were in Africa, 2 in Europe/Russia, 1 in the Middle East.

All of humanity has the capacity to both oppress and murder en masse.

https://www.mtholyoke.edu/acad/intrel/pol116/genocides.htm