skysight-inc/HackerNews huggingface dataset:
It just feels so pathetic. There was no need to mention him, the article was not about him, but such is the magic of mob mentality. Even those who would otherwise be on the sidelines feel compelled to join with their clubs and spears.

It feels all the more pathetic when tom-dick-harries of the field do it. Like, you probably owe the existence of your career path to giants like him. Have some humility.
Maybe you do the same thing as me: only connect the internet once everything is done and all bloat has been removed
Not yet. Hopefully one coming soon!
Could be that he's simply not a fan of RMS's philosophy on free software? There are plenty of people who don't object to working on proprietary software and systems.

Either way though, the ding on RMS doesn't exactly impress.
I think the wrong answer to a culture fit question is the one that doesn't reflect who you are. The answer they are looking for matches their culture. If you are hired because they think you fit the culture, and you don't, everyone loses. You won't keep the job because team friction trumps all other considerations in my opinion, and you'll be miserable. Find a place that where you are a match for their culture, and thrive.
They're forcing people to online accounts by putting the offline option in the basement, it's the standard 'nudge' in software. Eventually they'll eliminate it completely.

Some would consider this one a dark pattern, I would agree in this case.
Well, they also quote him as saying:

"I’m suddenly concerned that all of published math is wrong because mathematicians are not checking the details, and I’ve seen them wrong before,”
Once upon a time I wrote an automated newspaper layout/preview system in Cocoa, the rendering engine in MacOS.

It was the only thing I could find that could do high quality text (ligatures, OpenType fonts, etc.), had native CMYK support, and could produce a print ready PDF or JPEG preview in milliseconds.

I can’t open source the code, but if anyone ever needs to embark on something similar I’d be happy to share what I learnt.
Anyone interested in this topic, I have a prediction that the time is right for a new math, that starts from just 1 and 0, and builds every symbol up in a rigorous way.

We're working on the infrastructure to make such a thing easier, but the project does not currently have a leader: https://github.com/treenotation/jtree/issues/83
as someone who did not attend college, or all of highschool, but has worked in an engineering role in tech (electrical, electronics, firmware, systems, saas and mobile) for almost 20y, i agree with the thrust of this comment.

i will say that there is an interesting social component on-the-job, especially early on in a (my) career. more than once i had a colleague who would zero in on a gap in theory (almost always algorithms) and talk down to me. in one case i had someone jab their finger at my face and yell (yes...raised, angry voice in a large cube farm environment) "I got my masters from MIT and you dropped out of highschool". The fact that this person was, in the end, completely wrong is immaterial to my point. About a year post-conflict we were (and still are) great and supportive friends.

The issue boils down to a need to "prove yourself" to certain people when you lack an undergrad degree. If you bounce jobs, regardless of reason, the process starts all over again. Someone stepping into most of the environments I've worked in with a fresh BSCi in CS/EE/whatever have not been placed in the same position to justify their existence.

For me, it resulted in a multi-year personal issue of harshly judging engineers with degrees from well-known schools like Stanford, MIT, and so on. I would think to myself "why can't you do this? I dropped out of highschool, learned on my own while working crappy paying jobs as a teenager before getting a shot...mommy didnt send me to a fancy school...i worked my way up from the assembly line to the engineering team" and other such toxic inner monologues. Harsh judgements based on the fact that everyone has a different melange of life experience. Super unhelpful.

As time went on I realized that a papered engineer, especially one who was only a few years out of school couldn't possibly have covered all the things in their coursework...there is enough volume of knowledge it would take decades to learn it all in school...assuming that was all you had to study!

By now I have been around the block so many times that my lack of a degree is less of a barrier, outside of passing the resume-gatekeepers at larger tech orgs. It resulted in my career focus being in the startup-SMB sized orgs. Mostly people seem surprised I didn't go to college, maybe a little amused by the fact they took on a debt load to be sitting next to me.

