skysight-inc/HackerNews huggingface dataset:
Ownership of the business is just a token of value that you control. If you can compensate everyone with adequate salaries—that means, higher than the equivalent at more stable companies—then that is totally fine. If not, then exchanging some of your control instead is a totally valid thing to do, and weird preconceptions about “your own blood and sweat” are just silly things to care about.

Frankly higher salaries are my preferred option and one I would always push for, for both myself and others, if possible - equity is essentially valueless at an early stage anyway.
She is targeted because she is the embodiment of many things wrong in our society.

She was created by her mother's PR campaign (credit where credit's due, she built a prosperous business). She is nothing but hot wind and yet she has been elevated to a status of idol, a sort of cultish priestess.

It all started with her campaign to have pupils "strike" from school. Thinking of the importance of education and of how many children in the world don't have proper access to it that was really an appalling display of "spoiled rich kid tantrum".

But the really bad thing is that this caught up to the point that she is now invited to give speeches in front of national parliaments. If politicians wonder why many people despise them they should look no further, and I think this is what populist, and fake news experts, like those mentioned in the article has seized upon (it takes one to know one).

Now, she is sailing across the Atlantic to send a message against air travel... accompanied by a Prince who owns a helicopter taxi company that does trips between Monaco and Nice Airport, and who will fly back to Europe while a new crew will fly to the US to sail the boat back.

It's a bit like Google organising a "Camp" for the rich and famous to attend by private jets and yachts... supposedly to discuss the environment.

Environmental issues are not a circus. She is a godsend for climate change deniers.
It's possible to write crappy code, async or otherwise.

In my c# world, I use async methods for REST endpoints, which in turn use async calls for anything IO-bound (database, message bus, distributed key store, file system etc). I think more often than not, it's done correctly.
Dupe - 1 day ago this got 50 comments. https://news.ycombinator.com/item?id=20684764
"To ward off concerns over margins, Amazon is offering SBA sellers a minimum gross proceed — which guarantees set profit for sellers based on a set selling price, even if Amazon lowers the price — for each product. The catch: Amazon wrote in its FAQ about SBA that MGP would be revisited “typically once every six months,” and that brands would have seven days to accept the new MGP, or reject it and deactivate a product from SBA."

This is literally price fixing.

Furthermore, Amazon hasn't lowered the price of anything not already in-process of technological price changes (like e-readers); if prices are lower it's because the margins shrank, the quality was reduced or the overall tech advanced without Amazons help.

Since they've earned literally half of their past 12 years of Net Income in 2018 alone, it's difficult to reason how they have cut the cost of anything while not making money, nor producing products through greater economies of scale than existing suppliers, while acquiring billions upon billions worth of logistics assets, another billions upon billions of business subsidiaries, and somehow had enough free cash flow to create robots, pay decent wages (even for shitty work environments) and still provide Jeff Bezos with enough money to buy almost equal number of businesses under the Bezos Expedition banner.

Amazon is a fraud, Jeff was a VP on Wall Street before he became a fake ass tech guru, and he and his cronies have been pumping up the stock price fraudulently as a means of providing cash through the sale of treasury stock and because interest rates have been so low since the financial crisis that investors will let them.
> Google is optimizing its browser for the majority, chrome is not a power-user browser.

That is a problem. We have browser engine duopoly, and really everyone is doing whatever Google wants anyway. So as they're optimizing against power users, they're making the whole web much worse.
Nobody said anything about doing brainless things. There's a lot of sound and fury from Fastmail about JMAP, but the only client is ... Fastmail's web interface.

I don't care what JMAP wants to do for me as long as it's not actually available to me. IMAP supports downloading headers too -- that doesn't mean everyone uses IMAP 24/7. The IMAP + local synced maildir use case is extremely common and there's no reason JMAP can't do it better.

I merely suggest that starting by making small shims for interoperability would encourage protocol adoption so that when clients arise they'll be in a position to be successful out of the gate.
What? Like OpenSSL:

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

