skysight-inc/HackerNews huggingface dataset:
It was a revelation for me when I found out good knives were made by laminating different alloys together, with the part at the edge selected for hardness, and the rest for toughness.
I am completely self taught and have had no problem finding employment as a developer.

I have noticed a social phenomenon that I call the developer factory. University CS programs, at the bachelor level, appear designed to mass produce developers who aren’t really competent. The goal is employability not competence. They are really good at writing way too much OOP decoration to solve an otherwise trivial problem and really good at doing some whiteboard interview algorithm they will never use on the job. Unfortunately any deviation from those results excuses and failure. Everything must explicitly conform to the patterns they were taught in school.

Many large employers look for this because they know what to expect and it’s a single paradigm form of thinking that easily conforms to their other university-factory minded developers.
While I agree that some amount of mathematical maturity is useful, I think it is a far reach to claim one has to know the Peano axioms in particular, at least in their set-theoretic form. I assume you don't mean knowing and using them implicitly, since you seem to be arguing for explicit mathematical training.

At the risk of being overly presumptuous, the opinion you give sounds like that of someone who does research in such an area. That's what it sounds like to me, at least, because I once argued similarly while I was working from a more mathematical side about the value of understanding things rigorously. And I would issue statements like "well, sure if you just want to put things into PyTorch, _sure_, but that's not _real_ math."

Unfortunately for us (or at least me, because why did I spend so much time learning this stuff?), many top ML or AI researchers have only a vague understanding of fundamentals, and I vehemently disagree that you need rigorous exposure to mathematics to contribute to ML or AI.

