skysight-inc/HackerNews huggingface dataset:
Big difference

"The twist would be to decide, on the basis of their dna, which of a group of available embryos should be implanted and brought to term."

In this case you are deciding which group of cells to implant. In your examples you are effecting a specific person. Not choosing them out of a group and discarding the others.

Personally I don't know. But your comparison isn't fair.
It is hard for me to imagine how ten engineers would easily get a new venture to $3M yearly revenue within a short timespan.
I'm hearing you loud and clear. That's a great idea to keep the conversation focused. If you're willing, we would love to have you put forward this idea on the platform itself!
It's generally helpful when people see it as a choice. I suspect Mr. Kalanick does not.
Well lots of people take money that can be traced back to China and Russia. It’s not like they don’t carry out HR violations. People just like to signal, bug in the end it’s always about money. Look at the Koch brothers, their main principle is how do we make more money, not what are good causes.
Even if you have google-scale problems... Google, after all, has built a google-scale SQL.
I would guess it's to eliminate a loophole of 'No Officer I wasn't checking Snapchat, I was just getting my digital licence out for you.'
Most assets might be illiquid but that's not the same thing as most billionaire's assets being illiquid, and I said, we can create a wealth tax that doesn't have that problem. Particularly, if you look at the tech billionaires I'd wager none of them are primarily invested in real estate. Hell, if you want to be simple about it, you can just take whatever proportion you want to take and auction it.
There are obviously difficulties with valuations, but that doesn't make it impossible to have a wealth tax. Take Bezos, we can just take whatever proportion of AMZN stock he has, take the market value, and calculate the proportion to be handed over.

The thing you seem to be missing about a wealth tax is that it's not about taxing $17.02 or $17.03. It's about taxing $7Bn, and if you only get £6bn this year, well you're going to get more next year. It's so aggressively redistributive that the details actually don't matter as much as you expect.
This is actually a really interesting idea. Although I think it would fail if any single part of the world allowed genetic profiling, because then the rich would just go there to have their babies' conception.
How is that a loophole? Wealth inequality is inevitable in any society.

The problem is how govt spends money, not how much it collects.
I don’t have a horse in this race. I just found the resemblance pretty striking.
8bit machines are good in their simplicity, but they were not perfect. Storage of the 80s in particular detracts from the experience, it doesn't enhance it.
I think you have a very cynical view of things and expect anybody short of being a saint to be a hypocrite. Sure people care about some things while ignoring others, but that doesnt make them indifferent, there is only so much moral bandwidth a person can handle.
So managers are supposed to be part time kindergarten nannies now? Is this really something that happens to an extent where educated adults cannot resolve such issues among themselves?

This is again a situation that's just hard for me to imagine, from both sides.
If it's so obvious then why am I receiving security patches for my Linux desktop almost every day?
LOL.

> We already have a wealth tax (inflation)

> which [...] hits the poor hardest.

A wealth tax does not hit the poor hardest.
Very valid concern. Thanks for your feedback! I'd suggest that you post that on the community Meta section and we can determine a standard approach for dealing with climate deniers transparently out in the open. What do you think?
That's because 401k's dont have employee or independent trustees
You can have options and results in C++ if you like (I sometimes use custom result types, and I certainly don't use exceptions), but there's no language-level support for them and that's valuable, I agree. Not sure I understand the second point (I don't have to create uninitialized variables in C++, though I may sometimes want to). As for undefined behavior, I don't personally view that as an issue at all for the most part. I write code for a specific set of compilers running on a specific set of hardware, not an abstract standard. The behavior is what the compiler does (or rather, what I cause it to do) and there's nothing undefined or arbitrary about that.

Anyway, I agree that some aspects of Rust unrelated to memory safety are good for correctness. Unfortunately, I can't pick languages in a vacuum, so I have to weigh that against things like GPGPU support (first rate vs. non-existent), tooling quality (particularly profilers), library support (Eigen alone is worth quite a lot) and other factors. If I could ignore all of those real world issues and just choose the better language, I don't know if I would choose Rust, but it would certainly have a decent shot.
One of my favorite features of Rust as someone who dabbles is that thread safety is expressed in the type system. F# is perfectly happy to let me share mutable data across threads without any synchronization, while the Rust compiler knows whether something can be safely accessed because you've either transferred ownership, or the type is thread safe.

The ownership system is also a very clever approach to managing mutable state. Usually in F# you'd get something of the same effect by using immutable structures and creating new copies, which does have a small performance impact
From your link

>The manuscript currently holds the record for the second highest sale price of any book, as it was sold to Bill Gates at Christie's auction house on 11 November 1994 in New York for US$30,802,500 (equivalent to $53,222,898.79 as of 2019)

