skysight-inc/HackerNews huggingface dataset:
> It's obvious from any charitable reading

Where was that charitable reading when the original accusation occurred?

> that the FSF appears unsympathetic to the victims of harassment, unwilling to apologize for Stallman's behavior

You are repeating all that stuff as if it's a known fact, and not the rumors and conjecture that it is.

> how people would rather excuse RMS' bad behavior rather than confront it in any meaningful way

And here you are also regurgitating the arguments that Sarah Mei and similar orators have provided.

People are writing excuses (at least some do) because the punishment has already far exceeded the alleged crime. Don't you think so?

> Part of the reputation that RMS built for himself is as a serial harasser

Same here. What reputation? Irrespective of the truth in these claims, most people around these discussions are only hearing about this supposed "reputation" now.

Now, FSF could issue an apology, but a) they have probably as little ability to verify these claims as you and I, b) issuing that apology independent of Richard would give credence to these claims, and given that there are few actual accusers it would basically have to agree with all the stuff that has been claimed, by whoever, recently. Which would be a significant betrayal on their part.

A good PR person could issue a trustworthy-sounding promise/non-apology, but FSF are mostly techies, so I'm not holding my breath. But it would be a good idea, politically-speaking.

If you are concerned about actual people is this discussion, though, and are looking for a change in policy, then it, again, will need concrete firsthand accounts and detailed explanations (conveyed to FSF in private, at least). Because a good policy can't be built on vague accusations.
Perhaps Buddhism might provide a solution?
https://en.wikipedia.org/wiki/Buddhism#The_cycle_of_rebirth
Elon Musk unveils new Mars rocket prototype, expects missions in months
And then you can make it a spiral of steel to eliminate the vertical welds.
Configure Entity Framework Core in Asp.net Core
This is the first phase of the course. I go through a few phases and one of them is essentially writing small PDFs for each section and what they cover.

That might interest you more.
Voxon – 3D Holographic System
The assessment is not correct. It’s not a race to the bottom so much as bringing the bottom up to current levels.

China is going to destroy their environment with or without incoming US capital. They will also continue to employ children, etc.

Globalization puts more demand on their system so their people get higher wages, better conditions, cleaner work environments, etc.

Competition for their labor pool and their environment in general means they don’t have to give it up under bad terms.
Elastic Takes Amazon to Court over Elasticsearch
Let's Talk About PC Fans
You're welcome, friend.
> > We Manage, We run, We design, We staff

These almost sound like a pre-emptive positive corporate bankruptcy tale in the making.
The Milawa theorem prover is sound, down to the machine code that runs it (2015) [pdf]
I suppose this is now superseded by modern locks, but this is a great example of solving a problem with technology that would otherwise be left up to human behavior. You could ask people to please make sure to lock the door, but there would always be people who would forget, or just not care enough to bother.
You’re a mind reader then to discern his true goal? Hardly, you just made up something you could easily attack. Yet anyone capable of looking around would see we already have the technology to allow the whole world to keep progressing, just some people would rather don hair shirts and make people feel bad for wanting everyone to own a car.
Windows Defender Gets Perfect Scores in Antivirus Test
> Once a human learns chess

Humans have orders of magnitude more neurons, more complicated neurons, more intricate neural structures, and their training data is larger and more varied.
You are paid more because you do offer enough value to compensate you for it.

The problem your math teacher has is that there are significantly more people qualified and willing to teach math at that level than there are people qualified to do your job.
America Is Approaching Its Tipping Point
>You saved my liver, non-sarcastically

FWIW, it's not particularly difficult to cause liver damage with dextromethorphan at recreational dosages
I just sent a request to mods to delete the post as I don't have the option anymore.
This sort of thing cannot be remedied apart from regulation.
No, its about these things being independant. It is one thing to solve all technical problems, the other all legal procedings. They are only very loosely coupled. So they should be considered independantly, especially if Musk has control about the technical aspects, but much less so about the legal proceedings which might come up.
Yes, and no. We're still very far from achieving anything close to space colonies not dependent on earth, so no, we can't afford to no longer care about the earth. Climate change, biodiversity loss, topsoil loss, and whatever are serious environmental issues that require solving on a relatively short scale compared to colonizing other planets.