My experience is quite the opposite. Lots of people in mathematics / academia are asleep at the wheel. Well, they were at the wheel fifty years ago, and some departments have caught up, but overall mathematical rigor is not what made the field go forward. (D. Donoho's "50 years of data science" seems relevant).

If you are adamant that Peano axioms in particular are necessary, why doesn't your argument that they are necessary extend to things like the axiom of choice? You know what they say: "the axiom of choice is clearly true, the well-ordering principle is clearly false, and who knows about Zorn's lemma?" Or, if the introduction to Folland's Real Analysis is to be believed, if your research project depends on the validity of the axiom of choice -- choose another research project.

All this to say your post makes me recognize a sentiment I once had: mathematical rigor is important. That depends. I realize that more often than not I made that argument to convince myself such knowledge is relevant -- and that creates a dangerous blind spot (at least for an academic who wants to be useful to industry).
If only the IRS used them instead of contracting out to a for-profit third-party... who will make you go through 30 minutes of verification only to tell you they can't verify you, and then take 3 months to reply to your email.
@dang , did something on the HN side of things break or is this a feature I'm unaware of?

Unless I'm losing my mind, which is definitely a possibility, I'm certain I was reading this thread (via front page) last night, as in 20 or so hours ago.

When I search to find this in the HN search bar, I do in fact find this singular thread, timestamped 1 day ago.

As I'm viewing it now, and I presume across all of HN, it is stamped 5 hours ago, back to the front page, and the vast majority of the comments seem to be stamped 2 hours ago.

Hope I'm being clear enough - something just seems strange. Is it possible somebody re-posted the article link today, it got a decent amount of upvotes, and then automatically merged with last nights thread and something on the timestamp side of things broke?

Ooh. There is definitely something going on. Checked top comment - timestamped 3 hours ago in the thread, but when I go to the posters account and look at the comment, it's from over 24 hours ago (says one day, reply to it is 23 hours)

Going to be really awkward if it's just on my side of things... but I'm curious to know at this point
Texas schools are being told to teach ‘opposing views’ of the Holocaust. Why?
I don’t think so. In fact it’s driven the housing market (the one asset class where it could have helped) into financial speculation yet again
> The windows 11 experience has been great, flawless even. Yes there are some advertisements creeping into it, but they can be turned off, and Ubuntu doesn’t exactly have a clean track record here.

You're treading awfully close to a false equivalence. Ubuntu made this mistake what once? Microsoft is continuing to do and doubling down. Also, it is impossible to turn off all the ads (let alone all the privacy invading "telemetry") in Windows without shelling out $3/month (e.g. video ads in Solitaire). There is a world of difference between the two. Let's not pretend they're anything akin, especially today.

> Can these issues really be fixed? Could Microsoft fix it if they take swing at it?

While power management in Linux is worse, it is also very patchy in Windows. I frequently find my new Windows machine dead as well. I think this is more an issue with the ACPI standard.

> Why can't the Linux community move the needle on these issues, and if they can't why should we want Windows assimilated into that ecosystem?

Pretending that major progress hasn't been made (especially wireless) is simply ignoring reality. With respect to wireless, I think the Windows and Linux situations are comparable. Linux lacks a few drivers but is overall more reliable. Also, I would point out that you're somewhat drawing a false equivalence since Windows makes both the hardware and software in your Surface. You should compare your Surface experience with a System76 machine, that would be a more accurate comparison.
Are we confident that Airpods Pros (or similar) would be effective noise isolation to reduce tinnitus?

This is especially in question, to me, with the numerous reports of people getting tinnitus while wearing the airpods with noise cancellation on.
I only had to review Doodles since October 1 to find Yoram Gross and Ivan Piddubny (the latter of whom was exceptionally able-bodied).
Wait what? When did that deal happen? Seems like an interesting piece of political science history i never heard of.
> React does one thing

Maybe this was so in 2013-2015, but React today does a lot of things (module loading, component rendering, basic state management, scheduling, memoisation, caching), and will soon do even more (server components in some custom json format, rendering server). Gone are the days when React was a simple "view library"
I don't know if it's worth changing phones over, but Overcast is a really nice podcast player (smart speed works very, very well). Apollo is nice for reddit.
Yeah, and I suppose that makes the device even less feasible since it could do more harm than good at the extreme depths.
Surbana Jurong joins expert team to deliver Singapore-Australia solar power link
Smash the matriarchy
> $1200/hour

Holy shit, why do ppl pay this? Honestly wondering. Cant most people just go hook up at a bar or smth if they're that desperate?
If you want to backup just data, restic works very well; however, you're not backing up configurations or applications. Use HyperBackup. B2 S3-api is compatible.
The funniest part of this article (in the context of being posted on HN) is that the author separately mentions engineer and software engineer in her list of client professions. That settles it - normal people think they're different.
Education by legislation has now reached the apogee of insanity.

"If teachers are obliged to tell their classes that there is “another point of view” about whether the Holocaust occurred, must American history lessons now also include books asserting that the United States was never a slave-holding nation or that racism ended with the Emancipation Proclamation?

If the discussion surrounding a novel or story leads a class to conclude that LGBTQ+ people are entitled to basic human rights, must the class be asked to seriously consider the opposing view: that those rights should be denied to anyone who differs from the heterosexual norm?"
All I can think of when I see this is the pain of managing timezones in python and then integrating utility energy data that uses their own random skip hours to comp for their terrible data systems.
So basically be a modern day right winger? Because your first 3 things there get you labeled as such - on HN and elsewhere. The last 3 get you banned.

If we are going to play a game of what you’re allowed to assume and what you aren’t allowed to assume, then you aren’t a detective, you’re a pawn for someone else’s bidding and their strategic movements. Ditto for believing and challenging whatever “facts” you are allowed to believe and challenge.

If you knew the kind of statistics that Pew collects, and how they can be interpreted, you would believe very little indeed.
The Software Freedom Conservancy is based out of New York, and they are the plaintiffs here.
The energy and water costs of cleaning and sanitizing reusable containers can be very substantial. It seems nicer to "reuse" a bottle, but it may genuinely be the case that it's less impactful to just make a new one (preferably out of recycled materials).
It's larger than 4->4.5". It feels a tiny bit smaller than the 8, but with the notch and no Touch ID I wish they would've made SE sized with a 8 size screen. I don't need a phone this big, and with my usage (~3 hrs SOT) the battery is more than good on the Mini, there's room to shrink it.
Lost count of how many times I’ve had to fix software that checked kernel version numbers instead of wether a particular symbol exists. It often breaks when compiled on Redhat because they backport so many patches to old kernel versions.
There was an article about prostitution in Germany (legal) where Eastern European women will offer services for as low as 10 EUR.

Race to the bottom?
Food-soiled paper was never recyclable.
This is interesting. Pipe operators are a big win in declarative languages because they allow you to implement a pipeline of operations, which goes against declarative semantics. Sequencing is difficult to express declaratively, thus pipe operators.

But imperative languages are really good sequencing! The syntax for doing this in Javascript is ;

Maybe pipes will give you some syntax wins, but it's not a huge win the way it is in declarative languages. I feel like what we are seeing in general is a lot of the good ideas of declarative languages making their way into imperative languages, sometimes without the best rationale. I'm not really seeing anything compelling in this proposal. It focuses a lot on legibility, but is that the biggest win here?

And is it an unambiguous win? If you're going to go through all the trouble of adding this thing, it better be fore a really good reason with clear benefits that outweigh the costs. I worry that with some of the examples they give (probably the best cherry-picked ones they could find), I find the temporary vars version more understandable. Yeah there are fewer keystrokes, but I have not the slightest idea what this does:

|> chalk.dim(%, 'node', args.join(' '))

But I know exactly what this does:

const coloredConsoleText = chalk.dim(consoleText, 'node', args.join(' '));

Also, another reason this is not so great in Javascript is because the functions are impure. In pure functional languages you can chain functions together safely and with certainty because you know:

1) input arguments are immutable and will not be modified by the function