(I mean, I'm not overjoyed at the deprecation of FTP support because I used it just yesterday, but let's at least be honest here. The protocol might be decades old but the implementations aren't necessarily, and if they're being actively maintained there's always the possibility of introducing new bugs.)
This set of Google talks prove how much those "high standards" really mean in reality.

https://www.youtube.com/watch?v=XfNt6MsLj0E&list=PLbzoR-pLrL...

Pay specially attention to "Making C Less Dangerous", "STACKLEAK: A Long Way to the Linux Kernel Mainline", "Sub-system Update: Kernel Self-Protection Project", "Year in Review: Android Kernel Security", "Sub-system Update: Linux Integrity Status Update", "Security Module Stacks that Don't Fall Over ".
Except for 21 Jun and 11 Aug I join every protest I can made to. It is exhausting to fight a gov that do not listen because its power is from a colonial power on the north. Hk is in the forefront of the things to come. Look at Austria you know what the bully will do.
That’s another great one! I would suggest reading the Venture Deals (which appeared quite practical to me) first and following it up with the Secrets (that’s great for understanding incentive structures and motivations of everyone involved).
+1 it kept my sanity regarding lack of good graphical debuggers on *NIX land.
The water is so hot in Alaska it's killing large numbers of salmon
I disagree. I found git checkout -b very convenient an intuitive way to say "create and checkout this branch".

For git branch -c one could say that the "branch" command should not do checkout-business.
A little OT, but is that broccoli in the Nixery logo? Anyone know why?
I really need some kind of "modern git" tutorial. A lot of what we're doing day to day stems from the earlier days of the software (and SO posts from that time), and I bet there's plenty of new options that would make something easier or even enable different workflows. I just recently learned about "git worktree", for example.
That’s misleading. Without creating an ever larger money supply hyper inflation can’t continue. Similarly, hyper inflation requires the state to continue to exist.

For example various currency’s have dropped so their only value is as a novelty item or physical object. But once it hits that point it’s value can’t continue to fall.
I have zero sympathy for entitled content creators who whine about getting demonetized. Earning some money from Youtube or Twitch might be a nice bonus but only a fool would rely upon it to live. If someone needs income then get a real job or start a company.

And for those that just want to get their message out, well it's never been easier or cheaper to start a web site on any number of different hosting services. If they can't manage to gain an audience on their own site then their content is crap. The percentage of traffic on other sites is completely irrelevant; any user can jump to another site with literally a single click.
> If you have a good specification mechanism that offers a choice of verification method, why do you need dependent types in addition?

Because I don't see it as a good enough method.

> There is no specific metric of "strength" that determines the value of a formalism.

There is, even though it is hard to judge: the number of cases it works for with same amount of work invested and genericity of obtained results.

>Hoare logic can be used

Consider a sorted arrays Arr with elements of type A and integer index ranging from k to l. To express that it is sorted one needs a way to say that \forall n : Int, m : Int, k <= n < l, k <= m < l, n <= m --> Arr(n) <= Arr (m)

Consider an implementation of a relational merge-join operation. To express constraints on the input arrays one needs to express that they have a key to join over and are sorted using compatible comparator over that key, i.e. to introduce predicates referencing predicates in the code.

To me it looks like you have type theory except it moved from typing of variables to associated predicates. I really don't see how it is better.

>The problem is that they force you to use deductive proofs for verification.

I really don't see a problem with it. Granted, I work with academic/numerics software, not enterprise software, and there might be a difference in priorities... But from my side I don't see a problem.
Teachers need an oath too: "I shall not give you an unemployable degree and saddle you with debt."
Rubber Band audio time stretcher library
Security in Games, Eugen Harton (Bohemia Interactive) at Reboot Dev Conf 2019
Is MacPaint the Most Underrated Form of Outsider Art?
A friend and myself pitched a game idea for similar to this at DSI Vancouver (soon to be EAC) around 1990. It didn't hit fertile ground where I guess sports games were the go to idea. 3D, Lovecraftian, same camera ideas. I'm glad this one was made.
I think a lot of people see it as a slippery slope. Of course FTP is not so common, but what if at some point they remove the ability to visit general URLs and just let you either google search or go to a page you've already visited.

Sadly a decent fraction of users might just accept something like this, even though it would be a major step backwards for internet freedom.
And under socialism that company is the entire country so you cannot even change jobs easily.
Or, the way she said it - she was young and ignorant of how options work. And management knew this, tried, and got away with it easily.
Django vs. Laravel
Not sure if it's across all of the US but I know in Hawaii I had to pay before I was allowed to put fuel in. Which made for this weird situation where I had to try and mathematically calculate how much fuel I needed.

And of course no tap/pay like the rest of the world.
Actually, no. 可 is like 'the be able to' prefix in Japanese/Chinese, so 可愛 is can be seen as a compound word because of that, literally means 'is able to be loved'

In Chinese, it can be further compounded into many common phrases:

可悲(pathetic, 可+'sad')

可气(annoying/irritating, 可+'anger')

可怜(pitiful, 可+'pity')

可恨(resentful, 可+'hate')

What would be a more suitable example would be 可(ke)乐(le) in my opinion, in which case it means Coke in Chinese, it is a transliteration.
I had a feeling I was not using the right word, thanks for pointing out :)
But the design doesn't suck? I mean sure the images look a bit amateurish, but they are perfectly comprehensible and would cause nobody difficulty.
0day remote code execution in webmin
An economy investing in feeding pets premium chow and cows antifart food is one heading into an eventual ditch. Keep drinking the coolaid.....

