skysight-inc/HackerNews huggingface dataset:
The Elements of Mathematics volumes weren't exactly textbooks and contained novel proofs. Also, the Bourbaki group published some papers containing novel theorems. For example:

https://en.wikipedia.org/wiki/Bourbaki%E2%80%93Witt_theorem
Ok, so a company which facilitates open source contributions by prisoners, possibly giving them greater leverage in their parole hearings as well as post-incarceration career prospects? Does that sound like something worth doing to anyone here?
You miss the whole point of the list. The idea is that experience of working on variety of projects makes you better developer in whatever field you are in.

This assumes you will understand where to use and when not to use those techniques.

The list gives examples of projects each with unique requirements. Each requiring you to think about the problem in a different way.

I just gave two more examples that I personally found very illuminating, that also have unique requirements, different from other projects on the list.

I may be working on some more mundane software atm but, for example, I know how specifying size of every buffer or any data structure is important for reliability of the service I am working on.

In fact, the service had bad track record of reliability which was quickly fixed by specifying what it means to do stream processing (no unbound data structures in memory, etc.) and quickly verifying each component against this spec.

I learned this and many others from MISRA which is standard to help write reliable software for automotive industry. I adopted it for my embedded app to help me work on complex app that had to be very reliable.
Tonight in SF/Bay Area. Get a live video stream from the BEST parties/bars/clubs
Cocktails and Other Beverages
I use an iPhone SE for work with a WireGuard VPN, no noticeable drain (beyond that battery life is generally pretty bad compared to my Android, even when WiFi/data/bluetooth/gps are turned off).
Bourbaki summed, did not innovate.

Movies are also team work only in the sense of many people working under the vision of a single person: the director. But that's also true for any system designed by 1-2-3 people where 100s also work on.
This website is glorious HTML. I love it.

The content is good too. Well researched and written.
Books like this really make me want to undertake a challenge similar to the "A year of reading the world", but instead reading histories of each country, over a period of many years, most likely.
There are no security talks listed either.
Have a kid and know it for your selves. Ignore whatever Graham is saying, that’s his personal experience. Your experience will be totally different from his, if it’s not, then you are a robot, just another brick in the wall.

Note:
Niece and nephews are not your kids.
My current side project relates to this subject, I think I found a way to structure a long form video platform that offers benefits over YouTube. My question is, how many people see YouTube's censorship/restrictive guidelines as a problem? Are you or anyone you know interested in trying an alternative?
Something is wrong with the default zoom and width on the home page.
EDIT: NVM about the zoom issue, it appears to be on my side.
Toyota is still pushing that? Despite the terrible sales figures?[1] The Toyota Mirai has been on sale in the US for over three years now, and the sales are dropping. Even though they throw in three years of hydrogen.

[1] http://carsalesbase.com/us-car-sales-data/toyota/toyota-mira...
Wasn't Geode actually Cyrix?
The single person is the one who does the conception and creation.

That proof-readers, editors, etc work on it too is inconsequential.

TFA didn't say more than one person can't contribute something or work an artistic project. It said that one or a very few people have the direction and the overall command and vision -- e.g. the opposite of "community process" or "design by committee".
This comment was so useful to me, as a man i consider myself to be sensible enough to not be an harasser but it's true that from the standpoint of a white male it's very complicated to fully understand what women goes through.

I think exactly this is the reason why many mans perceive the sexual harassment and the sexist argument has overkill sometimes, basically it's an issue cause by a low exposure to it.

Thank you for this comment, i'll use it as an argument in sexism discussions trying to help other fellow mans to understand it.
The problem is that the downclocking affects more than just the AVX instructions being executed and can last long enough to impair overall system performance. If you could just make each AVX512 instruction take twice the cycles, you'd get the same throughout and energy use per unit real time but not impair the rest of the system. I know it's not really that simple --- but there must be a better way to avoid the AVX throttling problem than the one we've used so far.
Suggestion, specify number of unique possibilities for each example in the readme. That way I know if I could use it in something.
I saw this video before its public release circa 1993. Autotranslation, virtual agents, realtime video conferencing on handheld devices, virtual reality... all there. I was finishing my postdoc at Bell Labs where it was shown to us as a glimpse into the company's future plans. I didn't know where the bandwidth would come from and neither did the presenter when I asked except to say that "It will have to be built, won't it?." Needless to say I didn't have the foresight to invest in it, either

https://www.youtube.com/watch?v=yFWCoeZjx8A&feature=emb_logo

"AT&T's vision of the future, circa 1993 - AT&T Archives"
Most of the software companies I've worked for don't care about the relative salary cost because the all in cost and opportunity cost of a bad hire is way higher than the salary. For example, given the choice between a proven senior dev making 200k or a risky untrained dev making 70k they'd still just hire the senior dev. It's more about headcount with the big companies. They don't care about saving 40-60k in practice, from what I've seen.
,,Just let them build.''

