skysight-inc/HackerNews huggingface dataset:
Engineering Academic Software (Dagstuhl Perspectives Workshop)
That "soundness graph" is the gold standard of reasoning that we're consistently not achieving. Probably because it's too computationally expensive in general for our brains. So instead we use shortcuts.

As a shortcut, trust graph is actually pretty good. Consider this example monologue:

This guy says really interesting things about cars, but my good friend Sally the Car Mechanic says he's talking nonsense; she's an expert in the domain, so I'll approach the new guy with huge dose of scepticism.

Note how trust graph implicitly takes care of known unknowns and unknown unknowns - I know little about cars, Sally knows a lot, so she's able to evaluate the situation better than me. Note also how it handles intent - Sally is my good friend, I trust her to have my best interest in mind, so I know what she's saying is her real opinion, and not e.g. trying to keep me as a customer of her workshop.

Intent is hard to judge, but is unfortunately very important when dealing with information that's not directly and independently testable (which is most of them, including especially conclusions drawn from testable facts). Trust graphs, or Evidence-based Ad Hominems™, are a very powerful shortcut for evaluating information.
Don't borrow to invest in something? Ever heard of leverage? Such a stupid argument. How about you talk about why that carries so much risk and teach people something instead of this click bait shit
We can find few of them here https://www.indiehackers.com/businesses
Debatable. If we add up all the English speaking or English-inclined countries, we get: the US, the UK, Australia, Canada, India, Nigeria, South Africa, all of Northern Europe and plenty of other places which are culturally closer to English-speaking countries than to Mandaring-speaking ones (one :) ).

China has a huge mass but it's just one object. The Anglosphere has several big objects and a ton of smaller ones and overall I'd say it is much bigger and has a longer reach.
FileSystem NTFS Bug Crashes Windows 7 and Windows 8.1
Using a service that requires Google or Facebook login, without other options, is a no-go for me. This service does seem interesting, or something I'd at least like to see what it does, but if I can't, ideally, demo, or at least login with an email, then I'm not going to use the service (I don't have a Google account and I really don't prefer to give up my Facebook account unless it's necessary).

Beyond that, what does this service do? Beyond the flashy graphics and the disconcerting video, there isn't much substance and the only thing I understand is that it's a kind of fancy calendar website/app.
I remembered that he was threatened with a legal action by Nintendo for using Super Mario pipe sprites, but it may be only a rumor.
NAT Gateway support bursts up to 10 Gbps[1] and t2.small something like 125-200 Mbps [2]. For production use cases this can make a huge difference.

[1] http://docs.aws.amazon.com/AmazonVPC/latest/UserGuide/vpc-na...

[2] https://stackoverflow.com/questions/18507405/ec2-instance-ty...
Nomadlist.com from levels.io
Can you use Excel?

The fast.ai course is very good.
Celebrities will almost never work alone. They will have PAs, body guards, drivers, etc who all work full time for them. Even the minor celebrities will have agents who work for them - albeit not exclusively. But someone on the scale of the Rock definitely wouldn't be operating his business alone.
When I was much younger, I found it funny. But then I learned about it, and it stopped being funny and became worrisome and frightening. An extremely debilitating disease that can strike anyone for no apparent reason, that makes you and your loved ones miserable, with no cure, that causes you to deny you are sick and actively resist treatment.

What I find most frightening about the possibility of developing schizophrenia is, nobody can talk you out of it. Your best friend and most trusted advisor could plead with you, and you'd probably see them as part of the evil empire.

And I just don't like it when we write people off. I can't treat people like ghosts. If I were schizophrenic and frantically uploading nonsensical "proof" to YouTube every day, I think I'd want someone to take 30 seconds to say something like "hey, buddy, sorry you're having a hard time, but I don't see any RF orgies being beamed to you. Have you talked to a doctor?"
Also, there is a trend to shame old technology, or better said, to shame devs that use jQuery, Backbone, or similar.

