skysight-inc/HackerNews huggingface dataset:
> Addiction to nicotine... yeah it's real

I think the effects differ from person to person though on average it might be addictive. For example, caffeine at night makes me sleepy.
So he's $200M in debt now?
Ram Das himself admitted that he later found out that Maharaj-ji didn't actually take the LSD, but faked taking it.
What a nightmare. Will the 387 delivered planes* be retrofitted somehow, or are they really just scrap at this point? Is there precedent for a recall of this magnitude in commercial aerospace?

* https://en.wikipedia.org/wiki/List_of_Boeing_737_MAX_orders_...
All makes sense but I'd say that there is also the factor of trying to maximize particular nutritional traits for marketing purposes ("no saturated fat," "no fat," "no sugar added," "no nitrates," whatever).
Hmm, then my memory of Safari App Extensions must have only started from when they became mandatory ;)
Nips vs. NeurIPS: Guest Post by Steven Pinker
That's exactly how it happens.
Why would Apple spend the time and resources to port their development environment to other platforms?

Have you seen the few apps that Apple has ported to other platforms like iTunes?
If you're looking for a magic bullet argument proving that either approach is strictly better, I'm not the person to ask.
I agree that free speech is important, but unless you're openly a nazi, you're free to run for any office – and it's been that way since we had that big problem with nazis in the 30s and 40s which resulted in millions of dead. That left a really bad taste.
Not that they can’t also be contributing to Bazel, but I believe that Chrome uses GN.
In the UK, as in the rest of Europe, credit cards with benefits such as complimentary insurance (or indeed things like cash back) aren't as common as in the US. I believe Amex is the one of the few companies that include insurance in the UK. With other cards such as Barclays and HSBC, you typically have to pay a monthly credit card fee to add the feature.
Why not make end-to-end encryption available only for adults? This preserves the ability to track the most serious abuses of children and the millions of reports the governments describe in their open letter, while preserving the right to privacy that adults should expect.

This would take the wind out of the government's argument and would have a reasonable basis in common law's differential treatment of adults and minors.
> During his short life, Ramanujan independently compiled nearly 3,900 results (mostly identities and equations). Many were completely novel; his original and highly unconventional results, such as the Ramanujan prime, the Ramanujan theta function, partition formulae and mock theta functions, have opened entire new areas of work and inspired a vast amount of further research. Nearly all his claims have now been proven correct.
> ...
> As late as 2011 and again in 2012, researchers continued to discover that mere comments in his writings about "simple properties" and "similar outputs" for certain findings were themselves profound and subtle number theory results that remained unsuspected until nearly a century after his death.
> ...
> Of his original letters, Hardy stated that a single look was enough to show they could only have been written by a mathematician of the highest calibre, comparing Ramanujan to mathematical geniuses such as Euler and Jacobi.

Pretty incredible work. Hats off to Mr Ramanujan.
A bit early for strawmanning isnt it?
String cheese is another great example. Most people would identify it as a clear example of "fake food", but it's literally just mozzarella stretched in a particular way.

I have no objection to nuance and subjectivity. There's nothing wrong with someone saying "I like fresh salads and fish and tofu, but string cheese and Big Macs aren't for me". Certainly I wouldn't say that you must eat string cheese unless you have an ironclad reason to avoid it. What I object to (and what I think HN is particularly sensitive to) is trying to sneak personal preferences under the guise of loaded terms like "real food".
Besides all the funding secured and pot jokes, can anyone explain what has happened to this stock recently? Over the last two months it has gone up roughly 30% after already having a big immediate jump after the last earnings. Is this mostly related to long term shorts finally closing their positions in the wake of those earnings? Or was there some big Tesla news that I missed that changed the perception of the company's financial position?
I do think that they will need LIDAR to achieve the level of autonomy they advertise will be available. That being said, that does by no means mean the demise of Tesla. Even if they fail delivering autonomy promises with the current gen of hw, they could still deliver a solid vehicle.
Just as how a traditional dictator does not dwell on the autocratic authoritarianism of their country, the New York Times does not ponder the democratic authoritarianism of the US.
That negative messaging was driven by ULA in a desperate bid to close the door on their new competitor. If they could kill off enough contracts, SpaceX might have run out of runway before they established their business model.
C++-17 port of the 616-point version of Zork
> What you're missing is all of the context around this, both historical and current, which advance the idea that women ought not to even have the opportunity to compete in darts with men.