Either glibal warming ia bullshit or cleancowfarts are the equivalemt of clean coal. Take your pick....in either case youre looking at massive long term malinvestment from which there is no return.
"We have libraries for these technologies" is a poor substitute for "These technologies don't really solve the problems that need to be solved."

The nice thing about the old internet protocols is that they tried to distinguish between abstraction and implementation layers. (Not always successfully or effectively, but they did at least try.)

Modern protocol designs seem to do the opposite. They start from a default implementation layer - usually REST, HTTP, and JSON - and then try to build the abstraction layer out of that.

This isn't necessarily a good approach. But it is a reflection of the difference in culture - the change from hackers who were comfortable with open-ended bottom-up development, and modern developers who seem to prefer snap-together development using standard libraries.
I don’t know any good ones... AFAIK value, size signals, merger arbitrage, and other kinds of predictionsused to work well in context of statistical arbitrage... but yeah their existence is evidenced by successful companies / hedge funds (Renaissance, Citadel, Jump, Two Sigma, ...)
I think the USA is mostly interested in the Uranium.
The worst thing I've found about pumps with touchscreens is that half of them tend to be sitting in direct sunlight so they can't be seen. I can deal with crappy Camaro images, but if I can't see the screen it's 100% unusable.
Indeed. Which means if your goal is fluency, it's silly to strive for 100.0%.
I’ve been looking into the research on second language acquisition a bit, and the primary mechanism for learning a language appears to be hearing/reading understandable sentences for content, rather than structure. When learning, some sentences in the text will make sense to you and others will be out of your reach.

I suspect that the role of pictures (or any other context) is to help correct your mental state of the narrative world so that the sentences you don’t understand don’t present an impassable barrier, preventing you from getting to the later sentences that will help you learn.
You could have left a useful comment instead of snark.
Why not? ;-)
If it allows blender a foothold, I’m for it.
You can save back your 5$/month by increasing your machine’s swap space. I did the same when more memory was only required for compiling.

