skysight-inc/HackerNews huggingface dataset:
I think it's a shame that you're being downvoted for nothing more than expressing a reasonable, albeit apparently unpopular, opinion.

For plenty of us, AndrewKemendo is right... learning that there is life on Mars would not answer any particularly fundamental questions. Maybe because a lot of people simply take it as a given that life exists on other planets (whether or not Mars is one of them isn't really a big issue) because they don't have the hubris to believe that there's anything so special about Earth as to believe that life could only emerge here.

Frankly, you can count me in that crowd. I'd be more surprised if it was somehow proven that there isn't life anywhere else.

To me, "fundamental questions" would be more like:

1. Is free will possible? If so, how?

2. How did the universe begin? If there was a "Big Bang" as popularly described, where did all the matter come from that expanded out of the initial singularity? If time did not exist before the universe began, how did the transition from state "no universe" to state "universe" happen, since - presumably - nothing can "happen" without time.

3. What is time?

4. Is space discrete or continuous?

5. Is time discrete or continuous?

6. Are there multiple dimensions of time, analogous to the multiple dimensions of space we know about?

7. Is our "4-D" world actually embedded in a higher-dimensional reality of some sort that we can't access/understand/see/etc.?

8. Is our world a simulation (ala The Matrix)?

9. How, exactly, do fields (electromagnetic field / higgs field / etc) permeate all of space and permit the existence of particles like photons or the higgs boson?

10. Is there actually a way to unify gravity and quantum mechanics?

11. What is dark matter? Where did it come from?

12. How will the universe end? Big crunch? Big freeze? Big bounce? The simulation ends and we all just disappear? Other?

13. Why is there any matter at all in the universe? The fact that there is implies a certain fundamental asymmetry to the universe, since if matter and anti-matter were created in equal amounts at the beginning, they should have annihilated each other leaving no matter behind.

14. Why are right-handed people more common than left-handed people?

15. Why does the universe itself appear to have a "handedness" property[1]?

[1]: https://arxiv.org/pdf/0812.3437.pdf
This fact often catches people by surprise when I tell them also. The more conspiratorial theory is that JPL prefers not to include life detection equipment because it would mean the end of robotic missions and more of an emphasis to get humans there to do real biology, which is more the domain of Houston Mission Control. Follow the money...
I downvoted you too, for whinging and not addressing other peoples' arguments.
Which is, of course, exactly what you want. These rules exist because charlatans bilked a lot of consumers out of a lot of money. The financial industry will do this consistently because the incentives are obvious. There has to be some external force slowing down the fraud.
Considering the social patterns I'm not sure it is very likely that a significant number "ran off" as part of their culture.
Mars is getting contaminated in the near future, whether we find life on it or not. Whether we collectively want it to be or not. Given the ever-decreasing cost of launches into space, the increasing access to small satellites, I think suspect it's inevitable that some collection of Earth microbes will get a ride to Mars within the next century. Whether it's a motivated team of grad students, an obsessed billionaire, or a small nation that doesn't decontaminate its lander before launch, it's going to happen.
> Payroll might seem simple but in reality it's full of complex edge cases.

oh I would definitely have assumed so. My question is to what degree does the UI need to lay all that complexity right out for the user and to what degree can it hide it?

If humans inherently need to learn about all that complexity, then the best you can do is make it not-needlessly complicated.

> Please explain how engineers, UX designers, and product managers can "manage" such complexity.

I can't do so in the space of this text box. The answer is practically the field of software engineering.

-------

I'm curious what your thoughts are on https://docs.gusto.com/ Is it another "yea, this covers 95% of my use cases, but I need that last 5%" Or is it good?
I agree that it will, for some portion, but that portion is ever diminishing.

An irrefutable discovery of complex alien life on another planet would, in my opinion, undoubtedly accelerate that rate of diminishment.

In the mean time, many people use the absence of any such discovery, as proof that earth is inexplicably unique so some magic creator deliberately blessed us to be here on this sacred planet.
Who would have thought a Communist would say something like that.

/s
You can download the original Dune game and play it on your macbook: https://gamesnostalgia.com/game/dune

One of my all time favorite games, played it on the amiga originally
so, raku is shortened for rakudo the perl compiler. rakudo itself might be japanese but i can't confirm.

google, in their infinite wisdom, doesn't want to translate the word because they think i am typing it wrong and they know exactly what i meant to type... but anyways, i think it has to do with paradise or heaven, but i could be wrong.
I have a full duplex system that I've developed. Advantages are:

1) Easy to add power amplifiers and preamps.