Sale value indexed to inflation wouldn't be a bad idea.
I really enjoyed this article!

I think that leveraging the type system to enforce invariants about your data model is one of the most effective things you can do as an engineer.

I gave a talk on this topic at my workplace, using Elixir and Haskell as examples. It's a little haphazard, since it wasn't written for public consumption, but someone might find it interesting: https://github.com/QuinnWilton/programming-with-types-talk
Oracle gets by just fine.
It does not. I was able to start the login process on my desktop, click "Login" in the email sent to my phone, and it logged me in on my desktop.
> The government is absolutely useless at spending it well

Corporations are absolutely useless at spending it well. The government, on the other hand, has a long list of successful projects that required a tremendous of money—the interstate system, the hoover dam, the moon landing, and so on. Are there initiatives that wasted a ton of money? Of course. But look at any major company, and you'll find the same thing. Apple wasted most of a billion dollars on a sapphire plant that couldn't make what they promised, Google bought Motorola for $12 billion and then sold it 2 years later for $3 billion, every company Verizon or Yahoo! bought turned to garbage. The list goes on and on and on.
It does include when parked actually. Allows you to be arrested for drunk driving when you are stopped.
How Google killed my app with 150K installs and 2 years of work
He is paying taxes, and even agrees with paying more.
The video was shot in the Richmond Center parking lot [1]. That Tesla is (unfortunately) displaying above-average driving skill for that location.

[1] https://www.google.com/maps/@49.1646475,-123.1373743,18z
Well he made billions from UBER and is now getting $400 million in funding for his new business, so maybe it's you that hasn't learned the value of being unethical in business.
The Saudi's rep is already poison. This news hurts Kalanick's. He may be awful, but he hasn't had any journalists tortured and beheaded.
Designed by the insanely smart Jeri Ellsworth.
Gattaca never explains why the genetically-superior humans are such assholes.
Using this programming style requires a rather powerful type system, if you want to go past the simple examples the author shows and encode more complex validity conditions. I am still learning these things, but AFAIU the extreme edition of all this is the Calculus of Constructions used in Coq and Lean, where you can encode theorems and algorithm specifications as very complicated type; proving a theorem corresponds to showing an element of the theorem itself (seen as a type), and if you find an element of a type encoding a certain specification, Coq can work out for you a program that implements that specification.

This is what I understood, at least. Things are quite complicated!
> universal access

HAH. Not even close, and not never, probably. That's what people are concerned about.
There is a reality behind the hype. I know, because I've been working on https://github.com/jeff-davis/postgres-extension.rs, and I've hit real problems. Those problems have been resolved one by one over the years.

I can't imagine doing that project it any other language.
It could be that some "egotistical and powerful" people think they can do something more meaningful with the money than the U.S. government would.

I'm reminded of the John Carmack article on Government and Taxes.

"So much of the government just grinds up money, like shoveling cash into a wood chipper."

It's worth reading (sorry can't find a better link, use this link and click to expand the first comment)

https://www.riverdavesplace.com/forums/threads/entreprenuer-...
Energy density of jet fuel is 45MJ/kg. Fuel is a significant portion of the weight on the plane. Requiring a 10x+ increase in fuel weight is a non-starter no matter how light the engines.
Reframing statements as a question is less effective than training yourself to actually ask real questions. If you're 99% convinced that something is wrong, it's no use asking a question like "have you considered not leaving a print statement in the middle of your code?", but if you're only 90% sure then there's already a question you need to ask.

This may or may not be what you suggested, sorry if it's redundant.
I hated it when made to watch it in high school biology class, probably because i hated anything my teachers made me do, but coming back to it years later i was pulled right in.
Um moving from a DB scheme to a DC one is not an improvement
> we don't really even agree on what they mean between individuals.

Individual people can always disagree, but average opinion can be quantified. Take a bunch of pictures, throw them on Tinder and see how many matches they get.

Although for men height is often a bigger factor than small variations in looks. Allow embryo selection for 6'+ sons, that's where the real money will be!
> Everyone tolerates the smell because if they want to show their mom or their grandmother pictures, it's where you do it.

I guess people were sharing pictures with their mom before Facebook.
I'm against nuclear power because current policy doesn't account for the externalities of fuel mining and waste storage. If it's so safe, then reactors should be built in population centers, and the waste should be stored there too. A recent article suggests that it might be possible to transmute waste with lasers, but I am skeptical that it will achieve net-positive energy. Previous discussion:

https://news.ycombinator.com/item?id=21365817

Also dams kill fish, to the point of driving salmon nearly to extinction in the pacific northwest:

https://e360.yale.edu/features/on-the-northwests-snake-river...

Aside from that, I think that your sentiment is correct that we have the technology today to get off fossil fuels.

