skysight-inc/HackerNews huggingface dataset:
> we know for a fact that we are getting gravity wrong

This statement is way, way too strong. We have a theory of gravity, General Relativity, which has had its predictions confirmed by countless experiments, in some cases to thirteen or fourteen decimal places. That is not "getting it wrong".

Many physicists believe that GR, as well confirmed as it is, can't be the final fundamental theory of gravity because it's not a quantum theory. But nobody has yet found a quantum theory of gravity that (a) is consistent with the rest of quantum mechanics, and (b) makes experimental predictions that have been confirmed. Unless and until both (a) and (b) are done, the claim that we are "getting it wrong", even in the restricted sense of not having a final fundamental theory of gravity, because GR isn't a quantum theory is just speculation and might itself be wrong. It should certainly not be stated with the confidence you are stating it.
Contentful to Figma Plugin
I wish people would focus on accidental bloat instead of accidental complexity.
Life anywhere outside our planet would definitely be a big deal. Mars makes a good candidate to at least find traces of past life there
Lisp doesn't have more grouping characters than other languages. The primary difference is that it consistently uses prefix notation, so the cursor always immediately goes inside the parens, rather than needing to type one part of an expression (the function name) outside of it first. That's what modes like paredit help with.

Programmers in languages like Ruby (optional parens for method calls) and Tcl (no parens for proc calls) might agree with you! Why does virtually every language require parens, when they're not needed? At least with Lisp, they serve a necessary purpose.

Another one: almost every language uses commas to separate items in a list, including function arguments. In the vast majority of cases, the commas are useless. Lisp doesn't use commas to separate elements (though Clojure allows them if that's your druthers). Why can't I say f(x y) or [3 4 5] in, say, Python? There's nothing else it could possibly mean.
Let me preface my comment by mentioning something which shouldn't matter but this news requires it - I am brown. This is one of the stupidest things I have seen come out of the people who think force diversity is a good thing.

Why can't we simply treat people by their character and merit instead of things like race, sex or sexual orientation when those things have nothing to do with whether you can run a business or not? This rule is the definition of racism and sexism. Also how exactly do they plan on figuring out whether someone is straight or not?

As a brown immigrant, I have seen a lot more racism towards white people than others.

“I have a dream that my four little children will one day live in a nation where they will not be judged by the color of their skin but by the content of their character.” ― Martin Luther King Jr. 1963
Build servers are down, and you can’t build it locally.
Don't trust PIA, verify yourself (and read the comments above).
> you want to know what your old classmates are up to and what interests them

Honestly, no I don't.
Are you making a good faith argument here?

Not giving the mob on the internet an easy way to brigade your office with the twitter outrage of the moment seems to be a very appropriate position to hold. It also means that for everyone willing to put in the smallest amount of effort, you can actually address their concerns.

This is itself an example of a mob outrage moment. As mentioned in another thread, this guy has been an MP since '97. No one cares and we're manufacturing outrage for nothing.
I'm thinking of this in the context of being an employer. As in, if you're going to hire people to be moderators, you can't destroy them as human beings.

If platform companies are responsible for the content on them, and they are hiring (even indirectly) people to moderate the content, and that content harms the moderators, then the company should be responsible for their care. Like, workplace disability, basically.
I totally know what you mean. I have a couple of boxes of stuff like this, where everything has a meaning. I try to cycle my shelf with the random things.

(I thought I was the only person who did this :) )
If it supports the languages you use, deepl.com is as good or better than Google Translate these days.
This has happened to us many times and we now do the same for remote interviews. No video? No interview. And even then, if you do great in the video we fly you in for an in person interview just to be sure. There's clearly a market for stand-in phone interviewers. I can't imagine that jobs acquired this way ever last, but that doesn't stop people from trying.
Maybe, but not in this case. Youtube reportedly pays moderators an annual salary of $37k [1] and Glassdoor reports the average content moderator salary is $45k. The US Health and Human Services put those salaries between 3 and 4 times that of the poverty guideline for a single person.

This poverty guideline describes the bottom 12% of the US population. The Youtube salary describes the middle 33%.

In the referenced Youtube article, the man "worries that he will not be able to find another job that pays as well as this one does". Not that he worries he will be "forced to live in poverty".

[1] https://www.theverge.com/2019/12/16/21021005/
Ask HN: Is Powershell Any Good on Linux?
I just found Powershell in my distro's package manager. I was turned off to it for awhile (some of the Weird-Syntax made me uneasy)--but from what I've been told it's both better than batch (low bar), but also just pretty good as a scripting language. Thoughts?
They know if you have a Y chromosome, so they know which half.
For people on a mobile device:

> TLDR:

> the holographic principle allows physicists to study gravitational systems by projecting them on a boundary