> "Oh, why are you using Backbone? That's an old and obsolete technology. You should learn React/Vue/Elm."

(Vue is easy to learn for new devs, though)

The dev is not familiar with functional programming or other paradigms that React suggests or requires you to know. He may be in a early learning process where Backbone/jQuery makes it easier for him to start on building webapps.
In the state assembly, there are a lot of reps who answer directly to farmers, and there are a lot of reps who answer to people with a romanticized notion of farming (and an overestimated idea of the importance of agriculture to CA's economy).

Also, the problem you describe is enormous, and not limited to water. I think it's a problem of innumeracy and lazy thinking. "I drove 6 miles to the grocery store in my SUV, but I brought a few reusable bags so I'm doing my part!" seems to be a common sentiment. The fact that they burned 2 or 3 pounds of fuel but brought an ounce (or less) of reusable plastic with them doesn't cross their mind.
He was not solo at the end but for a long time he was. I think right before he went PPC he started to hire people. Also where do you get the billions from?
See https://scholar.google.com/scholar?hl=en&q=COMPARAMETRIC+IMA...

This paper discusses exactly the scenario you discuss.
Yes, the problem is defining what constitutes a one person company.

To give another example, Cristiano Ronaldo is said to have been the highest paid sports star last year, with estimated earnings of $88 million.

https://www.forbes.com/profile/cristiano-ronaldo/?list=athle...

As laumars pointed out there's the question of whether you include assistants.
Look inside a Spotify app and find out the cost of app development
Do you prefer handling these conflicts by hand by shuffling global variables?
Kentucky – Tennis Court Repair, Resurfacing and Construction
> In 2013, a 24-year-old advertising copywriter in Indonesia died after prolonged sleep deprivation, collapsing a few hours after tweeting “30 hours of working and still going strooong.” She went into a coma and died the next morning.

Things like this always slightly scare me.

I have been awake consecutively for far longer, and on several occasions. But does that mean I just can - or would I really be risking death each time?
No. All ISAs add instructions that make sense for some important use case and can be executed efficiently (generally with a throughput of at least 1 per cycle.) x86's "power hungry" issues are basically that determining how many bytes an instruction takes is a significant fraction of fully decoding it, thus the existence of the µop cache. And to a much lesser extent, partial register accesses. The former ARM has already shown that a simpler scheme can work well (thumb-2), and the latter aarch64 explicitly fixed over armv7 and isn't going to regress now that everyone knows that it's an issue.

Verification is more expensive for x86 sure, but any CPU approaching the complexity of modern OoOE monsters isn't going to be drastically cheaper to verify just because of the ISA.
Top 5 Social Media Marketing Tools for SMBs
I've been doing that recently with Web Extensions. It's not "easier". After a handful of files I just end up implementing rollup.
What uselessly vague and implausible advice: "Hey people who've made incredible progress in a variety of fields the last several years using Approach X; Approach X is actually worthless, using Approach Y will blow it away! I, random anonymous internet poster, guarantee it! Exactly how would you use Approach Y, you ask? Well, just read and figure it out yourselves, duh!"
What does this buy you besides having to begin each command with four extra letters?
Top affiliate marketers in the health, wealth, personal development and dating niche make $m per year, some in the 10's of $m.
> Peercoin does its PoS through the developers signing key locking history - as long as people trust the devs, they trust the blockchain.

If trust in devs is sufficient, why bother with a blockchain? Just store the history in Git.
To be fair, those are not mutually exclusive options.
Under the assumption that Hawaii supply will not increase at all in those 10 years, sure...
> - deterrence, for other would-be criminals in society

In fact, the whole concept of criminal deterrence could be seen as an equation with several variables: the outcome of the crime, the probability of being caught, and how harsh the punishment will be. The idea that sentencing a micro-sample of (very unlucky) people with extreme punishment will detere others from transgressing the law is arguable, I personally believe it's incorrect, now even if I'm wrong it'd be deterrence based on fear of unfair punishment, instead of fear of punishment. A model with certainty of fair punishment seams more performant to achieve deterrence (it also probably costs way more money!). It also has the benefit of not ruining the lives of the unlucky members of the micro-sample :P

> And you don't need a lot, at all. It needs to be cemented in culture, but it can be done. Proof is, assuming that US humans are sufficiently similar to humans everywhere (which I like to believe, don't you? :) ), all those societies on this earth that have way less harsh punishments, shorter sentences and less awful prisons (US prisons are a bit on the... ehm.. medieval side of the spectrum). They don't get up in arms or feel that justice isn't "fair" enough any more than that nameless, shifting part of society that will always complain punishment isn't harsh enough. Which doesn't actually get any less than it is in the US with harsher punishments. Neither are these societies being overrun by criminals.