But it doesn't have to mean we put a full stop on all space activity. But rather that we research what the effects are, and take measures to reduce those effects to the extent they can be done at reasonable cost. Say, if alumina and chlorine compounds from solid rocket boosters are bad, maybe we should use liquid fueled rockets. If soot from RP-1 is a problem, maybe think about switching to, say, methane.
Free Feature Flags as a Service for Startups
Goldstein is dead. The war is over. Stop killing Afghans. Let me sort their own issues and politics out. If you are worried about them coming to your country and messing with you then stop all Saudis from coming to your country... you can also ban Afghans if it makes you feel better. It's like really what are the hoping to gain from all of this. The people resent you as much as anyone can resent anyone else. The government is a puppet government. The country is fractured beyond repair. It's highly lawless. It's like yes if we can just prevent people from gathering in the Middle of nowhere they can't conspire against us. While most of their enemies came from their greatest ally in which country they can do as they please. This war is a massive Orwellian joke.
Spiral tube are a bad choice for a rocket. Because rolled steel has the grains largely aligned with the direction of rolling, it is stiffer and has less thermal expansion in one axis than the other. Large forces and temperature changes therefore cause a twisting motion, which can put weird strains on the internal components.
A wormhole that takes longer to traverse than ambient space. Useful for certain government functions and, of course, lawyers, but not much else.

Maybe we could put our garbage in it and then destabilize the entrances.

Maybe some galactic civilization has been doing this for millions of years and it turns out that dark matter is really just old magazines and used condoms and coffee pods and such.
> For software like wine, if something works in version X, you can expect it will work in X+1.

Anyone that expects this is setting themselves up for disappointment.

My actual experience with this has not matched yours. Wine is extremely fragile. There is a reason why things like winetricks and using dedicated wine prefixes exists, for one.

This is not a knock on wine really, but the complexity of the problem at hand.

> These are not random features they'll decide to remove from time to time.

Emulating windows APIs is extremely complicated. Even with the best intentions of not breaking something it happens, quite a bit.

You are extremely naive.
How would you compare the state of proof automation to be expected from Lean 4 in comparison with Isabelle/HOL? I'm quite familiar with the latter.
> States pass “stand your ground” laws to boost public safety.

Do they? Or do they pass them because imprisoning people for self-defense is unjust? In fact, judging by https://www.vox.com/2018/8/25/17778712/stand-your-ground-ala..., Vox themselves believe stand your ground laws are not only necessary, but should be followed more consistently!

https://heavy.com/news/2018/08/jacqueline-dixon/ says Jacqueline Dixon was acquitted (presumably due to stand your ground) - does Vox believe she should be in jail? They didn't bother to follow up how the story ended - they only covered it as long as it conformed to their narrative.

They're not just cherry-picking which stories to report - they're actively ignoring the parts they don't like. I'll visit their page next time I want to be fed propaganda.
Step 1: be rob pike. Step 2: invent a pretty basic programming language using your old compiler from Plan 9 while at google. Step 3: be rob pike. ^_^
I suspect most of the structure that gets really hot or cold is steel. To save weight, they are probably also letting more of the rocket get colder/hotter than normal, thanks to the wider temperature range of steel.

Once the temperatures get reasonable, it might be aluminum or or carbon fiber. The passenger/cargo/avionics section are probably the only areas where this would be true, so a bulk of the rocket will be steel.
Representing and Editing JSON with Spreadsheets (2018)
The ones that offered IIS instead of ASP via Apache surely did, depending on the price plan.
> Are we just seeing the outer shell and it's all unobtanium nano-tube composite on the inside?