https://www.digitalocean.com/community/tutorials/how-to-add-...
They used to have this in Formula 1, but still the driver would sometimes race off before the fuel nozzle was out. After a series of incidents, a couple nearly really serious, Formula 1 scrapped refuelling mid-race - the cars now start with enough fuel to finish the race.
https://github.com/nervosnetwork/ckb
Those pics are from 2012 apparently, the ones we have now are bigger pictures, much more gruesome. (Although that mouth one is bad) e.g. I seem to get the gangrenous foot one on my bag of tobacco most of the time. The pic is the size of the bag, on both sides. Super-gross. And it's $35+ dollars. Google "australia tobacco gangrenous foot" WARNING: Very gross.

Also, every pack/bag is the same dark-pooey-brown colour, with brand names in the same small plain font, all packs/bags look exactly the same except for the name and the gruesome picture)
I'm curious to know how the contractor's have handled any crimes/intent to commit a crime while reviewing the recordings. What's the policy in such a case?
Why China always try to capture the area of other country?
I totally agree.

Look for commercial microwaves.

Here’s one: two knobs. Power and Time. Even a reasonable price $120. https://www.amazon.co.uk/dp/B004S28WEM
Huawei’s App Compiler May Improve Android App Performance
I think an attacker can disrupt already existing connections causing them to reconnect but if they try to re-pair then operator interaction would be required.

I think that this attack only works when the encryption is being negotiated, which is usually when the connection is made (you can do it later, or redo it at any time)
And it's also impractical. Our issue isn't the absolute availability of sand, it's the easy availability near use sites.
If only there was another way to get countries to do what "we" want, but nicely, because it would be mutually beneficial. We could call it "soft power".
This is now fixed - the issue was basically that image manifests and config layers contain the image name, so if the name changes those layers will be replaced.

The solution is to sort the packages in the name and return identical manifests. Docker doesn't seem to care about attaching names from registries that weren't in the config layer.

There's a separate issue where Docker will re-download layers it already has because it doesn't just use the content hash for caching, but those layers will be identical. Working on figuring this one out ...
My guess is that corn syrup only even exists because of subsidies that make it profitable to grow corn.
The fundamental power dynamic of equity is always difficult for employees. Non C-level employees practically never have the negotiating power to demand equity. However, I've seen several occasions where founders have constantly promised their staff equity (whilst underpaying them) and never followed through. Dangling equity is a great tool for dick head founders.
If at first you don’t succeed, maybe failure your is your style? (C)
The most infuriating thing about Android/Google Play from this perspective is that there's no way to prevent a child from installing literally any and every free app which has the lowest rating.

On iOS you can disable installing apps, uninstalling apps, updating apps or disable the app store completely using Screen Time and before that you could (and still can) require a password/fingerprint/face ID for any app install including free.

It would take almost no effort from Google's part to replicate the last of these (add an option requiring a password to install any app, even free with lowest rating) but they seem to be unwilling to do so.
An Open Letter to Intel (2017)
No, they are not proposing 56 bit key lengths. I understand the key is always 128 bits. They are saying that the entropy should be minimum of 56 bits. In fact the entropy is always 128 bits but this negotiation reduces it because 'some' governments didn't want other governments to have stronger encryption. See [1] page 1050, figure 2.

I don't know how much difference that makes (I am not an encryption expert), but it is a fact that affects your comparison to DES.

[1] https://www.usenix.org/system/files/sec19-antonioli.pdf
edit: citation
The Gravity Equation in International Trade: An Explanation [pdf]
I guess you're right, but only for so long - different crops add and remove different nutrients from the soil, so if you keep planting the same thing you will eventually deplete the soil of the nutrients to grow that crop.
Join XR? https://rebellion.earth/
Human being destroying the nature via Industrialization, one day the nature will revert Back!
At the end of the day, the startup world is about creating opportunity where there was none before. It gets nasty, and even nastier when you realize the only personal recourse you will ever have for being in that world and not getting the opportunity despite doing the work is to go make your own opportunity, with even more work.

If it's crushing your soul to be there, then you really don't belong. That's the long and the short of it.