2) The function has no side effects.

Therefore you can run these pipelines multiple times with the same input and you know what output you're going to get.

If you have one or neither of these guarantees, then it's the wild west. What happens to the arguments when they go into that function? Are they mutated? Are they shared with another thread/process/worker? Are there any system calls in there? File IO? HTTP Requests?

With this proposal, you have all these side channels that can be used and no guarantees about mutability or idempotency, or even whether or not the variables will have the same type after they are passed into a function. This just seems like the makings of a huge mess to me.
I don't think GPL compliance is worth quitting your job (or being pushed out) over.
Except today's supposed peasants (the bottom 50% of labor? who do you mean exactly?) have absolutely nothing in common with the peasants you're referencing. To claim otherwise is something far beyond hyperbolic.

The closest thing to peasants today do zero work in fact. That's how much your scenario is fraudulent. Hilariously fraudulent. They do nothing. They're the forever welfare classes in the US and Europe. People that go half their lifetimes or more and don't bother to work, just because they don't want to. For $15 / hr they can't be bothered to scan bar codes at CVS or Target in zero skill entry level jobs, it's just not a high enough wage. They can't be bothered. Oh those poor peasants doing absolutely nothing in the fields, getting free healthcare (bottom ~28% in the US today), free food, and housing subsidies - all paid for by the top 50% that actually do work and cover all the taxes, and primarily paid for by the top 25% that pay more than their fair share of taxes vs the income they take home.
Anyone got a page with these phones' specs in English? The linked story keeps forcibly redirecting me to a page in some other language, even if I manually edit the URL back to the one in the story.
The point of it being open source is that you can demand the person who gave it to you should fix it to your specifications for free?

I don't see that mentioned in The Four Freedoms of Open Source: https://yairudi.com/foss-principles-explained-ch-ii-open-sou...
> Would you randomly disable somebody's car's engine because they didn't pay? No.

Perhaps you meant to reply to the person I was replying to, rather than me, with your "how rental cars do it doesn't seem to have anything to do with it"? Because the person I was replying to said that repossessors wouldn't disable a car, which is not true.

> This is some fucked up reasoning. People run into financial difficulty for various reasons, sometimes out of their control. But even for the serial deadbeats who don't care about financial responsibility saying "yeah, it's fine that somebody or their loved one died because it's their fault"? I can't imagine thinking like that.

Saying "yeah, someone else SHOULD pay for their non-necessity"? I can't imagine thinking like that.

Just because someone runs into financial difficulty doesn't mean they can just stop paying for things. Nor does it mean that anyone else has an obligation to provide them with something for free. Particularly when that something is a luxury. Heck, if they're so short on money they could've sold their expensive Samsung phone and replaced it with a cheap one.

And again, I highly doubt that any of this is even a possibility. And you can say I "don't know" that it doesn't disable emergency calling (never said I did), but the fact of the matter is, it's virtually impossible to disable emergency calling on any phone, thanks to both regulation and technical standards.
And also:

> 8% reported legal trouble

> 8% reported being arrested

> 16% reported physical assault

> 17% reported contracting a STD

> 29% reported being stolen from

> 41% reported sexual assault

So no doubt the rates are in part a reflection of the risks providers take in the course of offering their services.
> In any case, you read with exasperation or amusement the multiple errors in a story, and then turn the page to national or international affairs, and read as if the rest of the newspaper was somehow more accurate about Palestine than the baloney you just read.

I don't understand. I feel like reading something ridiculously inaccurate would rather increase my skepticism about the next thing I read (let alone in the same newspaper) than decrease it as the statement suggests.
With the elimination of Gifted and Talented programs, expect the decline to sadly continue.
Haha, okay! Let's look back at this thread in ten years.

I hope you're right, but I don't think you will be.
Youre downvoted but have a good point. I agree its a victimless crime and so the govt has no business regulating it, but pushing for destigmitization is a different kind of social change. Why is that important?
>Saving depositors in regular banking is pure belief as well.

What matters, I believe, is that they have the assets to back the liabilities. 100% plus a safety margin. As far as I know, a regular bank or credit union meets that criteria and Tether does not.

Haven't you ever watched "It's a Wonderful Life"? Where the guy in an effort to stop a bank run, explains that the deposits are tied up in the homes and businesses of the people of the community?

That stuff isn't imaginary, it's just that people are panicking and forgot that it's all connected.
Reminds me of driving a cab in 5th Element :-/