Of course they are! Humans are the same everywhere! And by the way, the very concept of 'penitentiary' was invented in this country at the end of the 19th century. Europeans were somehow curious about this new word, all they new about was a 'prison', a place where criminals were put for punishment, period. And at this time, on the other side of the Atlantic, this new nation was experiment with a new approach: the 'penitentiary' would be a prison, where convicts are given a chance to repel, improve themselves (learn new skills, study, etc). Delegations of diplomates were sent to study the American penitentiary system and ended up as a model for improvements. My apologies if I awkwardly made it look like I believe the current insanity of the system is just a cultural outcome, I obviously don't. Historical incarceration stats seem to show it's a rather recent trend:

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

> Which doesn't actually get any less than it is in the US with harsher punishments. Neither are these societies being overrun by criminals.

They aren't overrun by criminals for sure. Now, truth be said, there's considerably less crime (especially petty) in the US than in western Europe. Harsher sentences are probably a factor to some extent, probably not as important as efficacy of law enforcement, or certain cultural traits (e.g: Americans aren't kidding with private property). I'd personally trade a bit more crime in exchange of fair sentences :)
Oh sorry, I completely misunderstood.

I didn't realise you meant visual column - I thought you meant 'use X and in it disable everything in the right-hand column'; since uBlock Origin doesn't have a columnar UI, I assumed you meant uMatrix. :)
require() is dynamic and import() will be too. What are you talking about?

JavaScript is not a typed language (yet?) so it's like expecting pigs to fly.
Could school subjects soon be a thing of the past in Finland?
"less than 3 hours"
That is a dangerous attitude for a society. If we disagree with a law, we should change it. If we don't we breed a disregard for all laws, not just the ones we disagree with.
I'd always be accidentally typing 'github', and also putting spaces in the middle of the URL.
I am extremely doubtful because also means LNG will half current price and at these prices it makes very strong economic sense to generate an awful lot more electricity with LNG (or liquid fuels for that matter), so this will put a floor under the price way before $25.

These reports usually consider the open loop scenario without the closed loop effects and the adaptability of humans, especially where there is a profit to be made.
Hmm, so if I apply some deep learning training techniques it seems like the takeaway from this is: Change your first name to Markus.
That's very interesting, is it possible to go into moderate detail for the layman about how the SIV mode works?
You beat me to the punch: I really don't remember "you would copy and paste a library into a vendor folder, rely on global variables, try to concat everything in the right order and still would had to deal with namespace issues" as being all that big of a problem! It was (is!) simple enough, and it mostly worked; if you were trying to deploy something to a customer site where they already accidentally had two different old versions of jQuery loaded in the page, sure, that could be problematic... but deploying stuff to customer sites is always problematic one way or the other.

(I accept this is something of a rose-tinted over-simplification, but a paragraph titled "An ancient fear" probably deserves some slightly flippant commentary.)
Meditate for 20 min in night routine.. this one activity will ensure that you have good sleep and calm mind
The article suggests his death was due to a combination of too much energy drinks and a preexisting mild heart condition. If you get regular checkups you should be probably mostly fine for a while until you get weakened by old age and can't do it any more.