I hear a lot of "damn, i could have saved so much money". My reply tends to be along the lines of "...yeah...but it took almost 10y for HR to stop trying to low-ball my pay based on my lack of a degree...so i think it may be closer to a draw than either of us realize".
The point is that a small "fender bender" between two big cars might be a fatality if a motorcycle is involved.

The "no driver" phrase relates to the likelihood.
It seems quite obvious to me that the 0.6% is already accounting for there being multiple tests, and even if not, confounding factors are likely not completely independent per test.
Coursera makes its first acquisition, Rhyme Softworks
An update that fixes the broken search functionality has been released, at least for me it worked and the search is again running normally.
Tip, if you want to defeat an argument by quoting only three words, make sure you're talking about the same thing.

To be clear, I was not talking about lexing JSON, but about how to configure a "meta-parser" like this library to actually convert some JSON to concrete application data objects. The point of contention was, "should we really use such a massive library or mustn't it be sufficient to have a simple bag of parsing primitives (which we can use to actually build the right thing)".

And I'm not a fan of JSON either...
Richard Stallman is still head of the GNU Project
It is still misleading.

Under "Domain join instead", I would assume that I could enter an appropriate domain credentials and the computer would join the domain. Essentially the same thing, that the OOB assistant in RHEL8/Fedora does, when choosing Enterprise login.
Scientists now thing being overweight can protect your health
Ya, inverted wing means something else, a wing tuned for inverted flight... at which point it becomes just a normal plane with the pilots seat upside down.
From [0], the types of cancer they can screen make up at least 81.4% of new cancer diagnoses, which means that with their 99.4% true positive rate, this test should be able to correctly identify ~80% of new cancer incidences. If I'm doing my math right, that's really impressive.

[0]: https://www.wcrf.org/dietandcancer/cancer-trends/worldwide-c...
My knee jerk reaction would be that 'domain join' would be something reserved for connecting to enterprise domains - it might ask me for an active directory connection or something (which, if I'm offline, I wouldn't even think to try in the first place). "domain join" for a single user machine? I wouldn't even make the connection.
Someone with better knowledge might step in here.

From https://perl.apache.org/about/history.html

> "PHP was also around already, and was an embarrassing witness to Perl's greatest weakness for server-side programming: that embedding Perl was a pain. Although the hooks were there for embedding Perl, they were both undocumented and buggy.

My other take on it is that PHP is like TypeScript, in that the path to adopting PHP from HTML is simple enough—just rename your HTML files with a .php suffix and you can add dynamic elements—or not. Just like how you can rename your JavaScript code with a .ts suffix and add types—or not.

Personally, I remember writing a few Perl CGI scripts. But I ended up using PHP for any quick-and-dirty dynamic stuff.
It can go the other way, too. It is mathematically impossible to make a font that has the exact same vertical metrics/line-spacing everywhere, so everyone sets the three value sets provided by the OpenType spec to the same values for web fonts. And then you try to render a font with tall glyphs (i.e. Arabic) on Android and find that it actually looks at the font-wide bounding box in the head table to determine metrics. You can't change them because then Android clips everything legitimately outside that box.
From Self-Criticism to Self-Compassion: The Journey to Better Performance
Probably unpopular opinion but there is no point wasting so much effort at a career fair. The people there will be talking to hundreds of students and largely don't care unless you are really exemplary (which the vast majority of students aren't). In big companies, these people don't even have any control on hiring. Your resume is going to recruiters / HR who will apply their usual biases and heuristics on it.

Career fairs have two purposes: For the company it's a way to establish / further their brand, and for students it's a way to get their resumes to companies and talk to employees.

As someone who has been to a lot of career fairs to represent my company, it's really tedious to hear hundreds of students describe their course projects with a lot of sincerity.

If you are interested in chatting with an employee, please do so and I will be happy to talk about my experiences. This is the biggest value of a career fair for students, coz they can submit resumes on online portals anyway.

