skysight-inc/HackerNews huggingface dataset:
Thank you for the link, very exciting research. I definitely agree that there are separate activities to formulate the theorem and to prove already described one. The former requires some kind of creation and imagination and might not be automated soon, the latter is probably just a directed search like AlphaGo and can be automated in a near future.

But the implementation of such automated prover means that proofs will die since human will only propose the theorems and machine will prove them maybe in some huge computation. That might be more effective overall and will probably open some new knowledge areas but at the same time humans gonna loose the need and ability to prove the statements.
Stories like this are really a dime a dozen. Marc Andreesen and the founders of Tivoli both worked in the same IBM dept. I met Michael Dell when he was building systems in his dorm. So did a thousand other people. Anyone who got in early at Dell got ground into the pulp years before there was a huge payoff. Even those who survived had to wait 10 years. The trick is finding new tech where people are taking risks. Anybody who went to a NeXTWorld Expo could have partied with John Parry Barlow, Tevanian, Kawasaki, Draper, etc.

There are probably a thousand classmates of Larry, Sergey and Mark who are just "getting by" at $200K/year. Get out there, mingle, take risks, fail and look for the edges. That's where you'll find the famous people of 2025 or 2030.
Sorry, but the Seattle Times is not a competent source when it comes to reporting aerodynamics.

Any standard-configuration airliner will pitch up when you throttle up at low speed.
I have "meetings" happen, right next to me, because hey, we are hip and we are hearding that software-cattle together with the advertisement and sales.
Evaporation
Is it reasonable to think they may have done this because they expect to declare bankruptcy and go through restructuring?
Sincere question here: what makes you certain that you would have found happiness?
I guess the fundamental difference between your way of thinking and most peoples' is that you seem to be absolutely convinced that happiness exists and is continuously experienced regardless of the state of reality. Therefore, regardless of what happens, there will be some form of happiness and you will experience it.

I'm in awe of this, because my personal view is that happiness is a fleeting chaotic state that mostly has no easily measurable probability of emerging, despite my attempts to grasp the shape of the distribution and its evolution in response to my actions. While I would consider myself not to be pessimistic, I definitely tend to have extremely rare encounters with what one would call happiness, which seems to be so starkly different from your life experience.
I don’t disagree with the spirit of your post. Large tech companies are paying ridiculous salaries and generally speaking we’re in a period of early-stage capital glut.

The point you’ve made — that it makes more sense to just start a company — is directionally correct, but for the most part is a logical fallacy. I hear this from competent, capable people all the time, “I might as well just start my own company rather than work at a startup as an employee.”

The reality is that 0 to 1 is an extremely, extremely difficult hump to overcome and most people intuitively know this. Which is why anybody who says, “I’m better off starting my own company than working at a startup,” especially without startup experience, is likely to never actually do that thing. I’ve never actually seen it, though I’ve seen a number of people go from working at to founding startups.

The real insight here is that it is actually more valuable to found — or be a really early employee at — a successful startup. And so the question becomes: how do you put yourself on track to get a $72k check from Peter Thiel at 23? Take risks, prove your competence and grow your network. That means work at startups.

Sure. I’m (currently) a lucky recipient of survivorship bias. There’s a long way to go and my current state is incomparable to most of the people we look up to and respect as a community. But the key word there is, “survivor.” If you look at the start of my startup career — middling ad tech company in Toronto, eng. lead at a failed Series A SF startup, short stint at a biotech company, turned down by BigCos — none of it looks like it could possibly have been leading anywhere. I just used those opportunities to meet really talented folks who believed in me and, one by one, would end up supporting me down the line. I’m lucky and very grateful for that. Some of the aspects of my journey to date are non-repeatable, and I’ll always give thanks for those moments — but a lot of the lessons I’ve learned can apply to any ambitious young technologist.

Keep at it. If startups aren’t for you, fine, but, again — survivorship bias requires you to survive in the face of insurmountable odds. And it does happen. Startups teach you how to survive. It’s OLN on steroids for careers.
My observation is not ideological, it's a reference to the work of an economist...
That doesn’t rule out foreground objects at all. Kuiper belt objects are distinctly red, as we learned from New Horizons, and so far away that they wouldn’t noticeably move over 45min.
If you think this is fun, wait until you start mapping your own code.
While fun to think about, I think it is hard to go anywhere, scientifically, from such a proposition. How would you disprove it?
The Planetarium Projector Museum
https://en.wikipedia.org/wiki/The_Nine_Billion_Names_of_God