Nope, it's just steel. Outside shell is the tank.
Employers Used Facebook to Keep Women and Older Workers from Seeing Job Ads
that reminds me of a suggestion of where to keep nuclear codes:

> My suggestion was quite simple: Put that needed code number in a little capsule, and then implant that capsule right next to the heart of a volunteer. The volunteer would carry with him a big, heavy butcher knife as he accompanied the President. If ever the President wanted to fire nuclear weapons, the only way he could do so would be for him first, with his own hands, to kill one human being. The President says, "George, I'm sorry but tens of millions must die." He has to look at someone and realize what death is—what an innocent death is. Blood on the White House carpet. It's reality brought home.

> When I suggested this to friends in the Pentagon they said, "My God, that's terrible. Having to kill someone would distort the President's judgment. He might never push the button."

> — Roger Fisher, Bulletin of the Atomic Scientists, March 1981

https://en.wikipedia.org/wiki/Roger_Fisher_(academic)
English is pretty bad unless you are a total orthography history nerd.

For example, people routinely mispronounce the name of the President of China. (It’s closer to Shi than Zi.) Why? Because English has a strong preference for retaining native spellings even when the other language has a completely incompatible set of pronunciation rules. With Chinese this is extra silly because pinyin is only one of a million ways of romanizing Chinese and basically the least English compatible method.

English spelling is like a Hofstader puzzle: to be able to master it, you must master the spellings of all languages plus English itself recursively going back to the Great Vowel Shift. It’s not a good system.
Check this link from DZone. It has some nice info describing the HTTP Request and Response flow.

https://dzone.com/articles/browser-life-cycle
Right, which is why it makes sense to apply the word “learning” to what we do.

In contrast to “machine learning” which is merely a fancy way to say “data processing with massive compute”.
The performance hit when the system has to switch from regular integers to BigInts is likely to be unacceptable in the realtime / safety-critical applications where we really care about bounds guarantees. Consider an autopilot system where the execution time massively increases when some critical value exceeds some bounds, and the system can no longer execute in the time required. In floating point systems, this is often experienced when "denormalized" numbers are encountered.

In other words, it's not just guaranteed bounds on the value that is required, but bounded (and consistent) execution time.
Actual title: “Google Draws House Antitrust Scrutiny of Internet Protocol”

HN title: “Battle over Encrypted DNS”

Real title: “Cable and wireless monopolies caught stealing consumer data and selling it, ask Congress and Media to force Mozilla and Google to stay with unsafe internet protocol so they can continue to sell their customers”
They just shipped he 12th one. Definitely still in the development/ramp up process.
You dont necerrarily need to care for everything to be performant.
At some point I will make the application publicly available. Let me know if you need help installing it in the meantime.
Yet you yourself also mention openings and endgame above in the thread. What's that if not pattern matching?
I promise you that explaining a technical advanced math subject is less obvious than this, and that even students that come in with the same background will strongly disagree over which books are easiest to read.

Maybe it's obvious that sketching only a little formalism is the best. But then some of your statements end up vague, and students stumble on practice problems where they really need to understand the details of the formalism.

Maybe it's obvious that stating things as simply as possible is the best, even at the cost of generality. But then your statements won't be powerful enough when people try to go beyond the few simple examples you give, and people will feel betrayed.

Maybe it's obvious that a historical approach is the best, for motivation. But historical papers are extremely confusing to read. They're full of redundant checks of things we know are obviously true today, and archaic notation and jargon. People will get annoyed at slogging through ten pages of text to confirm something that is obvious in a modern formalism.

Maybe it's obvious that a modern, clean formulation is best. But then the definitions are unmotivated, seem to come out of nowhere, there's not enough connection to the historical development, and your book won't be compatible with older books.

Maybe it's obvious that no formalism at all is best; you just show how to solve problems concretely. But this turns what could have been a few simple principles into an enormous bag of ad hoc tricks people need to memorize. Textbooks that do this are derisively referred to as "cookbooks".