Oof. If I ever write a book about logical fallacies, I'll put these words right next to the strawman one.

When I came into this thread, prior to reading the comments, my first thought was to be curious as to why women wouldn't be just as good at darts as men are. After all, no physical advantage typical of men is needed to win at darts.
Strength is irrelevant here. So is reaction time.

Have women in particular been denied the opportunity to play competitive darts? Don't generalize it, just think about the darts field. If that is true, then you can say you've made an argument in good faith.
I'll give an example to expand on. What if disease was connected to neuron signatures in the brain? The brain is the central organism and the ruler of everything. It controls functions like breathing and sleep and so on. You could have technology that modulated breathing for example or games that prescribed shots of dopamine or made you more intuitive. Going further, maybe you could have realtime gene splicing that connected to other API's that worked with the brain. This is the future.
I just spent 20 minutes typing out a massive response explaining how utterly terrible my experience was with school. But I realized no one cares about my life story and there is no way I can fully capture my experience in this discussion post. But in short, the structure and expected rigor involved with school often made me want to just quit and eat lead. It was by far the worst time in my life and I went to a very good college prep school.

The teachers and most of academia only car about the straight laced kids who do well naturally or because their parents are good about offering structure, or the kids who clearly have a troubled home life. But since I didn't have either of those things, I was a "problem" kid and no one gave a shit about how I was doing. I wasn't being beaten at home so I didn't have an excuse for my poor performance.

I was constantly exhausted because I was naturally a night owl and school requires kids to get up way too early. The way lectures and studying were structured never jived with me and I was so tired most times I'd stare at a wall all class, I could never get into the groove of things.

Yet even after all of this, I've been very successful in my career even though I never went to college, nearly all of my coworkers have masters or phd's. I taught myself everything I know when it comes to practical application of skills in my field, literally none of it was taught to me by anyone, and a lot of it I taught myself during my highschool years. I take pride in that, but I also hate myself for it. I wish I could of fit into the square peg society nurtures so much, and because of the way I've gone about things, everything I do is harder for me than anyone else around me (except for other people in my situation).

This post does a terrible job really capturing my experience, but it isn't worth my time spending a day writing a post on a forum to capture how much I truly loathe the modern education system for making my life so miserable for close to 20 years. I understand most systems are designed for the 90% case, but being an outlier in today's society is rough and I wish it upon no one.

EDIT: A big reason why I wanted to post, was mainly because most people try to rationalize about how school isn't "efficient" and is an "opportunity cost" etc etc. I have a completely different take on it, school was depressing and extremely emotional for me. It made me very unstable trying to cope with how different I was compared to other people and was very arduous on my soul so to speak and I have lasting impacts on my mental health because of it. It's less about efficiency to me and more about improving the system to help make people's lives better and more tolerable if they're struggling. Suicide is a big problem today and I strongly believe the way our schooling system is setup has a lot to do with that.
I hope that eventually as more and more people realize how much more they could make at big tech (IME a lot of people just straight up don't know, esp. when a lot of the comp comes as equity grants), startups will have to start paying more/offering bigger slices of equity. But seems we're not there yet.

I also wonder how much of this is driven by software engineers who couldn't (or, probably more realistically, don't think they could) get a job at Big Tech?
I think it's interesting part of this is that there was literally no bad decision in Garry's situation.

1) Stay with Microsoft, get promoted over the years end up a multi-millionaire.