..they notice that "overhead, without any fuss, the stars were going out."
Unless you assume each solar system is a threat, so you proactively send automated machines to each solar system that can adapt to the threat as needed. They might also not care if there is or isn't life there and just want to build Dyson spheres everywhere.
Getting shot at with live fire in combat would cause a lot more injuries if you're not trained...
The main question is to ask what can you make out of it as an employee assuming the worst. I know full well that there are several great people working in tech as founders. I also believe that ambitious people who really think they are fantastic at delivering products can and should try the testy waters of startups knowing full well what the true market value is of the skillset that they are building. I would never ever join a startup where your market value keeps degrading. Yet many people join startups as employees with mostly worthless stock and continue to do meaningless work that doesn't help increase their market value because they are sold the Kool Aid of "belief in product" and "changing the world" or whatever so hard. As an employee, it is important to stay mindful of your market value and where it is headed.
Overall I agree. The left was ecstatic about Obama’s ground breaking use of social media and analytics in his first presidential campaign, but now are crying foul because the right has caught up and even pulled ahead. I’m not entirely happy about the tactics due to the privacy implications, but that’s a separate issue.

What does worry me is that the messaging being targeted in this way is often disingenuous. Parties will target one message at one demographic and a contradictory message at another demographic. So if a consistent message is simply being targeted effectively that’s fine, but deceptively tailoring the message to the target is a legitimate concern.
JavaScript is far from perfect, but at least it's clear you declared two variables.
I think there's a confusion here:

Smart people should be able to deal with subjects outside their comfort zone

"Smart" is a cognitive trait; dealing with what is outside one's comfort zone is a different developmental axis altogether. Smart people are no better able to do this than anyone else, and may even have a harder time.
I think they're referring to the switch from a one time payment to a subscription. Everyone who bought at the one-time price got to keep their desktop application forever. You're apparently asking for a web application to keep working after you stop paying, which I find different.
The question is whether such Kuiper objects would show up on the old POSS plates. I don't know enough about that, so I yield to those who do. It certainly seems a more plausible explanation.
I read it. And I think that people shouldn't be shielded from harsh judgement or things that they may find offensive. Mutual respect is desired, but it isn't something that can be achieved by regulation --- unless you aim merely for a false sense of respect.
I don't know much about bazel, but JavaScript is very widely used inside Google. It's the main language I work in.
RFC 8700: Fifty Years of RFCs
Planet nine is travelling through the history of astronomy.
That is fair. When a test fails you would also expect them to repeat the test before putting humans on, we will see if that happens.
The peasant's free time extended beyond officially sanctioned holidays. There is considerable evidence of what economists call the backward-bending supply curve of labor -- the idea that when wages rise, workers supply less labor. During one period of unusually high wages (the late fourteenth century), many laborers refused to work "by the year or the half year or by any of the usual terms but only by the day." And they worked only as many days as were necessary to earn their customary income -- which in this case amounted to about 120 days a year, for a probable total of only 1,440 hours annually (this estimate assumes a 12-hour day because the days worked were probably during spring, summer and fall). A thirteenth-century estime finds that whole peasant families did not put in more than 150 days per year on their land. Manorial records from fourteenth-century England indicate an extremely short working year -- 175 days -- for servile laborers. Later evidence for farmer-miners, a group with control over their worktime, indicates they worked only 180 days a year.
I can't tell if that's a typo or not, but it's great.
We're talking about the literal definition used in the article, and that does not match up with what you're claiming. There is no limitation on membership to "vulnerable" people, whatever that means, nor is any voice "dominant" by default.

> "Are also you saying difficult conversations cannot be had by people sharing similar interests or beliefs?"

No, but freedom for difficult conversations are the qualifier for a "safe space", not the identity of the individuals and their comfort which would be antithetical to free discussion by all.

> "And since when are all private clubs bad?"

Nobody said that. The point is that a safe-space as defined in the article is not the same as a private club with limited identities and discussions.
Zerofox Crisis Management (Baltimore Riots) [pdf]
No. Rather, I'm saying two other things.

First, that it doesn't get us anywhere to declare some statements as "facts" or "objective truth", because whether or not something is or isn't a "fact" is in effect the entire debate; it begs the question.

Second, I'm pointing out that we already draw lines between colorable arguments and disqualified nonsense. For instance, if you attended Yale Medicine and started preaching that vaccines were poison and bleach was medicine, you would probably not last long there; Yale Medicine classes are (I presume) a "safe space" against "drink bleach" --- which, again, is an actual thing.

For the most part, you're allowed to tell people that bleach is medicine. You shouldn't, but you won't get arrested for it. Similarly: people who want other kinds of "safe spaces" aren't going to achieve a public policy outcome where transphobia and other forms of bigotry are outlawed; rather, they're aiming for something similar, in specific settings, to what top-tier medical schools do to disqualify laetrile advocacy. That doesn't sound crazy to me.