It is not obvious how to write a book.
"the world's launch capacity will be expanded by two orders of magnitude"

How will so many more launches impact the space junk problem?

From what I understand, there's already a catastrophe waiting to happen if some space junk collides with a satellite and causes a chain reaction of more space junk destroying more satellites, etc... until there's an impenetrable debris field around the earth.

Will having that many more launches and the potential accidents therefrom significantly increase the odds of such a catastrophe?
In other words, the project needs UI and UX designers, and more of a focus on a polished user experience.

Which seems to be an issue a lot of open source, decentralised projects have to be honest. They get a lot of programmers involved, but seem to struggle to get the aesthetics/design side up to par.

What would it take to get the kinds of designers found at the likes of Slack, Discord, WhatsApp, etc working on open source projects lke Matrix?
> 7 years in with my original DE and brush

Badger hair brushes should really be replaced more frequently than once every seven years. The soaps/creams build up over time, and bristles get damaged during use, and it's something that frequently gets wet with hot water which can cause bacteria buildup.
> I can tell Starship is just a bigger version of the Falcon 9 second stage

What similarities are you referring to? They're designed to be launched atop another, bigger rocket. Other than that...?
I doubt it. Google seems to be on an inexorable path towards becoming a corporate nation state. They’re going to need those weapons when the time for secession arrives.
You forgot that the 3rd co-creator was Ken Thompson.
This is very promising. The performance will definitely get better, this is like the first smoky pictures coming out of an MRI.

The real challenge is going to be dealing with the result... it isn’t simply a matter of continuing to use the same treatments we do now but applied to earlier stage disease.
Want a bit of pixel shock? Find someone with an original iPhone.

I fired mine up a few weeks ago and simply couldn't believe that we used to use screens that low resolution and blurry. My eyes have become spoiled.
The USB power supply is probably a 5-volt switchmode power supply which doesn't care whether its input is 80 volts or 300 volts, or ac or dc. You could very reasonably run 100 volts dc or 200 volts dc to things that use switchmode power supplies like that.
> Do you know how to find out what a given drug will cost with insurance?

Theoretically your insurer should provide that via some sort of online portal, but in my experience the usability of such tools has always been terrible.
Teslarati might be slightly better.
> the welded together steel plates really make me think of the sort of thing Wallace and Gromit would build

The most beautiful thing in the world is success.
I like this site! I’ve referred to it many times while designing my programming language.
Nonprofits are more like businesses than people realize: https://seliger.com/2012/09/02/why-nonprofits-are-more-like-... and they pay market rates. Maybe some people will accept someone less for the sake of working at a nonprofit but very few people will accept substantial paycuts over the long term
The first thing you need to do is convince yourself you're worth that kind of money. Then when they ask you how much money you want during a job interview start talking about your peers in the industry making that kind of money.
Finally make sure you're talking to multiple potential employers so you can play them against each other. Elon Musk gave that money to Ilya Sutskever because Google was probably paying him at least $1.5 million. Even if not, his share from the $60M DNNResearch acquhire (that's what got the whole ball rolling here) was probably worth far more than that.

Sadly, you're really only worth what you can convince another person to believe you're worth. But then the USA is suffering through someone convincing an electoral majority of Americans he was the best and only choice to lead the country and that's just working out splendidly right?
The X-29 is an even more totally unstable plane.
Then the people who come to your company could probably do better elsewhere if money is all they care about. You work at Cruise am I right? I know someone personally who worked at Cruise who was making 7 figures. That sort of compensation is just not that unusual anymore.

But I've learned that money isn't everything the hard way. However, if you're whining about being underpaid, there's something you can do about it. There are plenty of solid reasons not to however especially if you enjoy your current gig and they're paying you sufficiently that you have a promising future. Money truly isn't everything.
Ah, I see. You want to argue that since the F-117's instability did not prevent its becoming a success, despite using fly-by-wire computers that were 3 years older (and consequently more primitive) than the X-29's, then instability cannot be the root cause of the failure of the X-29.
Ashton-Tate's Framework on a green Hercules was my daily driver for a very long time. Multi-tasking (sort of), windows, and the ability to cut-and-paste between applications in a text-only environment years before Microsoft Windows was usable.