But, if this were to come to pass, rich people would just speed and pay the fines as the cost of running the business. It's why fines to pick up late from the daycare backfired badly.
The US controls the world economy via dollars. The British controlled by colonization. What is the new Chinese mantra? Exporting cheap plastic toys? Everyone has nukes, so they can’t do what the British did. World is already hooked onto dollars, don’t see that changing. There has to be some new thing that the Chinese can use as an instrument of aggression and control that no one else has / is better at. I can’t think of a single thing other than exporting cheap plastics and trinkets. Alternatively we should wait to predict until Xi passes on.
Excellent description of why people haven't gleefully returning to their pre-pandemic jobs! Additionally, people quitting their jobs to perform informal labor (eg childcare for their own kids), competitive wages paid by growing businesses sectors (eg package delivery), and of course the number of workers that just plain died.
NFC-F + Felica is truly one of those technologies that could have really made a huge difference in the world (imagine a no-internet, no bank/middleman payment system in 3rd world countries) but got ruined because of Japan's Galapagos Syndrome. Had NTT & JREast looked from a global POV and worked with OEMs to reduce hardware & licensing cost we could have seen Suica working all over the world today.
https://www.gsmarena.com/google_pixel_6-11037.php

https://www.gsmarena.com/google_pixel_6_pro-10918.php
Outside SV, I have friends in manufacturing. They tell me stories like this all the time. They have to get this executive on their side to win this deal or that deal. I wouldn't dare try to defend the morality of it, but this is capitalism right? I personally believe the corrupt officials example you bring up is much worse than this though. One is often a life and death situation and the other is about protecting the interests of a successful multi-billion dollar corporation.
Vapor Storms Are Threatening People and Property
"progress" meaning "my tribe wins."
Except:

1. The population was low then, and the entire economic dynamic and need for immigrants was completely different than now. Laws change over time to reflect the current situation and should never remain static.

2. We already have existing ways for people to immigrate here legally outside of H1B that includes the low-skilled.

3. H1B was specifically designed for people who have skills that are difficult to grab from existing citizens, and is a requirement of the program.

4. This program has notoriously been abused as a way to pay less than the existing market of citizens would take for the job.

5. There are plenty of great people who should be here on an H1B (especially fresh grads), but are subject to a lottery that includes those who consultants have put in specifically to pay less. The abuse has displaced some who deserve it.

6. The premise of pre-reserving slots for H1B violates the entire spirit of the visa.
It's a work in progress. I too am not a fan of ID.me.
There's an entire episode of the HBO Chernobyl TV series dedicated to the decision to kill the animals in the area, rather than trying to rescue them. Yes, many of the animals would have been radiation hazards, or already doomed to death, simply because of their proximity to the reactor explosion and absorption/consumption of radionuclides over time, but the same can be said for the people living and working in area. The decision to destroy all of them rather than trying to work out which ones could be safely rescued saved the resources it would have taken to make the determination and do the rescues. Those resources were probably better used to mitigate the enormous hazards associated with the destroyed reactor.

In this case, there may be an argument that the resources directed towards rescuing the dogs could be better put towards mitigating the hazards of volcanic eruptions in general, but I wouldn't and won't be the one to make that call.
I have the exact same power issues with my Dell XPS laptop running Windows 10, and a few more. I think my favorite is when I have to restart the computer before it will shut down.

Point is, Windows is no guarantee of a functioning system.
Hey,

Thanks for your kind words Codazoda. Much appreciate :-)
One step worse is when the phone says 64, and they still don't know what that means.

I don't think it's that common yet, but I have met people who hold jobs (for now) but can't estimate what a fistful of 20 dollar bills is worth.
We (society) can sometimes get mired in the minutia and miss the big picture.

With present-day, proven technology, we can physically create ample prosperity for every human on Earth today. Energy is abundant, arable land is abundant, minerals are abundant.

It turns out that the hardest part is organizing the effort to do so, which is fundamentally a mechanism design problem.

The incentives of the influential are clearly an emergent phenomenon, so it’s silly to point the finger at a political party or individual. The fact remains that the incentives that obtain are driving an inequality situation that is trivially unsustainable.

If history is our guide: the guillotines are coming out, too late to prevent it. One hopes that we are not doomed to repeat history, having learned something, and rich people can sort of get together and do the math and realize that it’s not even in their interest to walk and talk and quack like a bunch of sociopaths.
If you have the money for lawyers you could always Thiel yourself a suitable plaintiff.
But they have options. The mini, SE, old smaller phones.
Can someone explain why Spring, or J2EE in general, is a necessity for its target audience, and for that matter, what its target audience is? I've only worked on Spring applications when I had to, so forgive my ignorance, but every time I've worked on a Spring application, I never found a good reason why Spring was necessary.

I always thought that Spring was meant for maintaining large codebases with many interconnected parts that you might want to swap out at a given notice. We can talk about whether or not Spring is a good fit for that scenario, but I at least understand why you would use it. But the applications I've worked on that used Spring were offline, single-purpose, non-changing, and (relatively) small. I would then ask why we're using Spring for this, and I basically get the same responses as the parent post with a facial expression that's pondering if I'm high.

Am I missing something?