The trend is that electricity will soon become too cheap to meter (literally, at peak production more energy will flow into the grid than what's used). So the new frontier in renewable energy is storage.

If I had a million dollars, I'd invest in displacement tech like this one:

http://www.summitt.ca/canada-launches-worlds-first-underwate...

There's also great promise in storing excess grid energy in electric car batteries, and in big dumb sodium-sulfur or nickel-iron batteries.

So I think we should put our R&D efforts into energy storage, not nuclear. Not to mention that nuclear is now the most expensive technology. It goes nuclear, coal, natural gas, solar, then wind in descending order:

https://bfnagy.com/clean-electricity/usa-solar-wind-are-less...
Eugenics has pretty strong connotations, but eradicating tay-sachs is also eugenics.

Perhaps it could be thought of as positive & negative eugenics (like positive & negative rights)? E.g. killing people and telling them who they are allowed to marry and whether they can have kids is negative (taking away), while growing embryos free of genetic diseases is positive (giving)?

Just rolling the idea around in my head. Of significance to me, if we had the capability to completely eliminate diseases like tay-sachs in a positive way (e.g. embryo selection), it might be inhumane not to.
> find it quite repellent to have... women in the position of cultural politeness enforcers.

Wait, what? I assume you mean you don't want _anyone_ to be in position of "cultural politeness enforcer"? But by literally saying you don't want women in that position (it only or especially bothers you when it's a woman?)... you seem to be kind of revealing some unappealing things about yourself.
It's one of my favorite movies, too. Frightening but also inspiring at the same time.
in a strict language? I don't think it's possible. Because if you take a better look you'll see that it's not enough to mark functions as sync or async since inside the functions each line of code can be considered a synchronous function in it's own.

What you want is something like Haskell that's lazy and its not about "executing statements" but rather "evaluting expressions".
It's a tiny fraction of global emissions but, if you fly at all, it's probably a pretty substantial chunk of the emissions you're responsible for. Most people just don't fly and don't need to worry about flight emissions at all.
I thought Warren's tax plan was the wealth over $50 million. Meaning that if you were worth $51 million, only one million would be taxed at 2%, meaning $20,000 would be payed.
Strupstup law is relevant here:

"For new features, people insist on LOUD explicit syntax.
For established features, people want terse notation."

fn is fine.
ah, that make sense, I think another user point out that spawning n goroutine does not actually spawn n physical threads but rather queue n task to m thread in the pool, so if we exhaust m thread, n-m task will be blocked.

Thanks for the explanation

I wonder what is the point where each trade off make sense (ie. what is consider heavy computation vs light computation, it probably is related to OS thread allocation time)
Reasonable salaries, benefits and expenses to employees are not classified as a profit distribution. Providing residential accomodation to employees is a fringe benefit. Even providing employees with vacations is a fringe benefit, not a profit distribution.

My brother-in-law works in the construction supply industry. He isn't an owner or stockholder of his employer, he is just one of many non-managerial employees. His employer owns a holiday home and allows the employees to use it for vacation. (They have to apply in advance, and there is some system worked out on how to share it out – I think there is a waiting list, and also more senior people may get some priority.) When he takes his family on vacation to that holiday home, it is not a "return of profit", it is an employee benefit.
That's a strange way to look at it since the corporations have a much better ratio of wins to losses and have to manage profitability.

Regardless, the issue is government spending, not collection. I don't see how aggregating even more money into a few politicians is somehow going to solve anything, or what difference a few billion will make when the country spends trillions.
Being told you're superior to others your whole life has a tendency to do that.
Would we have more startups if Jeff Bezos were a Trillionaire instead of a Billionaire? You need to pay attention to the economics behind this, there is no evidence that people are aiming to earn $7Bn but wouldn't have bothered if they thought they'd only get $1Bn.
The 60 day long-term ephemerides were the older sytem. Autonav on the current GPS satellites is considerably fancier - basically, the satellites carry out ranging measurements between each other and compute their own updated clock and ephemeris solutions on the satellites themselves in a distributed fashion. Specced to provide essentially full accuracy for something like six months, minus ionosphere estimates which can only be measured from the ground.

As far as I can tell, Galileo has nothing like this. They have a small buffer of future ephemeris data, but the ground segment failure here was so long that it completely ran out. Their approach seems to be full accuracy or why even bother.
Those don't actually execute simultaneously in Javascript, though. In Javascript, C# and I suspect Java, each usage of await generates a state machine that can _defer execution_. So while one function is blocked, another can continue to execute. The concept is the same in Rust, except in Rust a nested await does not generate a new state machine. The entire async operation just uses a single state machine.

The reason Rust does this is because its priorities are different than these other languages. Rust is built around zero-cost abstractions because it is intended to be as fast as possible while still safe. That's one of many reasons why Rust is considered a systems language and Javascript is not. They're for different things.

For more on how async in Rust works, I'd invite you to read the actual manual on the subject (linked from the announcement): https://rust-lang.github.io/async-book/06_multiple_futures/0...
This is a distinction that ceased being meaningful 10ish years ago. Even the big management consulting firms run a combination of staff aug and strategy advice on most projects because there are so many more dollars for staff aug and project work than there are for advice.

Yes, there are advice-only consultants and clients looking for that, but "consulting" is a bucket of work that encompasses a lot of different things. Trying to force a distinction is kind of elitist and not really in line with reality.

Source: been consulting for the last 12 years with firms of several sizes and focuses.
The fact is, all "green threads" do is swapping between call stacks and call register sets. The call stack is usually just a register itself. How hard can it be to save a register and restore it later?

> as though there are any such (good) libraries

Win32 Fibers are extremely easy to use (and not deprecated). I used them once, it was a blast. I wrote a simple wrapper around them in less than 50 lines of straightforward code, exposing maybe a struct and 3-4 function calls. Never had any problems.

That makes writing your own little non-preemptive scheduler extremely easy as well. That might be as little as another 50-100 lines of code. So you get a lot of control at almost no price.

POSIX C has swapcontext() / setcontext() which must be pretty similar (although I'm not sure I've ever used it) and if I understand correctly it was only obsoleted due to a syntactical incompatibility with C99 or something like that...

The only problem here is that green threads are a little bit of an awkward computational model in many cases. But that's not a syntax problem.
This is an extremely fucked up process. Can it possibly still work this way at Google, where a reference collected years ago remains on file and a live part of qualification today?

To everyone else: talk to your references about what you want them to say! Don't just ask for a reference and leave it at that. Treat explicit reference checks like the formality that they are; you have no special obligation to present a super true, clear picture of your experience with your reference. Just make sure the reference gets you to "yes".

Serious reference checks usually aren't explicit (like, "give us a list of 3 people for references"), precisely because everyone with career skills knows to coach their references. In fact, because so many references are coached, negative feedback looks especially bad in them.

My favorite part of this story is that a major lesson this hiring manager learned from the process was to groom reference feedback for the offer committee, just further exposing what a farce explicit reference checks are in reality.

Hiring managers: the other big lesson here is, don't do things the way Google does them. It works for Google because there's so much cachet and stability associated with Google that they can afford to randomly turn down qualified applicants. You're unlikely to be in the same situation.
That might just be an example of poorly allocated and more money should go towards special ed.
Who defines excessive? How will this solve disparities by giving more money to the govt to spend poorly?
Not impressed by the claim. With the secret state it's of course trivial to derive a sequence. I wouldn't call that "easy". In most cases this called secure, because the state is a secret.

His own PRNG is of course much weaker, we don't need any state to predict the next number.
This is describing what I've known as "Typed Hungarian notation", and have seen a few times before, though I can't seem to find now.

The original intent of Hungarian notation was to encode metadata into the variable name - for example, "validData = validate(rawData); showValidData(validData)". The idea was that the prefixes would make it just look wrong to the programmer if someone accidentally used mismatched names, such as "showValidData(rawData)", indicating a likely bug.

This notation mutated into the far more simplistic and arguably less useful "prefix with the datatype", such as iFoo indicating Foo is an integer. This mutation became known as Systems Hungarian, while the original became Apps Hungarian.

The suggestion in this post is taking Apps Hungarian, and instead of relying on variable names, encoding it into the type system itself.

The first time I recall seeing something like this suggested was actually in Java, with examples in that blog post involving class attributes:

public String Name;
public String Address;

And creating classes to represent these values, preventing them from being used the wrong way:

public NameType Name;
public AddressType Address;

...which is why I remember this as "Typed Hungarian" - making the language's type system handle the work that a person would normally have to think about in Apps Hungarian.
I worked at Accenture, Avanade, a 100 person consulting company before starting my own with a couple of friends. And pretty much every time the client brought us in they had a pretty good idea what they wanted. Sometimes we'd be able to find problems the customer didn't know they had or solutions they didn't think about but that was almost never the reason for the original engagement.
Democracy. I'm actually fairly happy with how government operates for the most part. If you take issue, get involved. Complaining is free, but not impactful.
Ah Lies dam Lies and pension fund valuations.

One of the problems that caused the decline of DB pensions is the accounting industry decided on such a unlikely scenario that inflated the cost to the employer immensely.

One pension trustee commented that the scenario came true you'd be more concerned about your stockpile of tined goods and shotgun shells than a pension.

So who pays the accountants and who now has a nice excuse to shut down its scheme :-)
How can I give a C++ lambda expression more than one operator()?