2) Works on any ham band.

Disadvantages:

1) Cost. Even the cheapest transmit capable SDR can't compete with consumer hardware.

2) Limited selection of bandwidths. 1.7, 5, 6, 7, and 8 MHz.

http://www.w6rz.net/ofdm3.png
Typical. For context, Turkey criticized similar restrictions in Kashmir just a few weeks earlier.
I suppose the Kurds are not really humans, unlike the Kashmiris.

What a bunch of two-faced hypocrites.
Less robotic missions, less money for JPL. More maned missions, more money for Houston Mission Control. I remember reading an article long ago about how none of the robotic missions to Mars can actually detect life and how strange and contrary to the rhetoric that fact is. When you look at it in terms of funding, it all makes sense.
Amazon.com has ~50% of the e-commerce market in the US [0].

2nd place is Ebay with... 6.6%! Third is Apple with 3.9%, then Walmart with 3.7%.

That, to me, means there's not much real competition. You are right, there are cheaper way to buy, but people simply don't use them.

[0]: https://techcrunch.com/2018/07/13/amazons-share-of-the-us-e-...
Rimworld is great, and easy to sink dozens of hours into. I tried it after getting into FTL, which has some similar aspects of randomness. Cranking the difficulty in rimworld also produces a very different gameplay experience.
Are you talking about a definition of the syntax of first-order logic? Would a BNF grammar do?

Here's one of the basics of FOL.

Formula = PrimitiveFormula | Formula Connective Formula | not Formula | Quantifier Variable Formula

VariableList = Variable | Variable,VariableList

PrimitiveFormula = Predicate(VariableList)

Term = Constant | Variable

Connective = implies | and | or

Quantifier = forall | exists

Constant = c | c Constant

Variable = v | v Constant

Predicate = p | p Predicate

It's adapted and formalized from https://web.engr.oregonstate.edu/~afern/classes/cs532/notes/.... Note I've left out function symbols so as to minimize confusion. Function symbols are not functions themselves, but they can be represented by predicates with an additional argument so I've left them out for clarity.

It's kind of restricted in that variables are now called v, vv, vvv, etc., predicates are called p, pp, ppp, etc., but that seems minor and I was being lazy.

I think your objection is to the fact that most treatments of first order logic informally talk about a "set of variables indexed by the natural numbers" or something of that sort, but that's informal, and it's understood that really what's going on is an algorithm "under the hood." Crucially I'm using recursion here, but a recursive definition has no need to appeal to sets, functions, or integers. In fact since we're on HN it's worth pointing out all that recursion is is a while loop, and I could've done that instead. In that case though I wouldn't have provided a BNF and I instead would need to provide a full program (which is definitely possible, this is what tools like bison do for you automatically).

If what you're concerned about is the "interpret" part (i.e. the model part of model theory), that's a far deeper philosophical question that touches on whether it's possible to define anything at all.

Modern mathematics can be thought of as simply a syntactic game. That's why it can be formalized by computers. Philosophically this may be troubling because it doesn't explain why certain results are interesting or why an application of math to real-world objects "works," but like I said, that's starting to touch on the broader issue of whether it's possible to define anything at all and what exactly language is and that's a deep deep deep philosophical hole that affects the entirety of human language. This is where you have to start closely scrutinizing what the word "is" really, well, is.

