skysight-inc/HackerNews huggingface dataset:
For what it's worth, LLVM would have made precise moving GC hard. (Though Go 6g/8g still doesn't have moving GC, which is unfortunate.) For that reason, I'm not certain that LLVM would have been the best decision in the long term, though it would have made Go code faster in the short term.

In my view, if Cranelift had been around when Go was announced, it would have been the clear best choice over LLVM, due to compile times and relative simplicity allowing for easy modifications to add things like precise moving GC and moving stacks.
I'm a real fanboy of SpaceX but, yes, you're absolutely right.
I don't remember the specifics of it, and maybe there were added restrictions, but I do remember working it out to be O(nlog n). Not something I've thought about in a long time.
This just fell off from the main page, and is nowhere to be seen in the second or third or anywhere else but "new". Is this normal behavior or did it get soft-flagged or something?
It's notable, that Coq has more libraries and useful extensions. And they merged Ltac2 into the master, so tactics writing should be better soon.
Why is spacex trying to show you ads?
There is no need for slippery slopes or hypotheticals. All physical advertising platforms have policies against discrimination for job ads and rentals. Newspapers have had stricter requirements for those two areas for years and there are specific laws governing them. Just because it is “on the internet” doesn’t change anything.

Yes you can advertise jobs in Ebony or Cosmopolitan. There is nothing stopping a non Black or man from picking up those magazines.
The attack where you implant some kind of backdoor to capture the data is possible even without this exploit, it just makes it easier.
We discovered/developed a suite of side channels that let us indirectly read iOS system state from inside the sandbox. There are many different checks across unknown deviations, known jailbreak files and utilities, and runtime behaviors that help us narrow down whether your phone has been modified. It's not perfect, but it's the best you can do from within the Apple App sandbox.
My Dad tried to teach me to weld. It definitely takes a lot of practices to be average at it.