https://en.wikipedia.org/wiki/Framework_(office_suite)

Picture: https://winworldpc.com/res/img/spotlight/Famework%201.0%20-%...
A Ph.D.'s worth of first authored NeurIPS/ICML papers will get you a very good job pretty easily still. But AI slices papers very thin and author lists are inflated relative to other subfields of CS. A single paper in one of the major conferences is a pretty marginal contribution, especially if you're in the middle of a long author list.

Also, NeurIPS reviewing has gone to absolute hell. I mean, peer review everywhere has problems. But I've never seen something quite this bad. At this point I think it's safe to say that most reviewers wouldn't even make it to an on-site interview for a faculty position at a research university. That's definitely nowhere near normal. You can't really blame anyone, I guess; the community is growing way too quickly for any real quality control.

Frankly, I think those conferences have outlived their usefulness as anything except marquee marketing events. I'm now mostly attending smaller and more specialized conferences.
> was always very proud of his work. It took me a long time to understand why.

I'm a mediocre amateur welder and I totally understand why.
I just want to point out that SpaceX has not yet successfully put a human in LEO. The moon seems well beyond their technical capabilites at the moment and Mars seems like a fools dream at this point in time.
I'm surprised to hear Musk tone. He's not that friendly usually. Maybe it's because Tesla is a different business and its struggle got to him. Maybe it's because his inner child dreamt of this ship for decades..
https://www.cnbc.com/2017/04/03/waymos-uber-lawsuit-reveals-...
Good points. As a complete aside, your comment brought to mind one more group that might benefit: those in a relationship with someone whom they suspect is cheating on them.
Demoing stereoscopic image pairs stacked one on top of the other is a peculiar choice. How exactly is one supposed to evaluate that? Cross their eyes up and down?
You could probably make this happen by compiling a portable APL to one of the programmable graphing calculators with a working C compiler.
Actually you are incorrect. Moschen won the grant in 1990. Adjusting for inflation, that is just over a million dollars in 2019.

Even despite this, your comment strongly indicates taking a rather pedantic position. If you are suggesting that the mere amount of the grant somehow counters the spirit of the discussion, I’d say that’s extremely incorrect and a strict adherence to some threshold like “millions” would be totally missing the point.
There's a step 1.5 in there about making sawzall too
I grew up playing RoboWar for the Mac... looks like it was based on the one you linked. Guess every generation has theirs!
See the picture, it shows how you can make "more efficient use" of land by building tall, high density apartment buildings that will bring more people and traffic and pollution in the cities.

When I built my house it was 1 km (0.7 miles) outside of the city, that was the distance to the closest building. Now, just 12 years later, it is 1.5 km inside. Not my choice, not my doing, not my fault: why should I be put all the restrictions and the taxes when the city expanded (in a really ugly way, btw) chaotically and engulfed everything around it?
Netflix’s Bill Gates Documentary Reveals a Restless Mind Still Hard at Work
> DoH solves an immediate problem, which is that ISPs (and other entities) passively monitor DNS traffic to collect intelligence on network users. DNSSEC does nothing about this problem.

That's assuming the DoH provider isn't monitoring queries either. Doesn't Cloudflare have a deal with APNIC to do exactly that?

> You don't have to use Cloud Flare for DoH, and I wouldn't.

That's the point -- the problem isn't that DoH exists, it's when an application changes your DNS provider to Cloudflare by default instead of using the one you have in your system configuration.
I'm in Romania and it heats to 180C in about 3 and a half minutes.
Is the surface of these less smooth than surface of normal rockets/planes, or is it simply the effect of mirror like surface making bumpiness easier to see?