skysight-inc/HackerNews huggingface dataset:
This is really interesting work.

I like this quote: "sometimes, performance is about more than just getting work done a little faster. When something takes a lot less time, it changes the way you interact with the computer. A process that takes hours goes on the nightly build server; a process that takes minutes might be a compile that runs on your local machine; a process that takes seconds is a progress bar; and a process that takes milliseconds might happen in an editor between keystrokes."

Most verification systems work in terms of hours or days. Changing the order of magnitude means that verification can happen constantly.

The paper mentions that it verifies Metamath set.mm, one of the largest bodies of formalized mathematics, in less than 1 second. Here's some more info for the curious:

* My Gource visualization of the development of set.mm over time: https://www.youtube.com/watch?v=XC1g8FmFcUU

* My video "Metamath Proof Explorer: A Modern Principia Mathematica" (which gives overall background/context of Metamath): https://www.youtube.com/watch?v=8WH4Rd4UKGE

* Metamath Proof Explorer (MPE) aka "set.mm" - the home page for this body of formalized mathematics: http://us.metamath.org/mpeuni/mmset.html
https://www.youtube.com/watch?v=HIsCYHpCfVc
Providers in India appear to be blocking Telegram traffic
Please keep sending email receipts by default.

The purchase history on website disappears, logins get forgotten and so on. Only receipts in the mailbox stay forever, as I want them to.
No, not at all. There are reports that even if you use G Suite, and whitelist your own domain to send yourself logs through crontab, your may still have problems with the email deliverability.

My own domain was blocked for nothing more than sending myself a list of a few dozen domain names through cron, which Google deems as containing malicious links, even though there are no links present.
What information asymmetry? Liquidation preferences are perfectly fair, and not at all a mystery. Especially in the year 2019 when there has been an enormous amount written about them on the internet.
Then they try to cram the entire UI into that “tutorial”; as if you’re going to hold that all in your head after reading it once while trying to do something else. Then there’s no clear way to get back to it (if it’s even possible). And often if you accidentally click through one part you can’t even go back to that part.

Video games do this a lot, too. I’d play more games but it’s always a one-hour commitment to get started between opening videos and tutorials.
>> The U.S. president has effectively discarded modern economics, reembraced crude protectionism, and, like the mercantilists of the pre-Adam Smith era, appears to see trade as a zero-sum game

Trump is right.

Almost all business activity today is a zero-sum game. Americans have all the abilities and skills to produce everything they need on their own. If (hypothetically) the US were to start banning foreign companies, new US companies which are just as good would pop up in their place. This would create better, high-paying jobs for Americans and more opportunities for entrepreneurs and technologists.

This is true for pretty much any developed country with respect to foreign goods and services. For example, if France blocked Facebook, within a matter of weeks, better alternatives would pop up to cater for the French market.
This is not speculation BTW, it's pretty much what happened in China with respect to all major US tech companies.

China knows exactly what kind of zero-sum game they're playing. Ability is not the bottleneck. The bottleneck is human attention. Governments have to leverage their laws and regulations to maintain control over the attention of their citizens so that they can focus it to benefit local businesses.

Free markets only make sense at the small scale; for example, I'm a builder and I want to focus all my time and energy on building houses so that I can gain more experience to fine-tune my skills and become more efficient over time - but I have a problem: While I'm busy becoming an expert in construction, I need to eat bread to survive... The solution to this problem is a free market; it will allow me to use the money that I earn from building houses to buy bread from a baker (who is an expert in baking). The efficiency gains here are obvious.

When you look at the same problem at a global scale, it doesn't make sense because, taken as a whole, a country (especially one with a large population) can focus on many things at once whilst being an expert at all of them. Being really good in one area does not prevent a country from also being really good in a different area.

Applying a microeconomic solution (in this case, a free market) to a macroeconomic problem doesn't work. It's like if you were a plumber and your kitchen sink was leaking and instead of fixing it yourself (which would take 5 minutes and cost you $0), you decide to call another plumber to come to your house and fix it (which would take 1 hour of travel time extra and cost you $100). It makes no sense. If you have the skills to do something on your own, and you have an unlimited ability to multi-task you'd have to be an idiot to pay someone else to do it.
The black definitely is easier to read for me. I don't mean which 'looks better' to me but in fact which is easier to read. You can test what someone with lower vision would prefer by looking at that example and closing a laptop screen to 40* or so. Which one can you still read?
In 99% of cases this is efficiently mean that your kernel been upgraded, but it's doesn't affect system usability at all and rarely affect security. I have servers that been continuously upgraded over years, never got single reboot and still function properly.
An extreme exaggeration that ignores the extraordinary wealth holdings of the US middle class, which is wealthier than their peers in Germany or Sweden. That is despite heavy middle class demographic change from Latin America immigration the past ~45 years, they're still wealthier than those elite nations.