Otherwise just submit your resume and get going. This whole facade of pretending to care about the company and going on and on about having done this project and that project is very very pointless.
Access to information. Economics growth is more important than the environment for many Chinese people. And also the government doesn't like to bring it up because its one of those things that really pisses off the population. Google Beijing pollution a few years back and you will see how many people were angry about the air they are breathing.
120k is a decent salary for a mid-level engineer. 140-150k is definitely doable with significant experience. Google pays quite a bit more.

Young kids are expensive in Switzerland if both parents work. But assuming one parent stays at home, 120k is enough to live a comfortable life.

Then if you're in embedded as per your profile, there are just so many more opportunities in the South of Germany, I'm not sure it makes sense.
New electric cars have a low speed noise maker in the US (required by law after sometime this year), but most Teslas on the road now were built before this was a requirement.
This won't be really helpful to you since you've already built it, but I'm the kind of person who doesn't like videos. I AM interested in Ansible, but I don't want to sit through videos about it; I want to read and follow the examples as I do.

Actually, I wonder what the split is between people who prefer videos vs people who prefer reading?
> CSV as a format doesn't really exist.

RFC-4180
Ask HN: What are some useful resources on network-to-HTML lifecycle in web apps
I am looking for learning resources to better understand what happens in the life cycle of a network request in a web application, and how to go about performance measurement. I actually had bookmarked one from here (HN), that rebuilt a node js application on ubuntu multiple times (6 I think) in different ways, touching on different aspects like load balancing, but my machine crashed and I lost it. All help much appreciated.
Some people don't think that wanting to punish people for using a non-FSF blessed license is something that should be supported.

"If programmers deserve to be rewarded for creating innovative programs, by the same token they deserve to be punished if they restrict the use of these programs." RMS
> a wrong mathematical statement can still yield useful results in practice

Yes and no. For some basic conjectures this might be the case, but one of the greatest utilities of certain theorems is how they can be applied to completely new fields. If a theorem used in this manner is not actually true, then the proof is invalid -- and it might be the case that (several proofs down the line) the conjecture you've ended up proving is almost entirely invalid.

There's also the slippery slope of "Principle of Explosion"-type problems with accepting "mostly right" proofs -- it means you will be able to prove any given statement (even ones which are outright false).
> A third big name in the field, the roboticist Pieter Abbeel, made $425,000, though he did not join until June 2016, after taking a leave from his job as a professor at the University of California, Berkeley. Those figures all include signing bonuses.

425k after signing bonus is probably closer to 300-350k base + annual bonus, which feels low for someone in such a distinguished position (close to a typical specialized physician or big tech software engineer with 5-10 years of experience). After finishing my masters degree in machine learning in the mid-2000s, I immediately got job offers higher than my much more talented professors. To me, the real story is that academia has set the compensation bar low for people adding so much value.

Edit: to be clear I know these salaries are high and people in my field are lucky to be making so much. But I also don’t think it’s accurate that people in the field are overpaid, which titles like OP may make it seem.
Parsing JSON is not simple - not even when you know the structure you're parsing against. For example that reference shows even parsing numbers is not the same everywhere, so that applies even when the structure is as expected.

> Tip, if you want to defeat an argument by quoting only three words, make sure you're talking about the same thing.