Would you also advise a company to destroy its profit center?
For subset of Americans, sure.
Ironically, he anticipated this objection, which many people beyond the parent poster are making, and answered it in the paragraph that contains:

"... Open source users will admit that a lot of open source is buggy abandonware. However they argue that this really does not matter since some small significant fraction is really quite good and that's the stuff we should use. ..."

Finding and dissecting the paragraph that contains the above sentence is left as an exercise to the reader.
Assuming things about individuals based on group membership is a key part of racism, sexism, etc. Why would anybody be worried? Because people do it all the time.
that will change when they figure out the privacy implications
Those examples are not indications that people hold beliefs as universally applicable, especially those that were 100 years ago.

Also, most auto insurance still discriminates against men, especially young unmarried men, and we know for certain that’s not because every actuary with authority at every insurance company is under the impression that the increased risk is applicable to every single member. Likewise for life insurance that asks about age and smoking.

In case it needs to be said, there is a major difference between believing traits are universally applicable (which nobody believes) and believing that because something is true on average, that this is valid justification to discriminate against the whole group.

If someone makes the claim that a given trait is true on average, and therefore discrimination against a group is justified, only then should the discussion focus on that. Otherwise, it’s logically inconsistent, hypocritical, and even a little ironic to suggest or even suspect that individual’s line of inquiry is in any way connected to them suggesting or even suspecting a diminished capability from you (or any other specific person) as an individual.

> Plenty of people still use average and trends as an excuse to claim a gender (or race) is not as capable at some skill or career. It's not even that hard to find.

I’ve never seen this claim being made personally, and I don’t believe it happens with any significant prevalence, at least in the US. I could be wrong of course. I have seen many cases of people claiming that someone said it, only for the truth to come out that they actually did not.
Sure, I got no love for Amtrak. Just pointing out that we should criticize it for short trips not 4000km ones.
How is TPM broken? I'm curious.
Tesla Unveiled a New Trailer and Outdoorsy Config for Its Cybertruck
This is insanely exciting. I am terrible at Chess, but I've watched thousands of games on Youtube over the last 10 years or so.

Optically and mechanically, this game feels so refreshing. After being exposed to this almost robotic way of playing at the top GM levels - standard openings, usually the novelty starts around move 12-16 and sometimes longer! It is difficult to describe the "style" of AlphaZero. The best way I can describe it is by comparing how intermediate players chess without being exposed to a lot of theory.

Amazing and exciting for Chess fans.
I'm very curious why you're so skeptical of this. The AI that was created for the Civilization games did in fact try to model these and similar aspects of human behavior, with the intent of creating AIs that played in ways humans would consider natural or fitting. They named the AIs after historical humans and tried to make the AIs act in ways that would be perceived as similar to their namesakes. Nuke-happy Gandhi was originally a bug; that AI was intended to be a pacifist but apparently the in-game invention of democracy causes that value to underflow, rendering him as maximally aggressive. This trait was kept in later games due to fan demand, but that's the exception to the rule. Generally these AIs are intended to behave as humans might behave.

These games have parameters for loyalty, forgiveness, propensity towards warmongering, and more. That's part of what these games are. If you took away that philosophy towards AI design, you'd no longer have a Civilization game.
If you check the people from the 15th century, 1950s villages, or even the "tribes" you mention, you'll find that the children are either helping (small tasks, actually working, after a certain still young age), hanging out with members of the community at large, or mostly playing around with other children.

They don't hang out with the parents after a certain age, and they don't helicopter them...
This is definitely true. The highlight of the week was the serverless summit on Monday.

It’s a shame this left the rest of the week a little bleak by comparison.
Thing is they’re like that guy or gal who is waiting for the “perfect one”. That one is never gonna come. It’s been like this decades. Get something!
Big fan of flexbogfroggy (and cssgridgarden)!

I've been trying to improve my css lately and have found Kevin Powell's content on YouTube great[0].

Eventually I caved and purchased his course[1]. It was initially just to support him, as he has so much premium, free content out there that had benefitted me, but I'm actually going through it and (at least for me) learning faster than by just passively watching youtube videos.

I'm finding it pretty well structured and a good progression from flexbogfroggy.

[0] https://www.youtube.com/user/KepowOb
[1] https://www.kevinpowell.co/courses/
It is objectively not the same financial risk for a wealthy person, if everyone pays the same fee.
I don't mind -- and am often interested in -- cool/funny things about my friends' kids, but the complaining... ugh. I get that kids are far from being all rainbows and sunshine, and I would never begrudge my friends the occasional (or even more than occasional) venting session, but after some threshold of complaining I just want to say "maybe you shouldn't've had kids if all you can do is complain about them".
You know, that's a pretty solid idea. Maybe alternatively could even ship it back to their HQ for "repair", and charge them heftily for the shipping.
Really? You would go as far as managing your own load balancers instead of using a managed, highly available ELB from AWS?