All this stuff is fraught, of course; I follow and endorse FIRE, who seem to have interesting things to say about this and come at it from a fairly hard-line 1A set of principles. Also, if you pay attention to FIRE, you'll see that this kind of campus free speech stuff comes from all sides of the political spectrum. Everyone overreaches; we're human.
Go support is not great either. Bazel can build Go just fine, but you will need to throw away the standard Go tooling and use Bazel instead. There are third-party helpers like Gazelle, but you know you’re in for a bumpy ride when even basic operations require a helper.
Please don't post comments without reading the article first. It just wastes everyone's time.

That short list was visually inspected, excluding around 18,000 images that were messed up by flaws or artefacts. Lastly, the team removed images where the missing star was towards the edge of the field, just to reduce risk of any false positives.

One final sweep using yet another method for comparisons removed other possible flaws in data collection, or unclear results. That left 100 dark shadows where a star once shone.
This article talks about this - it's the common hypothesis that switching to bipedal movement several million years ago is linked to the branching from our closest primate relatives, our diets changed to include hunting and a wider foraging range, hand in hand with changes in physiology for more movement and brain structure.
Yeah so I'm of two minds about this: I want fresh air, and I don't want to waste energy (not for the money but for climate reasons) by opening a window all day and trying to heat up 0-10°C outside air to a temperature that is comfortable when all you do is sitting still (22°C).

I guess the main heat retention is in the objects and not so much the hot air, so the strategy would be to vent through and replace the air in as short as possible a time every few hours?
> Due to the Linux kernel rapidly proceeding down an unstable path....

I've been hearing this argument for 20 years now. What's different today?
exceptions: nuts, olive oil, pasta, flour, water, rice, potatoes, apples, etc.

But i like the idea
> we already target air changes per hour and CO2 levels to prevent indoor air in an office environment from becoming too stagnant

If you ever take a Co2 sensor into a standard office environment or even your home, you're in for a bit of a shock.

https://www.theguardian.com/environment/2019/jul/08/indoor-c...
From the paper: https://sci-hub.se/10.3847/1538-3881/ab570f

"We show that these objects are redder and have larger proper motions than typical USNO objects." -- Interesting, not sure what that'd imply.

"A particular focus is given to USNO objects that have several detections before vanishing" -- implies that these at least some of these objects are not just detector glitches or scratches or similar, although "Visual checks confirm that indeed the most interesting cases, about 100, are mostly one-time detections in the red band."

"In a separate paper by K. Pelckmans et al. (2019, in
preparation). we propose a new tool for handling a large
number of images using methods of machine learning." (since people were talking about ML in astronomy)
You might have noticed I already took a looong time to formulate a reply to your questions. And I'm still not sure how to approach them, so I'll reply to the last part first.

Currently I only have my livestreams as a public presence. I find it a very comfortable and pleasant medium for conveying who I am. It lets me share stories and ideas including non-verbal cues and that's a major plus for me. So if you want to learn more, definitely subscribe or follow on YouTube and/or Twitch:

https://www.youtube.com/AngeldustLive

https://www.twitch.tv/AngeldustLive

I honestly appreciate talking about technical things a lot, even though I might be playing what appears to be a silly video game. As for streaming: I just did three consecutive days, but will take a short break. I'll be back this Thursday.
I think the other poster is trolling and intentionally strawmanning against your mild embellishment you used to make a point. It's not worth continuing a discussion with that person.

5 seconds on Google reveals that, surprise, you're right[1]; mobile data in Africa (as an example) is more expensive than elsewhere especially when considering relative income versus other regions, and there are few providers with limited competition. I think most readers understand what you're getting at, so it's better to disengage if another poster is being impolite!

[1] https://qz.com/africa/1391084/1391084/
True, but Dyson spheres should be easily visible in the infrared, and I know searching for them is set as an undergrad project by at least one IR astronomy professor. So, I’d expect them to be spotted by now if they are widespread.
Thank you for providing elaboration here!
It was insane that I got to meet Peter Thiel at that point in his career. One of the subtle things is that he wasn't the demigod he is today. He was a very well respected founder who had a great exit. You're right to point out it's a social lottery. Dumb luck is a big part of success.

I will definitely make more content about building your network the right way. I think if you consistently try to spend time with people who make things you think are awesome, the score seems to take care of itself.

Totally agree you shouldn't work at a startup if money is the only consideration.
How to Keep Pets Calm During Holidays
> Fulcro is doing so much innovation in the front end space

For someone who is versed in Clojure, what is Fulcro doing in the frontend space that is so innovative?
The entire history of the libertarian movement [1] is essentially one of being astroturfed from the very beginning.

If you read the history, like the "Invisible Hands" book [2], you'll see that business people started out wanting to reduce their taxes and regulations on their businesses, and then found/funded/promoted libertarian thinkers like Hayek and Von Mises and later Friedman, etc. to create movements that used a libertarian narrative to sell their self-interested goals.