Perhaps it's first useful to sort out an example of a definition of anything that you find is watertight, compare and contrast, and discuss from there?
You do realize that FED transfers it's profits to US Treasury to the tune of 100 billion dollars per year?
"Why posting"

"a long article"

"as a series"

"of tweets"

"sucks. And why it"

"is better to"

"just post a link to"

"a blog article, or"

"medium article."

"hell even a"

"sorry swap those last"

"two before these"

"three around"
That it originated on one planet and was sent to the other by ejecta, as mentioned in the article.
If Software Is Eating the World, Why Don't Coders Get Any Respect? (2011)
Stumbled upon this old thread and curious to hear whether folks think this has changed eight years later.
https://news.ycombinator.com/item?id=2919708
I fear that the “it’s never aliens” credo was taken to the pathological case. Nothing can be life so why look for it? Nothing can be life, so any really complicated scenario not involving life must be true, always.
Yeah, I hit a bug where it deleted my contacts and then synced the deletions across devices. :(
Have you ever used Instructure? My university uses it (I'm a student). It's really great on the student side and from what I've seen really flexible and easy to use from the teacher's perspective too.
Landmarking this building removes the choice from future New Yorkers to redevelop this bookstore-building into housing, offices, or even a park.

If you want to have a say in how the community develops, maybe don't limit your options for developing your community? If future New Yorkers decide they don't want this building turned into a modern skyscraper, they can reject the required applications for building permits at that time.

Or is it more about "old" New Yorkers trying to make sure new New Yorkers don't have a say?
So the engineers are not even allowed to report concerns directly to the FAA.
Heh, feels like reading Blizzard patch notes!
Does anyone have any idea how to close windows? I keep on accidentally opening new windows in Safari on the new IPad OS and have found no way to close them except for double-tapping the home button and swiping away the new copy of Safari, which feels like a hell of a lot of work for something I almost never want to be doing in the first place. CLOSE WIDGETS ARE USEFUL APPLE.
Good book about it:

https://en.m.wikipedia.org/wiki/Sandkings_(novelette)
Yeah it’s a very similar situation. TLDR, they both started selling the token long before it actually existed, the token being totally controlled by one company, based on promises that they would build stuff later, to mass market US investors. All those are red flags for SEC action.
The lies are weird. They're claiming they would have snapped off a 12 month ban for saying any political slogan, which is...insane. Wildly disproportionate. Not even a little plausible.

There's no explanation for Blizzard's actions that does not include feared pressure from China, and it's just insulting for them to claim otherwise.
I’m not whining. I stated a case to be glad about having legacy options hanging around. You’re reading intonation into my words that isn’t there. Stop it, please.

Here’s an upvote to try and push this a positive direction against the momentum.
It makes God's ultimate and unquestioning perfection in creating the Universe called essentially into question. If there is life on Mars, then it's no small leap to think there's life outside of the Solar System. What place then do we, as God's children have in the Universe, and in God's grand plan?

Stuff like that.
The question isn’t whether it is a currency or a security, it’s whether it is a commodity or a security. Under US law no cryptocurrencies are currencies. Some like Bitcoin and Ethereum are commodities, some like TON are securities, and most of them are unclear.
Digital assets subject to money-laundering, disclosure laws
If you go to any other Blizzard-/games-related subreddit, there are hundreds of furious comments.

Also I just checked r/classicwow and they're furious too.
Nah... religious people don't depend on reason, logic, evidence, etc. They can (and will) always absorb any new discovery and incorporate it into their belief systems in such a way that it doesn't invalidate anything they already believe.

Some people think Christians would have a hard time with extra-Terran life because the Bible doesn't mention any life other than the life here, and therefore any such life would arguably be free from the weight of Original Sin, yada yada yada. But I'm pretty sure if life on another planet was discovered (even intelligent life) they would just reinterpret the Biblical references that seem to refer to "Earth" as referring to "The Universe" and make "The Garden of Eden" a metaphor, and the flaming sword would become a supernova, blah, etc., yada, blah, blah, blah. At the end of the day, approximately 0.0% of Christians would say "Hmm... the Bible is obviously incomplete and or inaccurate, so maybe the whole thing is a load of bollocks" or whatever. And I expect it would be about the same for every other faith.
interesting to note that you posted this via text.
I have earned many thumbs down on the net for saying that Apple can't write software for shit. Apple is a design company, they make nice hardware, nice really looking hardware and sometimes performing hardware. That's it, a nice hardware design company. There software is straight up garbage and has been for a long time. Just as I have always been suspicious of those whose main OS is windows and they are not writing native windows app, I'm suspicious of those who use Apple if there full time job is not developing iOS apps. I do own a used Mac mini I bought a few years ago for the solo purpose of developing iOS apps. First time I ever upgraded it after being annoyed to death, it trashed the system and I had to do a fresh reinstall.
Tradable security: wash sale restriction

Tradable product or commodity: no wash sale restriction

Entire trading strategies change with securities designation, so thats one example above.

Entire free speech restrictions are created with securities designation

Entire accounting restrictions are created with securities designation

And the list goes on

There is no such thing as “just register bro!” It is a designation that carries a lot more baggage than just disclosing some internal company financial statements
"If we don't like anything you've done for any reason we can punish you in any way we see fit" is a pretty terrible rule.

It exists for situations exactly like this so they can just do whatever they want and justify it.
I am actually a happy user of this one (Vancouver, BC), but solely because the effective discount you get for using their card in the store is considerably higher than my regular card gives (there's a complicated system of points that add up nicely). And, yep, I still use my regular Visa Infinite for all other purchases because you can't beat their insurance and cashback rate.
I bought a FitBit Inspire HR earlier this year. Overall I've been underwhelmed. Here's my breakdown of the features:

- Sleep tracking. Very useful, if a bit shallow. Revealed issues to me that I'm working on now.

- Exercise tracking. The manual stuff is fine, but the automatic tracking is bad. Sometimes it thinks a car ride is a bike ride. Doesn't pick up long walks half the time. My friend uses the built in stuff on his Android phone and it seems to work better.

- Heart rate monitor. All it gives you is a crappy line graph. Doesn't seem very accurate. This feature is too shallow to be useful.

- Moving reminders. All you can do it set hours and days for a 10 minute reminder before the end of an hour. I don't even notice the reminder most of the time. Its inflexibility makes it pretty useless for me. More robust reminders and a calendar integration would probably help.

- Weight tracking. Not really helpful to me, as I weigh myself each morning on a regular scale.

- Water intake. Never used it.

- Calorie tracking. The UI isn't very helpful if you cook your own food. The calorie tracking display is often wrong and contradictory. I filed a detailed bug report and linked a bunch of online forum posts with the same problem, to get a canned response about reinstalling the app.

- Step tracker. I drum on my desk alot and it mistakes it for steps. This makes it really inaccurate for me.

I'll probably keep using it till it dies and look at other options like Oura.
I think swipe down from the top, then swipe up like you’re killing an app?
I think the other person is saying that Earth bacteria could potentially wipe out Martian bacteria if the conditions are right. And that would be tragic.
This is fantastic. It looks like we're approaching the territory of being able to easily build our own laptops from scratch. That will go a long way to preventing lock-in!
I think that the desire is mainstream, just look at the TV shows and movies that explore the idea of alien life.

But I think the reason it’s not talked about more is that our knowledge is essentially non existent and hasn’t really changed in, say, the last fifty years?
The Supreme Court thinks New York’s landmark designation laws are constitutional, and the air rights system is less invasive than that: https://www.law.cornell.edu/supremecourt/text/438/104.

I think Penn Central was a fantastically wrong decision (Rehnquist and Stevens dissented in that case). Obviously, the fact that a regulation diminishes the value of property is not sufficient to amount to a taking. The government can ban diesel cars and if that renders existing diesel cars worthless, so be it. Height limits (and the concept of air rights trading) can be justified on a similar principle, but they’re closer to the borderline. But historical landmark laws are not laws of general effect that happen to impact property values. They are targeted takings of private property without compensation.
It's the "embarrassing facts that lower the company's valuation" that matters for a billion dollar offering. The few hundred thousand dollars of legal costs aren't the issue here.
The chrome browser on the screenshot makes me suspicious :) Otherwise cool project.
Southwest Airlines | Dallas, Texas | Onsite

https://www.southwest.com/

Southwest Airlines is looking for an Associate Operations Research Developer to join our Network Planning team!

https://careers.southwestair.com/job/31571/Associate-Operati...

Responsibilities:

The Associate Operations Research Developer is responsible for building, enhancing, and supporting Network Planning's internal tools and data processes. This role applies an analytical and technical background to solve business problems, deeply understand data sets, and prepare and present work to the broader Team including Senior Leadership.

Core Qualifications:

- 2 years of experience in optimization, simulation, data modeling, applied statistics, forecasting or operations research (Master’s degree can substitute 1 year of experience)

- 1 year Python programming or advanced programming experience

- 1 year SQL or related experience

- Experience using presentation and data visualization platforms (preferred)

- Experience using version control software (preferred)
I only skimmed the article, but is the argument basically that fibers suck because library/DLL authors suck and use TLS instead of passing around an explicitly caller-initialized context pointer? So you can't freely use DLLs from your fibers because they might rely on TLS that isn't fibers-aware?

If so, that's a pretty weak argument. I use coroutines/fibers quite a bit in personal projects, but learned long ago for a variety of reasons to avoid depending on third party libraries I didn't have source for - especially ones that try to do too much magic like TLS behind the scenes just to save me the trouble of supplying an instance/context pointer to every call.

Usually when I'm using fibers it's so I can have many of them, which means I'm using tiny stack sizes, which means I'm not casually calling into third party libraries I can't easily audit and control anyways. If I weren't making many, I'd just use full-blown threads.
Why would I volunteer for an organization that thinks my future husband and I should be arrested and either chemically castrated (like Alan Turing) or committed to an asylum?
Wow so many lines of PR fluff to basically say we have to make sure everyone obeys China's view of the world. blizzard, that post was completely useless unless you wanted to reinforce the impression you have no values other than big profits.
You could have automated this with a macro or program. Or given extra credit to students that did.
> I don't see any way they could have addressed that without the hysteria still spinning it negatively.

> There's a whole lot of people out there who will not be satisfied with any answer contradicting that narrative.

> Heck, even if Blizzard went out there and would fully admit "The Chinese government pressured us to shut this particular player down", then people would complain how Blizzard could ever buckle to those demands in the first place.

Exactly. They did a shit thing and now there's shit on their face, of course it's going to be a negative outcome. There isn't always magic words they can say to make everything better again.
Except these are very clearly securities? How could they possibly be a product or a commodity?
Interestingly both dune and dune 2 were released around the same time and both are amazing. Dune 2 created the rts genre while Dune was a wonderful combination of adventure and strategy.

For Dune, I'd recommend the CD version https://www.freegameempire.com/games/Dune-CD

There's a great series of articles on Filfre about both games and the Dune universe https://www.filfre.net/2018/11/controlling-the-spice-part-1-...
Yeah this definitely isn’t new behavior. Mine has always done this on my iPhone 6s. Showing 90 degrees CCW when in portrait mode.
If anything I think mine is backwards to the CW shown on the iPhone 11.

You can use the volume button as a take photo button. On mine if you hold it like a camera and do that, the picture is rotated 180. I think that would be 0 degrees on the new iPhone, which seems more correct to me.

Either way, it displays properly oriented if the software handles exif data correctly.
Firestore Rules Examples – Ten Must-Know Patterns