Have you tried using Terraform across providers? It’s far more than just “a few lines of codes”. If you just want cross region availability and still manage things yourself, there are much cheaper ways than AWS.
Actually it is. I've always felt that many 19th century local governments in the US were run like start-ups with a grand vision of creating a better society for their citizens. If you look at the efforts to build transportation, support business, promote local education, and the like it's hard not to see the parallels.

Edited: clarification
As a rule of thumb, the number of visits is approximately 50 + 100 * points. YMMV.
Oh, I see what you're saying. Then no, taxes like this are not pigovian if pigovian means (wiki:) to "correct an undesirable or inefficient market outcome, and [to do so] by being set equal to the social cost of the negative externalities".

Again, that goal is impossible with speeding tickets. The "negative externality" in this case is literally that someone dies. Someone (a lot of someones) lose their kid, their life partner, their parent. Can you apply relatively simple financial analysis to assign a dollar value to that? Sure, but fuck the kind of person that wants to do that; that is not acceptable for any so-called "justice system."

The point of the tax is not to "correct the undesirable outcome" but rather to avert it as much as possible using reasonable techniques.

And no, the rich absolutely should not be allowed to do it more.
they don't have to consult the internet to get the answers
You want obfuscated, I'll give you obfuscated:

void
f (int i, int j)
{
int k = j;

k <<= 2;
k += j;
k <<= 3;

if (--i)
while (--k)
f(i, j);
else
sleep(k);
}

int
main ()
{
f (3, 'O'); /* Sleep for 1000 years */

return 0;
}

...this should solve your stack overflow problems and be 99.9% accurate.
I found out the other day there is a documentary called "The Rise of Centaur" that I haven't had a chance to watch yet but its on my list. https://www.amazon.com/Rise-Centaur-Glenn-Henry/dp/B01FSZU6F...

Also surprised to see they're still a going concern.
Probably less than you think.

A lot of transformers used polychlorinated biphenyls (PCBs) in the insulating oil. Those tend to contaminate groundwater and degrade on the same timescales as radioactivity.

We have, fortunately, banned the usage of such things for quite a while. But, if a transformer hasn't been replaced in the last 20 years, it's probably hazardous.
> in our Darwinian might makes right mentality that many seem to subconsciously adopt, those of superior capability must rule tyrannically over those of inferior ability.

I think a less extreme version of this might be that people can simply pretend that one thing is the other thing. One class dominating another class through violence and exploitation, would have a big incentive to hide behind the "no exploitation here, this is just a different in capabilities situation" defense. Arguably a lot of past exploitation has involved exactly that kind of rhetoric.
Since having my children, my capacity for patience and empathy have increased significantly. Surprisingly, these newfound attributes aren't solely directed towards them, but to the general population as a whole. This is perhaps the most remarkable thing I've experienced outside the pure emotional impact one would expect.
...and how many are home owners or landlords?
What’s the difference between the superior serving the inferior and ruling over them tyrannically as you’ve described? It’s very easy to exert power over someone and justify it by saying they’re better off that way. The reality might just be that people with power tend to use it, and regardless of the morality of any given culture that will ultimately still be the case.
The factors I listed have nothing to do with a polished resume. It's comparing information with a strong signal.

Stereotypes are actually an extremely poor quality signal when hiring. If you use them, you're doing more work than you need to find a qualified person. Test it out and find out for yourself like I did on the advice of someone who does it for a living.
> then in our Darwinian might makes right mentality that many seem to subconsciously adopt, those of superior capability must rule tyrannically over those of inferior ability.

This is not the cause of prejudice you may assume it is. Two reasons:

1. Many people can separate the idea of statistical traits falling on a population-wide bell curve from it having any relevance to any individual within that population.

2. Prejudiced idiots will continue to be prejudiced idiots with or without such data.

Regardless, the data is what it is. Pretending it isn't won't fix anything and trying to supress it won't work either. "Equality through obscurity" will fall for the same reasons "Security through obscurity" fails.

Your comment re "Christian ethic" is so bizarre I'm not even going to address it. People can and do have equal rights despite having different traits. Every human is born with innate value and natural rights separate from any individualized traits.
I experienced the same thing, it really is remarkable.
Mostly, but the NX Geode was Athlon based IIRC.
Haven't seen this in the comments yet, so I'll offer some extra information on the Big Five approach.