Somehow my Dad managed to swipe that thing around like he was painting or something. It was impressive.
Elmish.Bridge: Create client-server Fable-Elmish apps keeping a single mindset
How was streaming development of the game? Are you concerned about your source being visible? Or feeling like you are being watched or judged while coding? When did you start streaming development? I'm worried my side project is too early in development to stream... Did you end up having to spend a bunch of time making extra stuff for your audience, like the faq you linked?
I'm shocked that I'm the last person to know this. I didn't know I could be more impressed with him.
Thousands of ships fitted with ‘cheat devices’ to divert pollution into sea
I'd watch a Bob Ross of welding if that channel existed.
But he apparently did consent, and just doesn't remember doing so.
Safe – End-to-End, Functional-First Stack for Cloud-Ready Web Development
There is no might there are specific laws governing advertising when it comes to jobs and housing that don’t apply to other areas.
I'm a person who likes writing in "29 September" format, which apparently suggests that I'm an intelligence officer (when actually I'm neither of those).
I don't think most of this applies only to "poor programmers".

The advice about KISS is something many "good" programmers would benefit from following. Likewise, I've seen good programmers recommend using arrays as your first attempt at a data structure as well (e.g. Jonathan Blow, https://www.youtube.com/watch?v=JjDsP5n2kSM )
Cool idea, and nice looking site as well! Really neat on mobile.
Even if happiness is ephemeral, it’s worth pursuing. It’s something you can really only recognize through contrast with unhappy states.

To me the best kind of happiness is tinged with the sadness of knowing that it won’t last.
It's been almost a week, and your parent poster still hasn't presented any citations... I'm beginning to suspect that there might not be any...
I generally believe that the default reaction to a news story should be "it might be true, it might not". The ratio depends on the claim and the evidence. This is an extraordinary claim with mediocre-to-weak evidence, so I'm on the "unlikely to be true" side, but it's hardly an impossible story.

The story is essentially that there was a breakthrough in an effort that everyone in the world is pursuing (hardware supply chain attacks) and then everyone involved behaved as you'd expect them to behave (secretive at first and then defensively once the secret was out). While I don't expect people to believe it, I do expect some evidence if you're going to call it bullshit.
> Source? The rapid growth of npm, rubygems, and other ecosystems suggests otherwise.

Probably referring to the dependency hell that can occur. Things work great when you first choose your libraries, but then months or years later while maintaining code you find x feature is deprecated or lib y no longer plays nicely with lib z or lib a is dependent on lib b version 2 and lib c needs lib b to be version 3, etc.
It doesn’t matter if it is fair or not. It is specifically illegal to discriminate in advertising for housing and jobs.
If the market were efficient the new price would be somewhere in the middle. Is this what happened in the UK? I don’t know.
Correct, thats important. Might be quite different from my experience
NAND or NOR preference is due to the underlying transistor technology. NPN transistors (with electron majority carriers) tend to be stronger than PNP types (with hole majority carriers) at comparable sizes. In the beginning we had mostly bipolar processes, where we used NPN transistors in parallel to pull down the output and pull-ups were simply resistors. NOR gate was the natural configuration efficiency/cost wise. Later CMOS processes came along and we no longer use resistors for pull-ups (which tremendously reduces the quiescent current and makes CMOS perfect for digital logic). With CMOS it makes more sense to use the weaker PMOS (PNP) transistors in parallel for pull up and use the stronger NMOS (NPN) transistors in series for pull down and the natural configuration is the NAND gate.
Well if arguments by reduction are on the table then "learning" is just a fancy way to say "complex chemical process in the hippocampus that we don't understand that well".
Free (Robot) Hugs an Embracing Multimodal Dataset
I agree that probably there are underlying issues, and I enthusiastically recommend congnitive-behavioral therapy.

But I also think it's the porn, that it's chemical, just like alcohol. Sex releases oxytocin, which is a bonding agent with whatever you happen to be looking at.

> Whatever you do, avoid twelve-step programs. There's almost no evidence for their efficacy, and the success rate is no more than %10.

I would say that every member of AA who has been sober for years is evidence for the efficacy. And if the success rate is around 10%, that is unsurprising, given that attendance is voluntary and they are struggling against a very strong feeling.
OK, maybe arbitrary isn't exactly the right word. I meant that there's no indisputable link between ethics/morality and law.

You say that they "were passed in response to actual and widespread discriminatory behavior". That's true. But they wouldn't have been passed, notwithstanding discrimination, without enough political support (of one sort or another).

I mean, there's also been discrimination in health insurance rates based on preexisting conditions. And gender-based discrimination in vehicle insurance rates. The Affordable Care Act more-or-less restricted the first. But the second is still the norm in the US.
Anything electronic connected via the lightening port has physical access for example: a charger. A charger could be programmed to let a device in a low battery state to run the rest of the way down to empty to cause a reboot before starting to recharge. Not undetectable. But typical users would probably assume user error or a faulty charger before suspecting malware.
Does this only apply to the Swiss government, or is Facebook sharing any pictures that hit their filters with law enforcement agencies of whatever country you happen to be living in?
I’ve learned that unless I’m learning new skills my mind creates issues for me.
Learning to dance, play an instrument, draw, sing — with no desire to become close to exceptional in any of them has benefited me in ways I couldn’t imagine.
Just 1% better every month (although I don’t track it) in a relaxed manner, over time, without investing too much time (5 minutes every few days) is enough to make life fun. In the end all these various “unrelated” skills tend to link up.
YMMV
I went to “elite” schools and anything less than 100% was deemed failure. So wrong.
This reminds me of my favorite joke algorithm, sleepsort[0]. A trivial implementation looks like this:

#!/bin/bash
for int in $@; do # input must be a list of positive integers
(sleep $int; echo $int) &
done; wait

I'm not quite sure how to describe it in terms of big O notation.

[0] https://rosettacode.org/wiki/Sorting_algorithms/Sleep_sort
Completely agree. The developer account is a great way to disincentive malicious apps from being made. I would accept the following for not supporting MacOS:

* lack of vulkan support
* porting code to the apple SDK
* cost/benefit for small indie titles

pointing out how many people logged bugs doesn't mean that the OS is buggy. it simply means you've written shitty code. Another odd point with OP is that he's made the effort to start supporting it. Dropping support is always more expensive than simply fixing some issues, as you've already made the investment.

Most developers seem to have rational decisions behind their support. This post seems like they're jumping on the Apple hate bandwagon.
https://en.wikipedia.org/wiki/Scott_Manley
Prior discussion:

https://news.ycombinator.com/item?id=21099996
Um.. I think most luxury goods stores are in inner cities.
This will delight the one person in ten thousand who wants to jailbreak their own phone, and the border police in Australia (mandatory scans of phone required on demand), or China, or stalkerware retailers, or repair shops who like to rat around on customers' phones.

Guess which will be the more common use?
This is true. It's based on country of birth.
> from what I can tell Starship is just a bigger version of the Falcon 9 second stage

I know I'm piling on here with this quote but I just don't understand why you'd say this if you'd done the least amount of research. They are about as different as two rockets can be—do you think Starship is "just a bigger version" because it's an upper stage? Because it's built by the same company? Its design and (theoretical, until it flies) capabilities are radically different and expanded relative to F9 stage 2.
This is limited: what about all the people who like the unique community that formed on anonymous imageboards? There's no posturing or attempts to build a reputation. You just throw out your piece and it stands alone.
That he turns out to be a scumbag seems orthogonal to his compensation. He would have gotten that money if he had delivered, no?

That said, my exiting salary at some companies was dramatically higher than my salary when I joined because the stock had appreciated and so had my compensation. And if someone wants to hire me away that's the compensation they have to deal with, not my initial comp.
They are linear in order – from the top. The final step is simply reformatting the results.
Are you actually equating placing ads for makeup or intimates with placing ads for a job? You are the very definition of the problem.
And Voters should care if their elected legislators permit injustices to remain technically legal
You can't post like this here, regardless of how wrong another comment is. In addition to contributing to destroying this place, it discredits what you're saying—which if your position is correct, means that you discredit the truth. That's a bad thing to do to the truth. So please don't comment like this on HN.

https://news.ycombinator.com/newsguidelines.html

Edit: it unfortunately turns out the you've been breaking the site guidelines egregiously and repeatedly. As you know, we ban accounts for doing that. Would you mind just reviewing them and taking the spirit of the site to heart, so we don't have to ban you? It's not hard to use HN as intended if you want to.
It can be “which laws allow it” and the person answered that.
How do you order a lab test on your own?
Forever 21, Which Helped Popularize Fast Fashion, to File for Bankruptcy
Because there is no specific law that bans charging men and women different prices for car insurance. There are specific laws regarding discriminatory advertising with employment and housing.
By all accounts, chattel slavery was extremely cost effective. Is that all that matters?
Unless you live in a high cost area, sounds high to me. Quotes I have seen are below $3/watt.
Makes sense given how they try and spin this is only good for pirates (and researchers), because they would be the only ones who would like a jailbroken device.
The author did not do a good job of spelling out the differences in the two types of happiness. In fact, she didn't even address them by their proper names (hedonic and eudaimonic). Identifying the two and really digging in on their differences would probably have made for a more interesting article - and certainly a more enlightening one. Just saying "people are unhappy, don't confuse unhappy with unjoyful" isn't enough. (Spoiler alert: people think they want hedonic when what they're really seeking is eudaimonic.)

We're driven to hedonic happiness to which the article loosely alludes just by having stuff and labels that say to be happy. While short term satisfactory it does nothing for people long term. Eudaimonic happiness is a deeper, almost stoic-like approach to happiness. It involves being a part of something that has potential of outlasting the individual. From my experience it took a while to get to this point and understanding the real differences and putting into practices the ceremonies that go with it.

One little trick that I learned a while back: never say "I have to" when you can say "I get to". For example it's not "I have to help a friend move" it's "I get to help a friend move". It turned from a chore to a treat - and it is a treat because I get to spend time with my friend. Yeah, it's hot, physically exhausting, and all you get at the end of the day is pizza and beer, but at the end of the day _you get pizza and beer_ which is better than 99% of the rest of the world. It may sound kitchy (spelling?) but it works.
For the first few decades after WWII, the rocket and space industry was run by brilliant engineers. After Apollo it got taken over by mba's and political types, and basically stagnated. That is why you have SLS which is actually inferior to Saturn V.

But then Musk took over and once again a brilliant, innovative engineer was in charge, and so we are back to making real progress in space travel.

By the way, I am not talking about the space probe designers. They have been brilliant, and have produce an astounding series of scientific advances. But the rocket industry has stagnated.
I'm not an expert but it seems like whatever symbolic reasoning humans have is pretty rudimentary anyways compared to what we're doing on computers already, so I could see the union being very powerful.
Man Free of Sickle Cell After Gene Therapy
6. Be aware that most coding advice is bad. Think about whether there is empirical evidence that a given piece of advice is true.
I'm no rocket scientist, so bear that in mind, but something has been bugging me about the flight paths for this vehicle [0]. It has to make some very large, specific orientation changes several times during descent, using the heat shield on one side of the vehicle, and then only rotating to upright orientation in the lower atmosphere, after quite a lot of falling sideways. The orientation maneuvers seem much more complicated than their current booster re-entry flight paths [1]. and even more complex than the space shuttle [2].

[0] https://www.youtube.com/watch?v=LQTnWEHl5qU

[1] https://www.youtube.com/watch?v=6YyV-otP3pI

[2] https://www.youtube.com/watch?&v=TOieURpnbm0

This appears to me to make each flight much more complicated to pull off, introducing more points for it to fail without contingencies, and it makes me nervous. But, again, I am an just an unenlightened observer from an unrelated field. I don't even play Kerbal Space Program! I'm sure they've weighed a million different options and their risks, and have arrived at this one after a lot of thinking, but it has been bugging me. The stainless steel construction certainly looks beautiful out there in Texas.
> If you're using DC to transmit the same amount of power, you'll probably be using similar voltages (otherwise you're going to need thicker cables).

A good point - I guess I'm mostly thinking about the volume of things in the house that don't really need access to even a fraction of the 2.4kW available; having moved from incandescent bulbs to LEDs, I've got a bunch of unnecessary power supply and per-bulb transformers, for example.
Not if they are a professional juggler.
Any process that attempts to “solve” the technical skills verification problem will not work unless it replaces the technical portion of the on-site interview. Otherwise, companies can still reject based on technical assessments in which case you’ve solved nothing. You’ve simply changed the shape of the hiring funnel.

Also, looking beyond the immediate need, companies would also need to understand that this only applies to very specific positions. You shouldn’t apply this to entry level, nor should you apply this to positions where the employee is expected to adapt quickly to changing tech stacks. What this leaves you with is contracting. You hire experts with a very specific skillset that you need that is verified by an agency. For everything else, there is still not a good generic solution.
However that is in part because employers have been historically hesitant to employ them (and clearly if they are not advising to women then the will not be getting employment) this creates a self supporting feedback loop.

Part of employment law is to break this loop.
Even if WeWork is in trouble the office is still being reinvented
The benefits of standing up to high temperatures are important for reusable rockets that need to land (the heating happens on the way down, not on the way up). If you're not going to land, aluminum-lithium like Falcon 9 is better.
How would such an attack (without this exploit) be pulled off?
Nice work. Added to Favourites.
I’ve been in a rut lately. Missing obvious things, shipping less than my best code. It’s come to my attention that I’m not as good at programming as I am at crafting database queries and tuning them but that’s such a small niche given how easy it is to pick up SQL that I’m having an existential crisis.

So I’m working on getting better and getting more confident.
> there are ways to find you based on that and it won't matter what your gender or age is.

For the higher paying specialized jobs, it’s called a network. But networking is even more biased than formal recruiting approaches.
A couple of years ago I picked up a TRS-80 Color Computer 2 for $5. Came in the original box with all accessories including joysticks, branded tape unit, etc.

https://i.imgur.com/vdltZgl.jpg
I'm building something to change this.

I'm addressing 1 by building time into the core of the product. I have a first-class 'timeline' model, and they span multiple years.

I'm addressing 2 by selling direct to consumers. This will be hard but I agree that 2 is a big problem and so I must start by avoiding it.

3 I'm not really solving. I'm just going to initially target highly motivated people where there's a clear reward for their hard work. Eg. tech students and med students.
In an interview Musk said there is this strange rule that no matter what you make the schedule, it takes twice as long, so what makes the most sense is to just set it unreasonably short, and then it will take longer, but be as fast as possible.
Except in this case the main contingency was stealing Waymo's IP, and it's fairly well-established at this point that both parties were aware that the transfer of knowledge would be illegal. So he couldn't have delivered it without being a scumbag, since only a scumbag would try to steal it.

Anyway this is all a digression away from the fact that you are wildly misrepresenting salaries. You're also ignoring the two companies he sold to Google as part of his compensation. If you're interested you should google a bit about 510 Systems because the history is actually interesting, especially with the added knowledge of the founder becoming a total scumbag.
Probably depends what you're doing with it, physically, but if you were running insertion sort manually it'd be very intuitive to do something like binary search to find the correct insertion point. That would make it O(n lg n).
like college?
There world is so much bigger than the "Big 5". Especially if you don't live & work in the Bay area. Sure, maybe some other companies don't pay as much, but it's absolutely possible to work as a developer without dealing with that kind of nonsense. But maybe it means working for an insurance company, or a bank, or a furniture manufacturing company, or something "non sexy". But the choice does exist.
If it were the default state would people find it so hard to attain? It's hard not to want things, to not believe that there's just one more thing that could make things better. If it were simple it wouldn't be the core basis of so many religions.
Improving Fine-Grained Entity Typing with Entity Linking
Hmm, I think it could be either, depending on whether leadership viewed the author as incompetent. If leadership viewed the author as incompetent, it's the Dilbert Principle. If leadership viewed the author as competent, it's the Peter Principle.
I friend of mine recently moved from Windows to Mint (Linux). Reckons it's great.
Elon Musk said 5% of SpaceX was working on Starship and that the hardware for crew would be ready this year (in interview to CNN after the QA he said October for in flight abort and November for DM-2).
> Automatically attesting keys with no user consent? Not good.

Yeah. That's why Keybase doesn't. The app tells you exactly what you're doing, and requires you to confirm you want to do it. It even has a scary warning about cryptocurrencies.
It is going to be interesting to see what happens to SLS once SS/SH starts flying. I am guessing there is going to be big public campaign for NASA to cancel SLS and go with the SpaceX craft.
NYT used to be a really good paper though.

I thought it was supposed to be this amazing intellectual, philosophical, humanistic thing spreading the courageous word of the truth to unwoked. These people were supposed to be focusing on what we have in common and building common ground.

Fundamentally, the formula of news in 2019 is like this (working on the this):

Create a topic that ignores basic human need that everyone struggles with (housing, school, paying bills, romantic life, family, etc), then imply something less urgent needs priority - oh, and only an arbitrary subset of people have problems. We need to reshape society now, after all, everyone else has an easy life.

Deprive people the validation of even having their needs recognized, even in the title itself. It insults men, women, young, old, of all situations equally :) Except if you use private mode.
You can replace the hand with any device that holds the spaghetti. This really is an O(n) algorithm.

Spaghetti sort seems to be an analogue variant of radix sort.