I personally look at the world of business as a necessary evil, that what makes business evil makes startups especially evil. But no less necessary because of it.

I don't think any attempts to make startups less evil will do anything but just make it more evil. The attempts will fool people into believing that evil has been conquered, when it's just been painted over with lip service.
You are naive.

Argentina is a serial defaulter, every decade or so it defaults on it's debt.

The next day creditors line up to give it money again.

It's hilarious.

https://ftalphaville.ft.com/2019/04/30/1556614127000/Why-inv...
We are talking about causality here.

In my opinion, it's misleading to insist that the cause of hyperinflation is "printing" money and, never mention, that the real cause is the falling in the productive capacity of the economy.

For instance, the narrative about the Zimbabwe crisis is always the same: The government just went crazy and started to print money.

In my opinion, that's a totally dishonest narrative (and politically motivated maybe?), when what really happened is that they destroyed their main productive activity (agriculture).

>>"Similarly, hyper inflation requires the state to continue to exist."

Well, yes, of course, are you saying that the state stopping to exist would be a better alternative?
Presumably the same would be true of music in a film, so I'm not sure how it bears on my question.
I tend to be a critic of IQ and (non-applied) psychology in general, but there must be something of value here.

I've experienced something similar to what is described here, and I know many others who experience it too. The highly intelligent people I've known who are also high achievers tend to have an exceptional work ethic, and yes many (but not all!) come from relatively privileged backgrounds.

Communication problems may in some cases be linked to autism spectrum disorders, but in other cases highly intelligent people are actually exceptional communicators.

However, I would agree with those who point out that intelligence is manifold and encompasses far more than the narrow logical puzzles found in IQ tests. Some people who are not even remotely 'book smart' seem to possess acute intelligence of another kind.

Disclosure: Yes, I read Nassim Nicholas Taleb (who is pretty popular here I think).
> I'm of the mindset that code written 20 years ago should run today

I believe otherwise. Let the old die, so we can alleviate ourselves to create something more suitable to our times.
I will preface this by admitting my only direct experience with IMAP as a protocol was with writing a few scripts to synchronise mail and having to fix bugs in the IMAP libraries I was using.

I must be missing something obvious -- how is IMAP a push protocol? All experiences with IMAP I've had are in the form of basic request-response flows.

Also, regarding JSON floats, most languages have the ability to give you errors if you encounter a float in a JSON field that is meant to be an integer. So it really shouldn't matter at all that JSON's floats are awful. I haven't looked, but does JMAP use floats?

I don't particularly love HTTP nor JSON, but if that's the only problem with JMAP then it's such a massive improvement over IMAP that we should have started switching to it yesterday.
Historically, it really isn't one of the worst offenders.
It's probably still the Medallion Fund. Except it doesn't take outside money.

One characteristic of a good money manager is that he knows when to start rejecting money. Large AUMs tend to converge by necessity towards index funds (or something underperforming an index fund).
The communication range is a great point, one I've never considered before. It's the reason I enjoy the comments on HN so much: for once, a good deal of the discussion is in my communication range, and the rest is above it, pushing me higher, rather than encouraging me to sink below.

I think this is one reason alcoholism is so common among high IQ people, including several of my relatives who are very social. They socialize but they always drink beforehand. The drink lowers the effective IQ, bringing them into a much wider communication range. I had the same experience just the other day.
I thought from the headline it might be a case of hearing broadband modems (I tend to be able to hear when my home one is more/less active) but this is more involved and is genuinely listening to the WiFi (my modem noises are not really the WiFi itself).

Reminds me of a visualisation project from several years back: https://www.thisiscolossal.com/2011/02/visualizing-wifi/
Nascar and other racing series seem to manage refueling safely enough.
Not true.

Please point to a case where US attacked a defaulting debtor.

You can't, because using the military against a defaulting debtor is against UN law.
Sighs you're just an emotionally stunted asshole. Please fuck off