Essentially, it is a linguistic approach to personality. The original 5 categories were found by asking people if they would describe themselves with a certain adjective. They did this for hundreds of adjectives. After doing a Factor Analysis, surprisingly, the found 5 independent groups of adjectives. In each group, the adjectives correlate with each other. So for instance, someone you would describe as assertive you would also be likely to describe as proactive. Both of these traits happen to correlate with describing someone as extroverted. The particular group is then given the Big Five name. So technically speaking, extroversion is a whole class of attributes you would be likely to describe someone as.

To me, the amazing thing about the Big Five is that we can reliably extract information about types of people using ordinary language.
Jericoacoara/Ceará/Brasil
I'm surprised enough people fall for it that it's worth 3+ people's time to do it.
Vim is 25 years old. Efficient text-handling data structures aren't newfangled gobbledygook.
Minecraft world simulation runs on a single core so you won't see much benefit from more cores. GC may be an exception though.
How does 1mb computer keep a 2mb textfile in an array in RAM?
I'd go further and say that the central question shouldn't be whether having kids makes our lives better in some way, but rather is it right to impose a life on a person, as well as the inevitable death they will eventually have to face, with all the potential negative experiences in between just to fulfill a selfish desire. A strong case can be made that the answer is no: https://aeon.co/essays/having-children-is-not-life-affirming...
That’s a great idea - will calculate and add!
Because some people have coworkers who actually grow into friends outside of work. Why is that so hard to understand?
Its existence is my argument. The only reason single-header libraries exist is that library management in C/C++ is terribly cumbersome. We shouldn't need them at all. There is a reason source only distributions are practically absent in almost all modern languages.
You are asking a cartel to vote to increase supply and decrease prices. That's not what cartels do.
Thanks to PG for writing this. I will never have kids and I don't want them (I'm old enough to know for certain). But I appreciated this essay. It's good to know what I am giving up.
We expect modern computers to do something more than just run a full-screen text editor.
Nope. Hybrids are already starting to phase out.

Unified fully electric on batteries is so much cheaper that once it achieves critical distance (somewhere north of 150 miles per charge), hybrid adds far too much manufacturing and engineering cost.
Evidence suggests it does not.
I think the argument is over whether the fine must be denominated in currency units. As I understand it the Finnish system chooses to price their speeding crimes in days of spending money. If you don't mind paying the fine in those units, you can just as well ignore the law.
>for tens of thousands of years mankind spent 80%+ of the day with their offsprings/families/villages

For tens of thousands of years kids played with other kids or hanged in the village watched by the older people in the community, while fathers did some guild style job or worked at the fields, and moms cooked and tended the house. They got together to eat and sleep at various points. For less fortunate families, kids started working as early as 8-10 years old. Little kids (even 8-12 years old) were also very frequently made to cater and babysit younger siblings while the parents were working.

>why have kids in the first place if they are then put into daycare until they are grown enough to not to have to care about them anymore at all...

This presupposes what it was supposed to prove, that 1-2 hours per day are not enough time.

It also comes from a place of big privilege, as for a hell of a lot of parents 1-2 hours per day are more than their hand-to-mouth work affords, so the point where it's like questioning why those bad parents of starving children that don't have bread are not feeding them cake!
"The findings suggest that even minor surgical procedures are associated with high risk for patients with frailty and that surgeons and referring physicians should consider whether the potential benefits of surgery warrant the increased risk."

TLDR: sick people die more when you cut them open, even for little cuts.
Police Can Use a Legal Gray Area to Rob Anyone of Their Belongings (2016)
Why did you decide to have kids? This is a serious question.
I'd lay my life down for my kids, but I can't live vicariously through them.

They are both adults now, one has a Masters in Psychology and teaches Austic kids (deciding on persusing a PhD), the other has 4.0 GPA as a 3rd year Bio major and is on the path to being an MD. I'm proud of them, sure, but accomplishments are their own. They are not mine.

My goals have changed since the first one was born and I was still wearing fireproof underwear as often as I wanted, but I chase my dreams stll and I always have... for better or worse.

Apparently, that seems to have rubbed off on the youngins.... for better or worse.
Sure, although I've seen Carlsen utterly unprepared against opponents countless times as well (and still win). I am just saying I see Jan Gustafsson (admittedly team Carlsen) doing this on air regularly. Anish Giri does it all the time. I've seen Grischuk do it every time he's in a commentary booth.
> With a phone call and a modicum of due diligence, everyone would have been safe.

Isn't it substantially more likely the officer would've been shot, and the ferry driver forced to take the trip at gunpoint anyways?
You can certainly hear one of my LCD TVs, at least when it's working hardest (mostly black screen). Samsung had a capacitor recall program, but it wasn't that bad while that was active. I've been hoping it will die, but no such luck.