> proved that symmetry is not possible in a gravitational theory if it obeys the holographic principle.

> meaning that symmetry would not be possible in quantum gravity.
Mirage is a staple of Ember development. It's one of those things I didn't realize I was missing until I learned it, and now I can't imagine not using it(at least in early development). I kinda didn't realize I could use it outside of Ember CLI, so this is pretty cool.
Housemade: The science and beauty of cooking in a wok
This illogical talk is because of "Thinking, Fast and Slow", Chapter 4, which Daniel Kahneman has since questioned.

http://www.decisionsciencenews.com/2012/10/05/kahneman-on-th...

USCSB has great work place accident round ups (CGI, no gore). Of course Expertise is what makes the workplace safer, it has no dark side.

Here's Murphy's law (If it's possible for it to happen, given enough time it will, so don't allow it to physically happen wherever possible over processes)

https://www.youtube.com/watch?v=Tflm9mttAAI
> Good engineering managers, like good staff-level engineers, will generally receive multiple solicitations a week to please come work for some company or another.

Right. And we rightfully know most of these offers are full of shit. Newsflash: No good job is offered cold or out of the blue.

> Notice how the author considered it "entirely believable" that the candidate would have disabled his Linkedin profile due to recruiter spam; people at the level he was claiming really can get recruited so much that they need specific strategies to deal with it.

You can disable this type of spam. Nuking/disabling your LinkedIN profile is very extreme. It will make me throw a red flag on you immediately. Want to indict me? I don't care - you're not my target hire.
Is it loud enough? Tiles are supposed to be detectable at up to 300 feet, but that's less useful if you can't actually hear it.

I don't actually know the specs they use for that. I just figured that it would take a few watts to be heard at distances over tens of feet.
I don't think the emergency radio analogy makes much sense since Twitter's value is more than just reading tweets. It can be used for initiating and participating in discussions.
Energy sources like coal undoubtedly reduce the quality of life of individuals near the energy source more than nuclear.
This comment is deeply misleading. O'Hearn's incorrectness logic that you cite in your [1] is perfectly sound. It just changes the meaning of Hoare triples from over-approximation to under-approximation. In brief:

- Hoare logic soundly over-approximates

- Incorrectness logic soundly under-approximates

Sound under-approximation is extremely useful when you want to prove that a certain problem must arise in code, rather than may arise. The problem with logic based program verification has often been that your prover could not prove that a program was correct, but, due to over-approximation of traditional Hoare logic, the best you could learn from this failure was (simplifying a great deal) that something may go wrong. That is not particularly useful in practise, since often this is a false alert.
Perhaps he should publish his cell phone so he can get incoming text messages from all of us? Or maybe he just needs a FB live account going 24/7 so we can quickly voice or opinion and get a direct response?

This policy of his is so mundane and acceptable, I'm flabbergasted that anyone is pushing back.

It's even harder to argue against when you see that he's been an MP since '97 and keeps getting elected!
And it demonstrates that the design allowed bug fixes while the rover is on another planet. I view this as big success for the engineering. They did a great job. It’s more important to have the ability to fix bugs than avoiding bugs.
The French Revolution came after the American one didn't it?
Are they also getting rid of VOR for navigation?

https://en.wikipedia.org/wiki/VHF_omnidirectional_range

(Sorry, paywall is blocking me)
Or option 3: they don't go to real hospitals, use perscription medicine, or see real doctors.
How is data underrated? Everything is data. Data is the primary asset of most technology companies.
One example would be anything called a "validation framework", hand rolled or as a library. They add so much complication for something easily handled by a validate function and a bunch of linear if statements in the "not clever" version.

One I deal with at work is someone trying to be "clever" and coming up with some annotation based tool to automatically serialize and deserialize objects to a third party system. It's got complex class heirarchies, interception points, etc and I regularly have to crawl through this code. The "not clever" way would be a function that translates the objects to the very simple csv format. In fact I've done that to test interacting with it and when the bash version is simpler to read than the c# version you know it's over complicated.

Another frequent one is "this code is repeated, better move it to a function", problem is you then need to make a change and you have to go through every code path to check it's relevency or add optional parameters, then next time it needs to change you have to check all code paths and inspect which ones are using which paramters. The "not clever" way is to leave the repetitive code, this can have it's own downsides like fixing one place and missing another, but those are much easier to deal with.

Basically use the least level of abstraction that can reasonably get the job done. Your php example probably could have used a little more abstraction like functions and structures but most "enterprisy" code I see could use a lot less.
> Temperature – physically stable at 750 °C.

Yep, I'd like to see a source on this.
>I feel like the "dropping your equipment" is a part of this. You need to know the right tool for the right job, and sometimes doing the same thing for years might lead you down the wrong path.