2) Join Palantir and end up a multi-millionaire.

It sure does illustrate the meaning of being in the right place at the right time (e.g. starting a career in the early 2000's working as a designer / engineer in a tech hub).
Indeed. The author is looking for abstractions where they are not. Abstractions are in Algebra in general and in Category Theory in particular. The essence of Algebra is abstraction. All Algebras start from some intended model but they abstract it into axioms, i.e. "interface-level properties", which completely hide the "implementation".
Based on a 1960s albino warrior mage (Elric of Melnibone) which is based on a 1920s albino pulp villain (Monsieur Zenith) who is really just based on Holmes' Moriarty.

The Witcher's DNA is very interesting.
If your code is fully typed, you don't need the default, since you know at compile time that you've handled your cases (Playground link: [0]):

type Props =
| { type: 'a', a: number }
| { type: 'b', b: string }

function f(props: Props): number {
switch (props.type) {
case 'a': return 1
case 'b': return 2
}
}

Unfortunately you're right that this breaks when using `if` instead of `switch` (unless you have a default return at the end of your function, or replace one of your `if`s with an `else`; Playground link: [1]):

type Props =
| { type: 'a', a: number }
| { type: 'b', b: string }

// Error TS2366: Function lacks ending return statement and return
// type does not include 'undefined'.
function f(props: Props): number {
if (props.type === 'a') {
return 3
}
if (props.type === 'b') {
return 4
}
}

This second case is a bug in TSC, and is tracked in https://github.com/microsoft/TypeScript/issues/18319.

[0] https://www.typescriptlang.org/play/#code/AQ4FwTwBwU2AFATgey...

[1] https://www.typescriptlang.org/play/#code/AQ4FwTwBwU2AFATgey...
Thank you for your response. This was a very interesting blog post and I plan on reading more of your posts.
The butterfly effect is also worth considering. There’s no telling that the current outcome is inevitable if you had chosen to participate.
Rust has grappled with the issue of how far to push styling rules. E.g. from 2016:

https://github.com/rust-lang/rfcs/pull/1607#issuecomment-227...

I think it's worth reading more of that thread for some pros and cons of being very strict with styling rules. Note that being too strict can lead to code being less readable in specific edge cases. This may or may not be considered a fair trade off.
If you heat and then stretch mozzarella cheese, you get string cheese. Is it the heat that turns real food into fake food or the stretching?
> (1) they don’t give away stuff for free

Well, they do give away OS updates and Xcode. Those seem like pretty major exceptions to your rule.
> The author seems to misunderstand what an abstraction actually is.

This, I think, is the main problem with the article.

I also found the opening line curious:

> > I find it rather weird that mathematics is usually taught to people on a historical basis.

I think this is much more common in philosophy than in maths.
Musk was able to get funding in China for the Gigafactory there. That's my best guess

https://techcrunch.com/2019/12/23/tesla-lands-1-4-billion-fr...
You forgot about how ugly the CyberTruck is, and why would anyone buy such a monstrosity.

That being said, HN is not so bad towards Tesla. The real haters are at FT (Financial Times). It's hard to tell what they hate more, Tesla or Bitcoin.
> the market has finally caught up to the fact that Tesla is years ahead of their competitors.

Incorrect. The stock value is being pushed up by:

1. Unexpected quarterly profits in October;

2. Tesla planning to open a new factory in China and securing a 1.4 Billion dollar loan to do so;

3. Apparent strong interest in the Cybertruck and the impending announcement of the Model Y;

4. USA and China are easing the trade war, which is pushing the whole stock market up (there have been "records" left and right in the past few days).

But the big one is number 2. Tesla moving into China means that they can tap into the humongous Chinese market.
This is why I still have Windows on my gaming machine, though I use linux everywhere else. When I sit down to play a game I don't want to debug stuff, I just want to play the game.
GP comment never said "processes," so I'm not sure why you're focusing on that. They said "best practices", which is totally different.
In the video Garry mentioned that Thiel offered him a check for his salary. Not quite no risk, but effectively so. He'd be able to go back to MS after 6 months/1 year no problem and would have only lost out on some vesting. He probably would be able to go back to a better position which often happens.
A lot of the comments are rightly pointing out the logical fallacy of survivorship bias in the article, but I don't think Garry intended to say that "choosing to work for Palantir in 2003 was the expected-wealth maximizing career decision and that's why you should join a startup".

I think the title and lede, "working for Microsoft cost me $200M" is intended to be provocative and encourage clicks on the article, while providing an interesting example of a "road not taken" in Garry's professional life. The dollar magnitude is unusual, but the feeling of regret is relatable to us all, even if you took the opposite bet that Garry did (e.g. turning down a LinkedIn or Coinbase offer in 2016 to work at a failed startup instead).

Since this article is on the top of HN today, I'd say Garry succeeded at sharing his personal anecdote.

On the content itself (startup vs. bigco), he is right about "you only can make a fraction of the value you create if you don't own equity" and "If you don't work on your dreams, someone will put you to work on theirs." But then it follows that everyone should start their own company if they are capable, or work for a bigco if they are not. The current SV labor market reflects this reality as well.

It's possible to sell some top-tier talent on taking less than 1% equity to work on your dreams, but they must really believe in the founder's vision and the founder's ability to provide a working environment that complements what the employee is not able to de-risk by themselves.
I don't think the article successfully argues against Thiel's criticism. Clearly there is an opportunity cost to putting highly trained individuals to work on some issue vs another. If you look for example at the number of PhD physicists in finance it seems obvious to me that if these people were working on biotech or materials or infrastructure or process optimisation there would at least be some more progress than there currently is.

Digital tech giants barely interact with other sectors of the economy in meaningful ways, the lack of economic or productivity growth after the computer era is well documented, and there would be tangible benefits from aiming resources and talent at sectors that interact with the material world and the economy at large.

The article also brings up Europe as an example that the lack of digital giants doesn't result in more progress, but that's actually not true. Infrastructure costs in Europe are significantly lower than in the US. One only needs to look at the transport sector in Germany or France and compare it to California's attempt to build high-speed rail. The US trails not only Europe but even countries like China in some key sectors.

Now building high-speed transport infrastructure for the masses might not make it into the next Pivot podcast or on the frontpage of techcrunch, but for the long term health of the economy and the general surplus for society is probably larger than more smartphone apps.
You're missing the point. Try engaging with people -- and I mean engaging with them, not talking at them or even arguing with them -- and don't make so many assumptions.
I am sharing my experience of cutting out processed oils, it should be taken as anecdotal.
OpenSCAD Tutorial Released on Wikibooks
I’m in management (ex-IC, though).

Prior Boeing CEO’s severance package seemed like ~$12M plus over $3M/yr for life. With that level of severance, I don’t need a good recommendation for my next job as there won’t be one...
Also hiring. I worked with an ex Army Ranger who was by far the best leader I've seen.
A great resource for small teams trying to build a startup on a budget. I feel this is a great resource to get a decent landing page up and running to peek user interest in the service / product offering. Once they have decent traction, then switching out of this makes sense to build a personalized looks and feel to your website. This is where puling in design resources start making sense.
Why Your Amazon Purchase Could Come from the Garbage
For the same reason the board of GE let the company spiral into near-bankruptcy before changing the CEO. The board and the CEO are part of the same clique, with one supporting another. They will only oust the CEO if they feel it is needed for their own survival.
Stock prices are based on perception of where it's going. The surprise profit from the last earnings, trade deal leading to lower tariffs, new China factory opening up that market, and the general quality of electric car competition released this year have all shown that Tesla is still far ahead of the game and close to running a sustainable operation.
> The encryption part took about a day to build, without me needing to understand any of the maths I was using

You don't need to understand how ciphers work per se, but you do need to understand how to put the building blocks together and think about attacks, e.g. do you ever have the key in memory on your servers.

I love this picture; the data's encrypted, but with a bad mode of operation: https://upload.wikimedia.org/wikipedia/commons/f/f0/Tux_ecb....
Several Chinese dynasties depending on where one draws the line on "a few"
My dictionary includes that, as well as "a state of affairs or an event that seems deliberately contrary to what one expects and is often amusing as a result." which would be the definition pertaining to my comment, as I didn't expect that name as it was contrary to the authors comments, and I found it amusing as a result.
I got many accounts. Google, Apple, LinkedIn. How do I know which one I used last time I logged into some service?

The author speaks about narrowing down this mess, so I think it's quite related.
Seriously - not earning $200m in blood money by helping the US Government imprison and torture refugees is imho a Bullet Dodged
Hey, I thought the timecube guy died?
Funny, I built a mechanical rig to do figure 8s years ago. It was some rope and a few pulleys, and caster adjustment on the car. This seems like using a laser to peel an apple for internet points.
Just for reference, the claim that "420" comes for a police code for marijuana possession is completely incorrect:

https://en.m.wikipedia.org/wiki/420_(cannabis_culture)
> Why would their targets use Facebook for communication when there's many other existing platforms that provide this service.

Because the kids pedophiles target are also there. Just like the easily manipulated teenagers are there for extremist instigation.

The letter does not concern the overall prevention of E2E encrypted communications (obviously unfeasible). It is about predatory and abusive crime settings that take place in online communities, of which Facebook is the largest one.

I am all in for the right to privacy and freedom of personal information protection. But if we go down that road we just as well should discuss the basic limits of freedom in any (offline) democratic society (ie law). I would not want to answer such a question, because it is much more complex than the usual "protect our freedom" privacy advocacy makes it look like when you consider law enforcement as a fundamental role of governments.
2020 Türkiye Ve Dünya Kehanetleri – Baba Vanga, Nostradamus, Selenge
Unfortunately this is much too true.

Compliance controls are a sham. Auditing is garbage. Corporate America is made up of executives who unirononically fail to execute on anything.

The few places that do execute are: startups (nobody trusts you or your product, you have to go the extra mile) and a few corporations with strong culture.

It’s impossible for eg regulations to guarantee that corporations will follow the intent and not just check boxes. So most don’t and indeed just check boxes.

The solution is pretty easy: bring back anti trust laws. Break up the old boys’ clubs; monopolies are driving the country to the ground.
Work in a startup only if it is yours or you have a significant stake in it, or if you have no other options.

The payoff for "working" at a startup with respect to the risk is IMHO simply not worth it.
Tourists take their lives into their own hands
Some of those things are more inclusive and diverse than the others. Fortunately there exists a modern equivalent that exposes people to a lot of different folks all at the same time: universities. For many rural teenagers, a university will be the first time they meet people from another country, who don't speak English as their first language, or a sizable number of people with a different skin color. Speaking from experience, growing up in Iowa.
Ask HN: Does the Nuvia Lawsuit show Apple has backdoors in its messaging app?
tldr; former Apple employee claims that Apple snooped on his privacy to collect evidence for a lawsuit, using screenshots from the supposedly end-to-end encrypted Messages messaging app from Apple. [1]

Is it possible for Apple to collect these screenshots, without having compromised the privacy guarantees of its Messages app?

From Apple's website: "End-to-end encryption protects your iMessage and FaceTime conversations across all your devices. With watchOS, iOS, and iPadOS, your messages are encrypted on your device so they can’t be accessed without your passcode. iMessage and FaceTime are designed so that there’s no way for Apple to read your messages when they’re in transit between devices." [2]

[1] https://www.bloomberg.com/news/articles/2019-12-10/ex-apple-executive-accused-of-betrayal-says-he-was-snooped-on

[2] https://www.apple.com/privacy/features/