Please don't be snarky - if you disagree say so and why.
I’m sure this will help proofing papers. There will still be the problem of proofing that the software proofs what it is intended to proof.
My non-favorite pain point with LibreOffice are Excel tables (https://support.office.com/en-us/article/overview-of-excel-t...). Home users won't be missing them, but Excel power users will.
Extreme clickbait headline. The subheading is '"I think there is a non-zero chance that some of our great castles are built on sand," he said, arguing that we must begin to rely on AI to verify proofs.'
Snuffle is symmetric key encryption, and yes, it's a well-known construction. However, you previously suggested that an asymmetric encryption scheme (with public and private keys) could be constructed using a hash.
Yes, it makes sense. My beef is not that subpixel doesn’t make sense, it’s that the term is overloaded. Standard antialiasing also involves subpixels and the term makes perfect sense there too. From my perspective, “subpixel” fails to differentiate.

Now, using “Greyscale” to mean color, just not LCD color, that one doesn’t make as much sense to me. Some articles call it “whole pixel anatialiasing” or “traditional antialiasing”, those seem better, but maybe we can assume antialiasing is the regular kind, and only need a term to talk about LCD style antialiasing.
Could be, but it has nothing to do with domains.
Just like that?

I didn't know that the Dutch had unlimited money. Weird that the portion of the population with degrees (44%) is comparable to the US (46%).
it does not have to. A smart compiler can narrow it down to machine size integers then possible.
That’s not accurate. The original Tesla AP safety study was done on the Tesla fleet before vs. after AP was deployed. It’s about as close to a clean, controlled experiment as you can get. Same cars, same drivers, same safety equipment, roughly the same road conditions. They also didn’t even take into account whether AP was driving, only whether it was available on the car, so they aren’t looking at just the safest miles driven (highway miles).
Forgive me, but why is the TreeNotation/jtree library the right place to craft a new "rigorous" mathematics language?
if home wireless printers ever become usable (reliably over wifi) i might then consider web based an option, but only because i know that will never happen
I shouldn't have to create/maintain/remember unique email addresses just to keep the privacy that paper receipts already offer.
It seems to have a great false positive rate, but a not-good false negative rate. It misses the bulk of stage one cancers. So its utility for early diagnosis (the important bit) is marginal at this time.
> Sure, but there is always a need for more beds.

That doesn't make any sense. Basically you're saying the more beds there are the more sick people appear to occupy them.
> if you disagree say so and why.

My apologies. Just did that - I'm habitually a post-then-improve type of commenter.
Chrome/Blink is in the middle of rolling out a large layout engine change. Chrome 76 behaves more like Safari, Chrome 77 behaves as the article describes.

People also might be (1% prob.) placed into a "holdback" experiment group which has the old behaviour in M77.
I'd even prefer the Erowid page : https://erowid.org/ask/ask.php?ID=2726
Isn’t that the intended use case? You’re not supposed to let it drive out of your sight.
>Plenty of people die in cars every day. Cars are released products, right?

Yes, but current cars killings are due to operators (drivers) errors. Not in a self-driving parking-summoner killing people.

Companies don't (or aren't supposed to) release production cars with known people-killing faults. And when some are nonetheless released (which happens sometimes, e.g. a defect found in the break system) companies get fined and/or people go to jail for those. It's not all A-OK because "people die in cars every day" anyway...

>You are making no sense here.

Oh, the irony.
> It’s not due to profit. And actually, the hospital would likely make more profit if they could keep you overnight.

It has nothing to do with the hospital's profit, and everything to do with the insurance provider's costs. What makes you think the hospital is calling the shots in this case? The people who write the checks call the shots.
The problem with saying that that is a feminist perspective is that it is primarily concerned with the moral expectations on men, while ignoring the reality of women, underprivileged or trafficked, and the inevitability of criminal violence in illegal industries. It's positively Victorian.

It does also seem to infantilise women who are capable of making a choice. I've only heard arguments that prohibition is 'for their own good' or necessary to correct male behavior.

Many women in illegal and coercive prostitution face the reality that their families will be injured or killed if they escape or go to the police. They will also likely be deported even if they aren't arrested for prostitution. I would rather reduce the client base for illegal prostitution by allowing legal prostitution, which removes it from the nexus of drugs of dependence, corrupt policing and criminal violence.
Discovered via tweet: https://twitter.com/historyned/status/1178272006334242819?s=...

Seems like an elegant, physical embodiment of resource acquisition, state management, and release. Albeit uncomfortable in your pocket.