This happened at my last job. The company I worked for hadn't really changed their methods for about 7 years. Jobs went slow, we worked ridiculous amounts of overtime and mistakes were a regular part of the job. Over the years I worked there, I went through everything, replaced a few processes, convinced the owner to get newer more efficent tools and in the end, cut down the amount of overtime we worked to almost nothing, reduced actual human operater times on our machines from about 2-3 hours per run to 20 minutes, and reduced mistakes and error from once a week or so to once in a blue moon.

The thing is, I didn't do anything amazing or groundbreaking, they could have been operating that way for longer, they'd just found something that had worked and never bothered to try and improve their system. I was left alone for a few years and given free reign to do pretty much whatever I wanted, I got sick of being overworked, so I started figuring out and changing whatever I could to make things quicker, easier and better and it really didn't take much in the end to make a drastic improvement.
WhatsApp is second after that :)
dv/dt #7 == g for over 100 ft (according to NIST)

There is a ~40min video in my profile that is just footage from the day and mainstream technical talks afterwards.

CB hacks: https://news.ycombinator.com/item?id=21057230
I was under the impression that google ignores quotes, atleast that was my experience starting years ago before I switched to DDG.

Maybe they changed that stance at some point?
most countries dont engage in foreign policy that involves invading and murdering millions of civilians.
I’d do the complete opposite. Instead of using mapping and filters I’d prefer for loops.
Thanks for this. I've tried telnet and web-based variants over the years since with mixed results, looking forward to this.

Trade Wars 2002, Legend of the Red Dragon, and running a WildCat! BBS kickstarted my interest in computers and programming in middle school. Never got into video games later in life but look back fondly on the days of staying up late playing 90s-era door games with people that lived in my area.
Existentialism Crash Course
there's no reason the Great Filter couldn't be both ahead and behind us.

- Life on planets with fossil fuels available advances to an industrial phase and dies off either from nuclear war or global warming

- Life on planets without fossil fuels never advances to even the iron age.
It's one of the situations where registry lock is a useful tool with appropriate trade offs. It's far from the only one.
Fair point. Maybe radio in general is a better model. Some people use it to have conversations with friends, and some people use it to listen to the emergency channel.

It still means that cutting it out of your life won’t doom you to missing important information.
I'm not sure why you're including BASIC in with the dynamic languages -- in its classic microcomputer form, it's pretty well limited to int or float, and string, and arrays of those things. When you make a variable, you always define it's type (A is a double, but A$ is a string).

Some versions are a little bit richer in that you can have both ints AND doubles (woot, woot!).
By not actually making the call but assigning it to their sibling or their friend, duh. "Phone interviews", so no video.
...on another planet
RGB/XYZ Conversion Matrix Accuracy
Wasm is the most transformative tech to come along since Linux.
Yes, I use IRC and Usenet; I suggest these and also Unusenet (which, like Usenet, is based on NNTP and can be used with NNTP software). Search is the only function of Google that I use, although I do not need to make searches on Google much. Sometimes I find what I want on Wikipedia, sometimes in local documentations (in man pages and so on), sometimes bookmarked stuff, etc. So, I do not need the Google search so much, but sometimes it is helpful (and sometimes it is worthless; I try to find something but whether I try Google or DuckDuckGo, I cannot find any).
I actually think that Apocalypse is the weakest of the main DLCs. Other than the Cololsi there aren't really any big features in it. Synthetic Dawn is mandatory if you want to play as a machine empire (which are THE meta right now.)

TBH other than Utopia all the "big" Stellaris DLCs have felt rather lackluster to me. I'd much rather have Distant Stars or Ancient Relics or even the Lithoids species pack than Apocalypse or Megacorp. Of course I've bought them all except for the Humaniods pack anyway on sale because I absolutely love Stellaris and have put a massive amount of time into it. Even with all of its flaws and quirks it and KSP are still my favorite PC games.
https://en.m.wikipedia.org/wiki/Silicone

Silicones exhibit many useful characteristics, including:[1]

>Low thermal conductivity

>Low chemical reactivity

>Low toxicity

>Thermal stability (constancy of properties over a wide temperature range of −100 to 250 °C).

>The ability to repel water and form watertight seals.
Does not stick to many substrates, but adheres very well to others, e.g. glass.

>Does not support microbiological growth.