It's no coincidence that the names who funded this DuPonts, Scaifes, Kochs, etc. all got rich from building huge private businesses around fossil fuel and other polluting extractive industries. [3,4]

When I was libertarian, I was authentically so, and later saw the flaws in the arguments which led me to be liberal-democrat/neoliberal, and only recently did I discover this astroturfing history.

[1] Which I was involved in when I was in college.

[2] https://www.amazon.com/Invisible-Hands-Businessmens-Crusade-...

[3] "Sons of Wichita" on the Kochs: https://www.amazon.com/Sons-Wichita-Brothers-Americas-Powerf...

[4] "Dark Money" https://www.amazon.com/Dark-Money-History-Billionaires-Radic...
I did some work for him about 15 years ago -- helping him set up an ecommerce store with oscommerce. Really really bright guy, amazing staff that shared his values, and a quaint little office space where they'd send the books and other things out.

Really pleasant guy.
A more effective way of approaching this goal would be to propose a seastead as a way of creating valuable waterfront property as part of an existing coastal city.

The technologies could then be developed with less political controversy, and once the technological/practical concerns are ironed out, it would be easier to build a more politically-contested settlement. You would no longer be confronting political and practical obstacles simultaneously.
I think that I should be the judge of what is harmful to me. So you could say that I disagree with you, but FWIW I don't agree with the downvotes you received. Your points are valid, it seems that a lot of people use the downvote button as a sign of disagreement.
Make him take a scheduled 737 MAX trip from Boeing field.
That’s good to hear! When I was in elementary school our parents were asked to buy dictionaries for us kids. We learned how to use a dictionary and I found myself using mine all the time when I read challenging books.

Other things you might consider for your precocious son are puzzle and brain teaser books. I used to love doing challenging puzzles. The books by Martin Gardner can be very mathematically rich. I haven’t read them myself but they were recommended to me by a retired high school math teacher who taught the intro to math education class I took. I plan to eventually acquire a large library of these sorts of materials, once I’ve graduated and have more time, money, and space.
That's not really possible. Once they start pissing off other countries they will lose their access to deal with them and "benefit from them".
> Go bootstrap, so no VC style business timelines.

This is easier to do when you have some money on hand. Which is why working at a well-compensated job if you are not from a wealthy background is quite important in your early career. Also its not that bad a strategy. I mean Qualtrics pulled it off quite well.
At this point, management probably cannot get good information about the state of projects.

When a company creates a culture of sweeping problems under the rug, and then tries to go back and change that, it creates an impossible situation for people at all levels of the hierarchy. Where management once told people it was OK to hide things from them, now they've changed the rules and are telling them, hey, show us all the things we told you we didn't want to know about.

First of all, when you're told this, you have no way of knowing if they really mean it. Are they saying, hey, actually show us the dirt so we can deal with it? Or are they saying, hey, show us the dirt WINK WINK, but we want the answer to be that nothing too bad happened because that's the easy way out? (In other words, you have to judge whether they've had a sincere change of heart or you're playing a new phase of the same game as before.)

But even if you really believe them, now you have a difficult calculation to make. Maybe you will reveal some dirt and they will say, wait a second, we meant for you to hide dirt, but not dirt that was that bad, and that's your fault, and you were supposed to know that. And now you're in trouble for telling the truth. Unless management offers you complete immunity (if that's even possible), you still have a reason to keep hiding stuff to protect yourself.

TLDR, if your organization made sure everybody's closets are full of skeletons, then you're going to have a hard time getting people to open those closet doors.
> I use a set of chat-bot related APIs to implement CLIs for various EHR-related and clinical-related applications

I'd love to learn more about this. Who are your customers? What are the use cases? Can you share a link where I can read more?

Thanks!
Ha! You're right. Thanks.
Hope that they are not as interested in financial optimization as you? Or just take people who can’t get into top paying bigcos? Or be a good salesman? Same as everybody else who is recruiting for startups these days
>What group is that? Where can I find such a group that only has toxic members interested in social justice?

Well, there's this: https://www.youtube.com/watch?v=8yvzBFESqZs

>It's like when people talk about "the south" as if it were one thing. I'm from the south, and if you get two random people who live in the southern US (or any part of the world) they will both be individuals with a complex system of beliefs

It's about aggregate behavior and prevalent norms, not about any two random people being the same as each other.

If those people's ideas where vectors, they'd be closer together and pointing towards a more similar direction, than from another group (say, Californians).

That doesn't mean you wont find vectors of millions of individual persons in the South pointing even the total opposite way for this or that matter typically associated with the South.
The problem isn't low oxygen, it's high CO2.
That didn't stop Ender though did it