That is not to say that it's at all recommended. I personally absolutely cannot stay awake for more than 20 hours.
> the amount of tools you have to pull in these days just get some single page interaction going...

I just started contributing to an open source project with a lot of JavaScript without any modules or even IIFE wrappers, everything is global. Just 1 year ago I would solve the problem with a new build system but now I'll just gradually introduce ES6 features, and I will not do any module refactorings because in 6 months I can probably just introduce standard modules without any build step.

When modules ship, 90% of what you need for a SPA will be available natively in browsers. If you are building a complex product, complexity will naturally increase, with build steps for various reasons.
Daring Fireball by Jon Gruber (https://daringfireball.net).
JS is backward compatible. So it got that too from Java other than the funky name. So it's stable. jQuery? Works. Good old document.getElementById? Works. And thanks to the standardization efforts of vendors (and countless volunteers, who created feature matrices and feature tests and polyfills, and so on), now using those is easy, because you can look up what's supported, what will be supported, and what is deprecated. (So for a single page interaction you don't need tools. Case in point, last week I coded up a HTML form with a simple <script> tag. I got so nostalgic I almost wanted to watch a video of FrontPage 97.)

But if you want to minify your code, and bundle it, and use SCSS/LESS/SASS and compile that to CSS, and if you don't want to execute the various tools manually every time, then you need tools. And yes, since these are pretty simple tools, it's easy to reinvent them, to try out a new mix of them. Gulp vs grunt? Yeah, grunt's config was horrible. But people still like magical config files, so we are back with them with webpack. And people want to use better state management, and shadow DOM, and so on, but they still like to view their sites in browsers, not just through TC39 glasses, so they use babel, but that itself evolved over the years. And so on.

And WebAssembly. And TypeScript. Because static typing is really helpful. And isomorphic whatever. And tools for that. And tools for development. (Nodemon, hot code replacement, unit testing, code coverage, e2e testing, and so on.)

And even though everything is a moving target, the good bits are still doing pretty well. (Yarn is pretty good thanks to the lockfile, but obviously npm is doing well. Webpack lives on but AngularCLI actually works so no need to handcraft webpack config; and gulp works too, if you want to get simple.)

And you don't need to wait for others to tell you what's best. Look at your visitors/users, think about their needs, and look at what tools can help you serve them best. Are you making sites for blind people? Use/support tools that are thinking about WAI-ARIA/semantic markup. If you deal with mobile users? Optimize for speed, service workers, write non-chatty [REST] APIs, push content to CDNs, and think about PRPL ( https://developers.google.com/web/fundamentals/performance/p... ). If you serve big enterprises, use tools that provide IE4.01 compatibility, and so on.
In my experience there is a huge gap between research at universities, the applied R&D done at industrial labs and the applications of research done at companies.

All are valuable in their own way, but research maths has a big gap before it is useful for a company.

(Source: I run a multi-university R&D project, including an applied math department.)
This event was covered in part II of Extra History’s series on Suleiman the Magnificent:

https://www.youtube.com/watch?v=JGZSkLq3Eng&list=PLhyKYa0YJ_...
I agree with the traditional view about deflation. It is bad, especially for the workers, who have almost no money to save, thus they do not get any of the benefits, but they take the most burden, as they must spend almost all of their income on survival. On the other hand others with more income have their savings growing in value, thus not spending, making consumption fall, which renders workers unneeded, etc...

about public transactions I beleive this is a real privacy problem. The government can track my spendings every day (well, not cash, but eletronic transactions which are the bulk of my money movements) even now (when a judge has signed a permit for them). The problem is if anyone can do that. I have given up some privacy to the government, but not to the random guy.

Now my question is: is this concern of mine about public traceability existing with bitcoin technology, or not? (only the technical aspects please. the philosophical side is out of scope here)
research in academia is that
it's disproportionately focused
on even stronger types that are
even harder to compute.

Type inference for simple types in sequential computation is a solved problem, Milner and Damas showed how to do it in [1] in 1982. However, most extensions of Damas/Milner cross from decidable type inference to undecidability, so some annotation is often necessary, e.g. Scala, Rust, Haskell (kinding).

Most work on expressive typing systems (e.g. dependent types) has a different aim, namely using types for the verification of arbitrary program properties. This is undecidable, but we want (and need) as much automation as possible to lower the cost of verification, whence a lot of research is about partially automated type inference for very expressive typing systems. For most standard front-end dev, verification is not an issue since

- the field has fairly low correctness requirements that can easily achieved with testing

- typically you don't have strong specifications to verify against. No formal spec, no verification.

[1] L. Damas, R. Milner: Principal type-schemes for functional programs, http://web.cs.wpi.edu/~cs4536/c12/milner-damas_principal_typ...
It seems clear to me that schizophrenic people generally think they are being tortured with whatever technology is appropriate from the age in which they live. In that famous first writeup, the method of torture was "pneumatic chemistry". In the 70s, it was all about picking up radio signals in tooth fillings ("what's the frequency, Kenneth?"). Now people are being tortured with stuff akin to wifi signals or satellites.
c.f. https://github.com/libgit2
Isn't Tarsnap[1], by Colin Percival a great example of this? I'm surprised it wasn't the first thing mentioned since he's reasonably active on HN.

1: https://www.tarsnap.com/about.html
I completely get where you're coming from, but you also have to acknowledge for example that Docker is open source.

That's not a trivial add-on to IBM mainframes, it provides every developer (w/ minimal resources e.g a laptop or free tier cloud service) the ability to run production-like environments.

Sometimes, we take that for granted, but having worked for an airline IT, I noticed the bottleneck didn't come from hard algorithmic issues (most advanced route features were very basic to implement), but from the huge leap between production and dev environments: this was not Ubuntu on a server VS a MacOS on a laptop (manageable...), this was Ubuntu VMs (so should be close to prod?) vs cryptic data center clusters that had impossible-to-replicate features.

As for REST, airline IT use an outdated messaging mechanism. It implements versioning and grammar, so should be clean and nice to work with? Not really... The messages were impossible to read for an inexperienced dev (opposed to XML or JSON).

I heard plans to put JSON blobs in one of the fields of the messaging mechanism (completely destroying the value of versionning and grammar btw). That was not necessarily a bad idea, just a reaction to the lack of supported tooling, and readability for an obscure messaging mechanism.

Again, I get where you're coming from, but I'm just allergic to nostagia for the sake of nostalgia where the old features clearly lacked essential features for 2017.
I don't know if it's just me or others feel the same, but for me, the main reason why Chrome gained more market shares than the others was primarily because of their developer's toolkit embedded with Chrome.

This helped a lot of developers to switch from Firefox (which was the best at the time) to Chrome and the result was that most websites were first Chrome compatble, then the others. Visitors quickly understood it, and made the switch too.

I sincerely believe that the core reason is the developers, and if Firefox would focus more on that part, it would help get back many of it's old users.

I don't say here that the dev toolkit on Firefox is garbage, absolutely not, but it feels clumsy, and a lot of elements are not evident to use and requires more thinking than Chrome. (this is MY opinion).

I'm curious to know if you feel the same?
http://NomadList.com

Bootstrapped social networking site doing multiple 5-figures/month.
are there any public numbers on tarsnap?
It can be something as simple as being able to talk to the roaster. I have a few good sources of coffee I use, but I prefer the local roaster. I do so because we can engage and he'll recommend a new coffee because he knows it's a match to my preferences. He is a former WBC contenter and have roaster for other WBC contenters, which is a testament to his skills. But I do it because I like to talk to the roaster behind the coffee.