>Resistance to oxygen, ozone, and ultraviolet (UV) light. This property has led to widespread use of silicones in the construction industry (e.g. coatings, fire protection, glazing seals) and the automotive industry (external gaskets, external trim).
An interesting question is also why the universe has any kind of structure and is not uniform.
Shows how important the American one seems in Europe, I suppose.
Before IMAP, people stored their own mailboxes locally. I imagine you'd just build local search indexes like Thunderbird back in the day.
Just from a perspective of it explaining what the tool does. I am trying to take an approach like optimizely, but really just doing it off my gut feeling mixed with site visit analytics.
Yeah, the computer merely simulates violet by mixing a kind of purple that looks just like violet.

As far as I understand (I'm no expert, I just read this somewhere), red cones also fire for extremely blue (violet) photons. No idea why. Maybe it's blue light of exactly double the frequency of red light?

My guess would be it's accidental, but I truly don't know. It might be interesting to test if animals with different kinds of cones (like butterflies) also have a similar effect for some of their cones. Though of course we'll never be able to imagine the colors they see. We're colorblind compared to them.
better scalability than
deductive

This is misleading. There are two notions of scalability:

- Scalable to large code bases.

- Scalable to deep properties.

Deductive methods are currently the only ones that scale to deep properties. Model checking et al are currently the much better at scaling to large code bases. Note however two things: First, Facebook's infer tool which scales quite well to large code bases, is partly based on deductive methods. Secondly, and most importantly, under the hood in most current approaches, SAT/SMT solvers do much of the heavy lifting. Existing SAT/SMT solvers are invariably based on DPLL, i.e. resolution, i.e. a deductive method.
I went from zero coding skills to data scientist in 6 months
You're right, I just meant the lexical closure syntax (..) => (giving a clear fp feel to the language by promoting closure syntactically). and this is part of a wide move from all dyn langs to lift fp features like destructuring. es6 was just one tiny point that I had in mind when commenting above.

btw I love sml. I'm just being realist about it's mainstream existence.

Lastly, it's as if you consider haskell as proof of concept and nothing more. I don't see any real hurdles why haskell is less practical than typescript (except the fact that TS relies on the years of js project they can compile and interop with)
Real time sucks, but I'll have to at least check it out.
OTOH, email is vastly easier to automate and swamp your resources than phone calls, and so forth.

I also don't find the argument that people can't find a phone to call, but can email to hold much water. My bank is allowed to refuse to take $1k in pennies, there are often good reasons for limitations due to abuse.
I think they're implying that someone else took the phone interview for them.
Why? It's about threat models.
CareRev (YC S16) Is Hiring a SaaS Implementation Manager (Hospital), Midwest
We may be losing privacy, but whether we're losing power and freedom is another thing.

It's important to accept a changing world. Luddites have railed against 'immoral' new technologies that will cause the end of the world, time and time again.

This adjustment is going to be hard. I believe privacy is a fundamental human right.

But if technology makes this concept obsolete, then we must adapt.

We may have to change our tune to defending radical acceptance of difference and fighting against thought policing and over-policing of divergent human behaviour - not the mere detection of it. Without the freedom for such creativity and normal humanness, we are doomed.
That's a good question. I'm going to try first with Hetzner and measure latencies from different places; if this becomes an issue, I'll definitely consider complementing the infrastructure from elsewhere. But I'd rather start simple.

I currently run a web service from North American servers and the performance here in Europe is quite good. I think this experience - very, very limited - gives me confidence that the wires across the world are good enough, provided your data center is close to the main pipes.
> they give me a bunch of meaningless phrases.

Because you are asking a meaningless question. Firstly, they are no experts on their competitors. Secondly, how can anyone even be, unless they have used all of them for a long time? Who can do that comparison??
Don't forget the H1N1 influenza break of 1977. It first appeared in China and is genetically identical to the strains of 1957, while the wild influenza usually mutates year after year. The best explanation is an accidental leak from a Chinese laboratory.
Would would hope that a big service like Twitter has checks and balances in place so no "lower level dev" can add whatever they feel like to the production service.
This is kind of like the idea that the poor person who gave their last $10 is doing more than the rich person giving $10k/month sustainably.

it's ethics vs being _effective_ in the practical reality we live in.
I see accidental complexity every time I step the debugger into library code. That’s where it’s hiding. In the internal and external impedance mismatches of library code.

I had to step into papi the other day. Most Node libraries for http have been designed by someone who loathes code duplication so much that they don’t care if the user-baby goes out with the code duplication bathwater.

I pray for a day where code is measured not by lines of code or code coverage but by call stack metrics.
You don't need a "filesystem as a service" but if you were one of the few people who did and you saw "full stack adaptive delivery" there's a big chance you're not going to read any further.

Let's say 50% of people actually read past the tagline. People like you might read a bit further and realize they don't need it anyway. People who do need it might not read further though and you'd lose that sale.
Intel Fourth Quarter 2019 Financial Results
You can just switch from "Home" to "Latest Tweets" and all of this goes away.