Comparisons to C++ std:: on some of these counts may be valid.
Relaxed JSON
I haven't had good experiences hiring people who don't have personal projects. It's a strong signal that the person is self driven, can do requirements gathering and knows how to ship.
Whatsapp is owned by Facebook. Facebook has never been a leader in corporate governance, or even solid moral decision-making.
But, more consistent with the alarmist headline:

> “I’m suddenly concerned that all of published math is wrong because mathematicians are not checking the details, and I’ve seen them wrong before,” Buzzard told Motherboard while he was attending the 10th Interactive Theorem Proving conference in Portland, Oregon, where he gave the opening talk.
I was thinking it's a lot like property-based testing
Histogram- You have to know the past to understand the present
To me doing unpredictable things, in a parking lot, is dangerous. I would like to not be hit, period.

And good luck with the liability when accidents happen. You explain that it was the car and the car manufacturer explains it was you. In the meanwhile I'm in a wheel chair or worse for the rest of my life.

I am also not a big fan of experimenting if something is safe or not using others' people lives. I would think that if you're going to put something out there you will be liable if it's malfunctioning.

You want to have really cool features that don't work in the real world? Play with them on your private estate - just don't force people to be guinea pigs.

Also as a side rant: we live in a world where a significant chunk of people doesn't have clean water or access to internet, but hey I can remotely summon my car! (but have to be sure it's in my line of sight...). How about we focus on giving everyone clean water and internet and stop with the gimmicks?
I get the "awful" look in Firefox if I enable Webrender.
Not really though

Look no further than TV manufacturers, the moment one of them decided to substitute below market prices with selling people’s data the others had to follow to stay competitive!
$$$ always depends on who your prof knows, what connections the lab has with industry and the contacts you make.
They've been floating this idea for years.
It feels like the article ended just as it was getting warmed up towards something interesting! If any HN'ers have pointers/links to other interesting analyses of emergent complexity among simple interacting agents, I'd love to read 'em!
I don't like that he kicks him while he's down but it's also not false. I saw RMS twice and it's not a rumor that he smells bad.

He's just pointing at a problem and showing an example of that problem to prove it exists.

I've learned recently that this is a huge issue in the Smash Bros community, some people are proud of never taking showers or using deodorant. It's become a very real problem for this community: https://youtu.be/QkZB6YxtWKI
You shouldn't take major compromises to improve a 90 to a 100, if you could get a 1000 by simply choosing the right approach (like using binary when performance really matters).
Regarding the slowness of Go in the benchmarks linked in the article, https://medium.com/@dgryski/speeding-up-regexp-matching-with....

There are tradeoffs with PCRE vs RE2 instead of just raw speed.
It sounds like you've been burned out by the career fair circuit -- maybe your company needs to swap in someone who is still interested in actually talking and listening to prospective hires. If you find talking to candidates "really tedious", I don't know that you're the best face for your company anymore.

A lot of company representatives do in fact remember and note especially promising hires. I'm sure that Boeing and LM and whoever just throw resumes onto the stack, but younger and more dynamic startups definitely have room for human impressions in the process.
This whole post really rubs me the wrong way.

College students don't have this privilege, but as an experienced software engineer, if I get a vibe that someone is this judgmental and expects me to sell myself to them more than they sell the opportunity to me, I'm going to pass.

I also think this falls under the common pattern of posts that claim to offer general advice ("wanna impress an engineer at a career fair") when they're really only giving non-generalizable advice ("how to impress ME with my particular criteria at a career fair").
If you're receiving JSON from outside of your system then the performance talk about converting to objects with fixed offsets and hashmaps with the same layout goes out the window, as you don't control the format.
What would be different about loop variables? I don't really write C++.
This short pdf which the article cites is more useful than anything the article itself contains:

http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf
I highly recommend "Fortune's Formula" which touches on this and the Kelly Criterion.