The 50% to 90% bracket in the US for example holds $31-$35 trillion in household wealth. The 90% to 99% bracket holds another $39-$44 trillion. So 50-99% holds $80+ trillion.

The Forbes 400 is worth $3 trillion.
Sadly, this is what happens when whoever is calling the shots doesn't care about stability and backward compatibility any more.

Combined with the current culture of "evergreen" software that is always connecting to online sources (even if it's installed locally), applies automatic updates, and doesn't support old versions in parallel with newer ones for extended periods, it's like we've regressed at least a decade in the quality of the software we use. Although next week it could be 13 years. And if you refuse to play, you don't get security or compatibility updates either.

The likes of Google, Apple and Mozilla bear great responsibility for actively promoting the evergreen and ratchet models: browsers, mobile operating systems and web and mobile apps have probably been the main drivers, and Apple has gone even further by weaponising its control of the app ecosystem via its App Store monopoly. However, it's not just web and mobile that are broken; more recently, it's been creeping into desktop applications and even desktop operating systems (Windows 10) as well.

Just as it's been the case with user-facing software, so it has also been the case with development tools. We seem to have trained an entire generation of young developers now who have no concept of maintaining stable APIs, using open standards for data formats and communications protocols, designing for compatibility and portability, and so on. Perhaps unsurprisingly, this is also much worse in the worlds of web and mobile development.

It's a plague, and we need to kill it with fire.
You don't think that getting more attention, help, and outright handouts isn't its own form of bullying? You don't think it hints at an ever-more underlying reason behind the attention, help, and handouts?
A fork with infinite health: https://kinrany.github.io/aimAndShoot/
My tl;dr:

There is preferred stock (full price; i.e. investors) and common stock (incentive plans; i.e. founders/employees).

A liquidation employs one of two methods to distribute payment, depending on which is better for preferred shareholders:

* Method 1. Preferred stock is converted into common stock (usually 1:1). All common stock receives payment.

* Method 2. Preferred stock first receives payment according to liquidation preference which a multiple of the initial purchase value. Then participating preferred stock is converted into common stock (usually 1:1). Finally, all common stock receives the remainder of payment, if any. During preference, carveouts may protect certainly common shareholders.

In good exits, method 1 is used. In bad or mediocre exits method 2 is used.

---

Liquidation preference and participation are not required, but are tools to give founders more money per investor share.

Nowadays, you should be able to get a solid valuation for 1x liquidation preference, non-participating, no carveouts.

IMO this is a sensible compromise; if you can't even keep the initial investment value, you really haven't done well anyway.
It was so exotic that at my university, FCT/UNL, starting in 1992 they switched the first year students to learn Pascal followed by C++.

C was never taught as such, as any student was expected to know it from their C++ classes.

The professor was a great teacher of what all the ways that C++ fixed C's problems, by providing his own data structures for strings, arrays, vectors, linked lists and hash tables, all with bounds checking enabled by default on his implementation.

Other issues that C++ fixed over C was having implicit conversions, a proper way to allocate memory (malloc() with sizeof, really?), ability to ensure valid pointers via references.
Heidi Roizen, VC, most definitely does not feel Former Millionaire's pain. Yes, liquidation preference overhang is the mechanism. However, the company got sold for $100M. Who sold the company? The founders + the VCs and they got theirs. They could have structured the deal to give the employees something. They didn't.

The advice here is simple. Walk. Former Millionaire owes absolutely nothing to the new company. Staying rewards this screwjob. If the founders + VCs want this Engineering VP to stay then they have to pay the VP to stay.

This could have been handled better if the founders and VCs had left something on the table for the workers. That was a choice they made.
I learned about this recently from a Crime Pays but Botany Doesn't youtube video, searching for rare ferns on Mt Shasta: https://youtu.be/h0Eor4YaO2U?t=541

The narration is mildly NSFW, depending on which part of the video you watch; the video footage itself is 100% SFW.

I learned about the CPBBD channel from a HN post a month ago: https://news.ycombinator.com/item?id=21041193 -- he's a very sharp botanist and his coarse language and heavy-duty Chicago accent all make for entertaining videos.
Developed countries benefit from free trade, while developing countries benefit from some level of protectionism. This isn't peculiar to China.

There's always a tension. Developed countries want as much access as possible for their advanced corporations to all markets around the world. They also want to be able to exploit cheap labor in developing countries without transferring any know-how to local competitors. Developing countries want to be able to export to the large markets in the developed world, but also want to protect their fledgling industries from much stronger competition from the advanced countries. They also want to acquire know-how from the developed world, in order to move up the value chain. Toyota probably wouldn't exist today if Japan hadn't protected it from American competition after WWII. This is why there are special provisions in the WTO for developing economies - the same policy doesn't fit countries in all stages of development.

Because of its uniqueness (both as the largest developing country in history and as a former non-market economy), China is actually subject to additional restrictions under the terms of its accession to the WTO. For example, other countries have increased leeway to place tariffs of Chinese goods, without China having the usual right to retaliate. It's not true that China is a particularly egregious rule-breaker.

I think that fundamentally, these claims of China breaking all the rules and taking advantage of everyone come from a place of fear that China will become the dominant world power - not from an actual understanding of Chinese economic policy.
I think the intent to say is that if people they previously worked with are willing to work with them again, that is positive because it shows that previous employees/partners haven't been screwed over.
A few years ago I made a visualization of vc math: http://dlopuch.github.io/venture-dealr

Predates KISS's and SAFE's and the round sizes are a bit out of date, but the you-get-nothing scenarios like liquidation preferences and down rounds are still the same.
Racial Bias Found in Algorithms That Determine Health Care for Patients
The are more people looking to sell their labors than give away their money.
I love how Wikipedia contains these weird little nuggets of knowledge, and I love how they keep showing up on Hacker News.
The (2018) in the title makes it seem like this happened just last year. The article describing it is from last year. Dagen H was in 1968.
"Eleven Rings: The Soul of Success" is a fantastic book that explains this at length. Great insight into champion mindsets.
PG&E may cut power to 850k California customers this weekend due to fire risk
There is no direct evidence of specific amounts of temperature rise that can somehow magically be attributed to human activities (e.g., we are able to measure all energy values of every single thing on earth and then determine what causes what exactly, etc.). Nobody even claims that this is the case; certainly not the IPCC.

The conclusion (temperature-changing effects of human activities) is derived specifically from taking the local maxima of warming we’ve seen in this very short window, subtracting the known non-human factors (of which the sun is one... hence the importance of the missing data), and then attributing the rest to human activities.

In other words, your statements, pertaining how we can deduce that their conclusions are correct, save for A or B (above), are the most quintessential example of “begging the question”.

Another important bit that I didn’t even mention in my original comment is that, not only does looking at TSI ignore other particle forcing qualities of solar phenomenon, such as flares and sunspots, But it also ignores the fact that, during such events, solar irradiance is measurably decreased. This means that the assumed human factor needed to justify the perceived temperature increase in the models is actually raised in such cases. This means that when using the models to predict the temperature on the earth, the models will actually predict that human activities that cause warming increase during solar events.
Yup. They made the same mistake in "none native" (sic).

I'll admit that, as a non-native speaker, this fills me with glee.
False positives are more concerning here than false negatives. It should be obvious to everyone that way way more people are "not calm" for reasons other than lying!
Baixar a Dama Do Espelho: O Ritual Das Trevas (Queen of Spades: The Dark Rite)
Nothing special about C, plenty of other languages offer similar features.

ISO C doesn't offer full control over anything beyond the abstract memory model of the standard.
If it did anything else then I would end up distracted and not reading books. When I read a paper book I have no other distractions,that's what I want from my Kindle. I already have a phone, a laptop, a desktop, that can do all these other things. I'm on holiday right now, if my Kindle did all those things then I wouldn't feel like I was lying by the pool reading,rather I was lying by the pool on the internet.
> Linux doesn't require a reboot for anything other than kernel updates

You can say the same about Windows updates.

Ubuntu has a new kernel update every 3 weeks, unless CVEs force sooner ones.

https://wiki.kubuntu.org/Kernel/StableReleaseCadence

Anyway, parent was saying that Windows is shit because it forces frequent updates. Ubuntu, which as you say it's the closest to a user friendly Linux dist does the same thing.
I think what really changed was the departure of Scott Forstall after the death of Jobs & the decision to put Tim Cook in charge.

Remove that someone who didn't just look at software as an
accoutrement to hardware -- but as a necessary, functional part of that hardware (skeuomorphism was the natural outcome of this worldview), then replace them with someone who reveres form over function and we end up where we are.

Still missing Scott Forstall.

https://en.wikipedia.org/wiki/Scott_Forstall
Please do provide sources for all these claims
Indian Providers appear to be blocking Telegram traffic: Telegram
Portable assembler for an abstract machine modelled on what PDP-11 processors used to be.
Well of course. If he used examples that crashed and burned the reader would not have heard of them.
In most cases this is exactly kernel updates that Ubuntu ask reboot for. You can just go check contents of this file to see what packages requested upgrade:

/var/run/reboot-required.pkgs
Your company should have retained investment bankers. Just like you get a lawyer to represent you in court.
Any language can have intrinsics, in fact the first systems language with intrinsics support appeared 10 years before C was created.
Should be noted that Stripe et. al. are paying premium salaries and as they are well funded with customers and income, they're not very risky, or rather, probably the same amount of 'employment risk' as most other private entities.

If they are not pushing everyone to work late hours and long weekends ... then there's little reason to expect that later employees should 'get rich' from a buyout - though they should get something.

Earlier / Senior staff should get something more as well.

Worth noting: Canadian 'News Magnate' Conrad Black went to jail for 'carving out' sales of assets like this as kind of a sales fee. The shareholders not only sued him but he went to jail over it. The tiny but important difference would be the 'buyout carveouts' are backed by shareholders to incent execs to stay on while Black's dealings were ostensibly not (although they probably should have been). And of course Black was a foreigner and this has a material difference in the USA (and many other countries) where non-citizens end up getting treated differently for a variety of reasons.
It's not that complicated.

If a company exists for less money than the amount invested in the company then common stock is worth nothing.

If it exists for more than the amount invested then common stock will (almost always) be worth something.

If you exit for 3X the amount invested you've done allright and will generally see a modest return on your stock.

If you exit for 10X the amount invested you've done real good and will generally see a pretty good return on your stock.

If you're smart enough to learn how to code, you're smart enough to understand this stuff. I promise.
ironically enough, there are more and more electric drilling rigs now, especially when drilling in-fill wells in established fields or near/in cities. they don't use battery power though, just temporary power lines and a mobile transformer skid.
Krita refused to hear complains about its UI/UX => 0$

Blender fixed problems of UI/UX with brand new UI => ton of new sponsors
IKEA Will Be Entirely Meat-Free This Christmas
It's open source, so it should be fine?

But Intel's history when it comes to compilers and applied optimisations leaves this making me immediately uncomfortable.

The sort of PR work that these guys would need to do in order for me to consider them even remotely trustworthy is beyond even their budget.
It would be nice if you could name the country and bureaucracy of the success story. I know of one such move; the experts made it known they'd rather resign and find new jobs than move to the periphery with their families. The move was cancelled as it was pointless without the experts.
Hey man, I still don't think you are understanding my point. This comment is actually pretty interesting:

> if it had been unity or unreal engine, would you have changed your opinion?

To me (again, to me. You could have a different interpretation, that's fine), the conversation was no longer about Improbable. It's about VC. The guy above him is arguing that a game engine does not have long term payoffs to justify the investments Fair got. But if they had made Unreal Engine, maybe it would have been worth it. It's not a bad comparison at all- Unreal Engine was made in a non-risky way, but if they HAD made it in a risky way, it might have been worth it to do.

> The idea that risk isn't a part of the discussion about why a company is laying off 40% of its work force doesn't seem like it has much merit.

When I commented, we were three degrees of separation away from Fair. So while this happened on a post about Fair, I just didn't get why it was relevant. But I see how my tone could have came off as dismissive. In truth I would rather have seen people debate the quoted comment, which is interesting, but the discussion got sidetracked, and I was trying to bring it back to the main point- I see how it could have been seen as dismissive for sure.

Your comment kind of bugs me. It's one line of content and four of person attacks. You've said that the responses have been explained, but you spent way more time insulting me than explaining. You said my tone would have been condescending if we were on Reddit, but you directly insulted me multiple times, and we're not on Reddit. Read your comment back to yourself. How would you feel if you received that? Are you proud of saying that to someone? I seriously don't think I said anything pointless. Even if it was pointless, there are way more respectful ways to say it, I was feeling down today and you made me feel worse.
VCs really don't care about "sweat equity" or "discounted salary equity". They believe that if you don't bring actual cash to the table then you aren't risking as much as them (even though they are only putting their clients money, not their personal money in most cases).

That's one reason I didn't have trouble bailing on a startup I helped start. We took in $1.5mm, did some things poorly (such is life but learned good lessons from them) and even with a path forward we would have still required some more investment (since we weren't profitable). Therefore I knew what the current liquidation preference was, I computed what another round's liquidation preference would add, and it became clear we'd have to sell at $30-50m just for me to start getting money.

The likelihood of that happening was small, and the feeling of being un-incentivized from selling at a respectable $20m made me realize the whole game was stupid and rigged. Now I work at a bank making almost 3x of what I made in hard cash (plus better benefits which equals hardware) and that extra money is giving me much better returns in my retirement and stock accounts, and a better quality of life (and less stress).
About a year ago I enabled apparmor with a bunch of additional rules and noticed some odd denied file read attempts.

I asked around and people blamed it on some Java or pgp stuff. No idea if it's still in there, I can't see it anymore but I also may have disabled all libreoffice plugins.
ITT: people who do not use OSS and use apple because "it just works" doing free tech support and QA-via-tweeter to apple numerous bugs.

sigh.
Somewhat related:

https://github.com/philipl/pifs

If the expansion of pi is normal then all your data is already in it