skysight-inc/HackerNews huggingface dataset:
> And the obvious thing you are ignoring is that prisons just dont do this:
> free healthcare, basic necessities available for everyone, guaranteed roof over your head, and even full employment

Yes they do in all western societies apart from US
> proper software engineering

Only if you define this in such a way that it's tautologically true. If your definition of software engineering incorporates some degree of economic success, then no, these languages don't work well.

I'm sure someone will be tempted to levee this strawman argument: "But lots of languages drive projects that make more money than Go!" Note that I never claimed market success was the sole criteria.
My brother got his daughter a kite from there. The wind didn't cooperate on the first day we went to fly it, but her dad and I still tried getting it into the air by running with the string to see if we could get it high enough that it'd catch what wind there was higher up. We failed, but my niece saw us running with the kite, so she wanted to run with the kite. She had a great time running around the park with the kite bouncing on the ground behind her.

The kite survived that & flew fine on later occasions. Now that she's seen it fly, though, she has lost interest in kites that won't fly.
I'm pretty sure that has nothing to do with it, because in Japan kids generally have far less time to be kids due to the rigorous school system and testing focus. That in turn leads to Japan's increased rate of suicide among the youth.
How is proofwriting not useful? What do you expect in an algorithms class? It’s called algorithms, not Python Frameworks or something.
What algorithms? Pretty bare README for a cryptography project.
Mailchimp's Latest Pricing Change
I've come to the sad conclusion that excessive code quality is a smell. And most attempts to head off technical debt are really just premature optimization, which is its own sort of evil.

Don't burn the village in order to save it.
Yes, all federal crimes, that weren't prosecuted, although they absolutely could have. https://www.forbes.com/sites/johngoglia/2016/04/13/faa-confi...
I did a back-of-the-envelope calculation and was surprised how much ice a square meter of solar power can make in a day. But to scale ice making machinery to planetary capacity you'll probably need to use all the metal we've mined, ever.

With this kind of massive industrial effort, it's probably cheaper to build big towers and get rid of excess heat by pumping it up and radiating it into space off the night side of the planet. You don't need to make ice, you just need to reduce global temperatures. You could accomplish the same thing with a shield in space to reduce insolation.
> the needs of more normal users

I'm afraid users dealing with that sort of bureaucracy are much more normal than you think, if not the norm. They're just usually not the types of folks that are hanging around HN, or they're at least less vocal.
> Recently my country Netherlands has found backdoors

That's not what that article says at all.

Meanwhile: https://www.techrepublic.com/article/evidence-of-backdoors-i...
Heh. I was doing manual deployments because of dumb bank policies so after a lot of maneuvering I used Powershell and plink.exe to write a small, dumb version of Python's Fabric to be able to automate deployments.

I was writing Powershell in Vim while trying to keep my skunkworks project out of sight because of crappy management policies.

Sometimes you gotta make lemonade...
Agree that generics are much needed but also wary that if you let the community take charge then you end up with a frankenstein language like PHP.

Also a huge fan of go mod over vgo so I had no issues of them scrapping the community dependency manager and rewriting it to be part of the language
Right. But once the outmigration started it will be extremely hard to reverse the trend: well off taxpayers tend to leave first...
The thing is - their software quality is very poor from what I've seen. 1000-line switch-statements with tons of DRY violations, that kind of thing.

But they are really good at testing. They will make darn sure their software works under their extremely narrow and fragile definition of a test platform.

If you deviate from their test platform at all, you can kiss support goodbye.

"Oh, you are using Linux 4.X to talk to our chip? Nope, no support, we specified Linux 3.19 in the test setup, you are on your own."

What sucks is that our platform involves a lot of different vendors - a Marvell SoC, a Qualcomm SoC, etc. All the other vendors will work with you.

But with Qualcomm it's their way or the highway. They know they can get away with that behavior.
Checking up on the "Crypto Wars," my reading export regulations led to a surprise: only a few types of crypto were re-classified from a munition to something with no restrictions. High-assurance security (EAL6/7) and customized security, among other things, were still munitions. Undoubtedly, they left that in there in case they wanted to restrict availability of high-security products in a future where they became effective for foreign users. The other thing it implied is that DOD (esp NSA) knew the cryptosystems they were approving would be bypassable in most cases.
>Writing java with emacs or vi is a materially different experience than using eclipse or idea and var style type-inference seems almost silly with those tools which do it for you.

It's not so much the extra typing that's the problem, it's the extra reading. All the stuttering is visual noise.
Certified B Corporation
A "spec" for a human brain would have to include beliefs about questions of value, like "what is the point of human life?" Such a spec couldn't in principle be written because there is no objective basis for answers to these questions.

It sounds like you and Taleb hold different values. He thinks that living a life that involves following your own impulses is both valuable and "natural" (a suspect source of objective value IMO). You think that being able to fit into the existing environment is valuable. You might think Taleb is undisciplined and his philosophy could never be widely embraced. He might think you are just mindlessly following the orders of people who don't care about you. At the end of the day, it's up to you how you live.
Looks like China is getting a taste of its own protectionist measures.
What problem does CQRS solve in this scenario?
Um, Yeah, GOOD! This demand for Generics is pure sheep brain garbage. Once you learn to write software properly you find only like 1 or 2 small use cases where Generics might actually help
What benefit does this have over Netlify?
Europe Lacks Female Founders and Other Takeaways from the Global Report
Climate change is constantly in the headlines because it’s constantly causing various newsworthy conditions and being actively studied. Some stories bubble up to the mainstream audience and some don’t, but that’s not much different with shootings or any other regularly occurring news event in the US. Attention on climate change has always ebbed and flowed.
My point is that I believe even though very smart and dedicated people work in the field, and research it, the "state of the art" seems to be little more than opinion anyhow.

That is to say, it appears to me that even "dense scientific books" are either sharing opinionated descriptive analyses or just making this shit up.

While I can appreciate you trying to defend a field of research, I am also OK with keeping my own mental model of operation.
not sure why you're being downvoted. You even cited a source! I agree that his content is mostly "hustle your face off" IF you're NOT happy, and he only occasionally talks about what to do IF you ARE happy (which is keep doing what you're doing).
There is really no "they". There are various not well defined groups pushing for some kind not well defined "Green New Deal". There are some who are anti-nuclear and some who aren't.
The thing is, you can still use the momentum of GND to push for your preferred climate change mitigation action. You don't have to subscribe 100% to the ideology of someone else.
you clearly do not have kids..

My 5 year old boy will watch the same film again and again for days until he get bored and move to watching the next same movie for days, rinse and repeat.

my brother is 29 now but did the same thing when he was at that age, i still know most lines from lion king by hearth because of that.

i have a friend that watch braveheart at least once a year.

i myself, there are many movies that i would rewatch every once in a while, many from disney.

so it is not even a new or uncommon behavior that people watch the same movies again and again.

also, disney already announced several series just for this service from marvel (wanda and vision, winter soldier and falcon, loki) and star wars (mandalorian, a new clone war season), so yes they will have exclusive novel new content made just for it in there.

also, once it goes live all new movies from disney, marvel and star wars will only be available there.

so it is definitely not dead in the water.
Link to the Medium article:

https://medium.com/breez-technology/bitcoin-is-peer-to-peer-...
> That's true, but I don't think any other state of affairs is possible.

As a proof of this, you point out one of many ways that words can be used to muddy the waters. I would argue a "different state of affairs" (an improvement at least) could be achieved via a concerted effort by multiple influential people or organizations to point out that contrary to the simplistic perspectives and "facts" we're fed by the media, the world is actually extremely complex and we usually only have an approximate idea of what's really going on.
I've never been able to justify spending $250 on a keyboard that put the backtick/tilde in the wrong place.

Plus, I actually use the "Windows" key now, so its absence would be missed.
By that thinking you could just cool down the air. No need to freeze the arctic.
I can't drive because of my eyes, but your argument is backwards, physical buttons can have different sizes and textures, so the Ford Fiesta has a smooth round button for the radio, I can't miss it because it looks and it feels different and it is placed in the center, then switching station you press on it's left/right edge so the driver can do it directly without looking at the button or at any display. I am not saying you should remove th3 touchscreen but keep the most important and most used buttons on the wheel or on the center dashboard as physical buttons and keep the important displays like speed, LEDs for the lights and the important systems in the dashboard.
ABB and Siemens Test Subsea Power Grids for Underwater Factories
There's quite a few outside of China per this list:

https://en.wikipedia.org/wiki/List_of_semiconductor_fabricat...
Do a web search for "sea rise impact map".
> United States elected a professional wrestling character to the Presidency because he promised to be cruel to immigrants

Seriously, if that is what you honestly think happened without hyperbole... I worry for 2020.
Ion channel ppk301 controls freshwater egg-laying in the mosquito Aedes aegypti
Grafana v6.2 Released
No, 2FA Does Not Stop Credential Stuffing Attacks
In my experience, when CQRS is applied to a system, top down, it fails to be a success.

CQRS is not a system wide pattern. It should applied in small contexts and corners of domains.

I don't agree that every design pattern has the same level of impact on a system. By far IMHO.
Which is worse (by far):

* one object's memory becoming corrupted due to a local hardware error

* a change to a class member that silently loses data

Edit: clarification
Even doing it on a CLI doesn't help since the server might deliver something else to the browser.

And if you have dynamically generated HTML then you can't really authenticate it either.

To trust an application need in-browser fingerprinting of the whole page as it was served to the user and then pin that fingerprint. Combined with fairly strict CSPs.

Also, how do I trust the revelio.json? There's no signature.
Subresource integrity can help a bit. You still need to bootstrap from a trusted source though (eg a minimal index.html stored locally). And at that point, you really are back to figuring out a way to distribute a "known good" piece of software.

https://developer.mozilla.org/en-US/docs/Web/Security/Subres...

Ed: it might, for example be easier to email an attached minimal html file, than a 50mb electron app (multiply by 5 for working on the five major platforms; windows, Linux, Macos, Android and ios). That email might be internal, or signed however you usually sign mails (gpg, s/mime). Or you could host it on a minimal, secure webserver that only served static files over ssl etc
Curiosity Killed the Mario
Same feature set - plus a few extras like Basic Auth support, custom headers, preventing direct access to the underlying S3 bucket - implemented as a reusable Terraform module: https://github.com/futurice/terraform-utils/tree/master/aws_...
I wholeheartedly recommend the 2006 An Inconvenient Truth [1] as it shows nice animations of expected flooding of, for example, the Manhattan.

[1] (https://en.wikipedia.org/wiki/An_Inconvenient_Truth)
I wouldn't agree with that---media players are often fed untrusted content from the Internet, so a security issue in a shared media player API can be critical. See the Android StageFright vulnerability from a few years back.

Writing it in C for a marginal performance gain just isn't worth it.
Sounds like you popped in before mid-2017 when things were rough all around. F# is fully supported on .NET Core and, including tooling in VS. Give it a shot!
To have this used by libraries and libraries users won't you need some standardization though in the language? Otherwise you get various implementation.
Sum types arguably permit a form of out-of-band return value. A function that returns a sum type has the choice of returning the usual type (an integer value, say) or an error value of some other type.

IMO this counts as a kind of out-of-band arrangement because it doesn't involve using one of the normal return values to signal error.

https://en.wikipedia.org/wiki/Semipredicate_problem
The one I heard was this:

When Ivan was a boy, he asked a Party Man, "How will we know when true communism has been acheived?"

The Party Man thought for a little bit, and said, "The shops will be full of goods, and there will be no money."

Decades later, in the early 1990s, Ivan is now an old man. He looks through the windows of the department stores, and sticks his hands in pickets. He smiles to himself, and whispers, "At last, true communism!"
> Amazon Help promised to "be in touch soon" and thanked Ice-T for his feedback.

So, Amazon does respond to customers questions, I mean apparently when you're rich and famous..

I am banned for life because I tried to buy something when my credit-card was on its limit without me knowing it. It was a non-issue as I monthly settle any credit-card debt outstanding. But no Amazon for me anymore, no customer support nothing, banned for life, amazing company.
> The problem with corporate taxes is that it's a race to the bottom. International companies prefer to put their offices in countries where they have to pay little in taxes, so countries keep reducing their corporate taxes to remain attractive for companies. Meanwhile, consumers don't move around as much, so consumption taxes are fairly reliable.

Most of this is just characterization. For example, what's the difference between corporate income tax and VAT? Almost nothing. Primarily what happens when goods cross a border -- then VAT requires tax to be paid based on where the customer is rather than which jurisdiction the corporation declares its profits in.

But VAT is a regressive "consumption tax" and corporate income tax is a progressive "income tax"? Which international corporation came up with that particular piece of corporate propaganda?

> So allow companies to deduct local costs from local revenue, and you've turned revenue tax into profit tax.

That's basically what VAT is. You are describing VAT.
One line data types https://github.com/mcintyre321/ValueOf
Flight Simulator: An ambient travel app
I wouldn't be surprised to see another MAX going down soon after it starts flying again. Let the others test/try the updates first...
I'm trying to imagine that one tortured soul out there doing VB.NET on macOS.
Behind the Intel-Apple Modem Divorce
For anyone looking for a hosted solution, https://surge.sh/ is super nice and simple without any of the complexity of managing the stack yourself. Deploying uses one simple command, and you get hosting and custom domains for free, though I believe SSL is paid for custom domains. (I'm not affiliated with Surge at all, just a happy user.)
Then you shouldn't be downvoting it. I don't give a shit what PG said, downvotes should not be used for disagreement. It disrupts the conversation and turns discussions into echo chambers.
Oh, for sure I still love monads. I miss Haskell's do syntax in every other language. I think it's a great design pattern that starts popping up constantly once you know where to look. My objection is being forced to use monads due to the language's lazy by default semantics. You get this problem with haskell where the IO monad eventually just pollutes a huge chunk of your code because you can't safely sequence side effects without it. Sometimes I just wanted an escape hatch that would let me do side effects that I knew to be safe/harmless. Haskell has unsafePerformIO but it truly is unsafe because you can't guarantee the execution order of your side effects, which makes it useless as an escape hatch for a lot of purposes.
How much does this cost? I put in some more effort to setup my HAProxy and nginx containers on a Vultr node, but I get LetsEncrypt for free, so I'm just paying for a Vultr node (or DO droplet) and the price of the domain name:

https://github.com/sumdog/bee2
And by caching it you will reduce traffic to origin.
Didn't know about this, thanks!
Nitpick, but it’s Tor not TOR
There is an assumption here that the community is unified, you are part of the community, and therefore if the community doesn't get what it wants, then you don't get what you want.

Actually, the community disagrees on stuff, so you're unlikely to get what you want, regardless. The only way you always get what you want is if you write your own language. (Assuming you're skilled enough to implement it.) But a language nobody else uses is of little benefit.

There needs to be some core team that makes coherent decisions. Unless the community is tiny, the core team is not the community. There are inherently tensions. However it's unclear that Go's core team is doing worse at listening to their community than other language's core teams?
I just built my first static page since middle school this last weekend using netlify and a static site generator [Publii]. I was amazed at how simple and fast netlify is.

I’m confident I could figure out how how to do something much more complicated. But I want to focus on other things and it’s nice to not have to think about it.
Well, one of my point is precisely that involving programmers in the documentation process (maybe not force them to write the documentation — but review it and run a feedback loop) is crucial in having good documentation, and actually better code as well.

Of course, having any documentation is better than none...
No, I'm sorry, what's happened here is that you (and "el Reg") don't know what PRISM is, but only innuendo about it, and so you've mistaken it for other USG programs that do offer instances of the government enabling "unlawful intercept". PRISM is a paperwork handling service for FISA 702 directives, not the backdoor into Google that Glenn Greenwald initially thought it was. But a lie travels halfway around the world while the truth is still grinding its way through the top of your "Read It Later" list.

You could have made the argument you were trying to make colorably and defensibly. All you had to do was not try to sound like you'd been "read in" to NSA's SIGINT programs. But, like I said above: you managed to cite one of the few NSA program examples that is in fact totally banal and, ironically, an almost perfect example of lawful intercept.
> Don't you have to sign a BCPA or something along that line to get full support?

Probably. I work for a much smaller company than Apple so no doubt we are doing everything we can to prevent Qualcomm from sucking up the entire project budget. I don't know the exact details but I'd bet we have the lowest tier support plan available.
... and exhaustive matching: https://github.com/mcintyre321/OneOf

I'm not saying it's as good as writing F#, or that C# shouldn't include these features of course.
What I like about static sites is that you can serve the site in its entirety from a CDN. So you can literally just CNAME www.yoursite.com to yoursite.gitlab.io (or w/e static site host you use). This dramatically cuts down on latency worldwide. It also removes your web server as a single point of failure for short-term outages.
> Is F# still the red-headed step-child of Core?

Yup. Although this doesn't really come into play with server code in my experience. I don't imagine I'd want to deal with it writing WPF / UWP things though where language support is more important

Even then I might just write the business logic in F# and glue things together with C#
> So allow companies to deduct local costs from local revenue, and you've turned revenue tax into profit tax.

Maybe I'm misunderstanding you, but that's kind of how taxes work now. You report your revenue and expenses and pay taxes on the difference.

The challenge is that there are so many loopholes that some companies can reduce their profit to 0 (or less) or allocate their profits to lower tax regions (Delaware).

A revenue tax would be far simpler and eliminate a lot of these accounting loopholes.

For maximum ease, have the banks automatically deduct 5% of each deposit and don't worry about even having to file taxes unless you received cash.
That's not how US sanctions work, if you want to deal with the US in any way you have to comply with their sanctions, this is why US sanctions on Iran even unilateral ones are effective.
Thermal energy storage might be able to capture the waste heat. That’s assuming we can make such a massive amount of ice to begin with.
So true to the second point. I've discovered that recognizing when to give it a break is a hugely important skill to have and one that that took me a long time to develop as a software engineer/entrepreneur.
It's just like troubleshooting and debugging.

The list of what didn't fix the problem or didn't change anything (or changed it only a little) .... can be the thing that points to what actually does.

In that way non results are as important as anything else.
Show HN: Carrom – HRM and Payroll for Remote Teams
> Which is, why I wonder, is a VC of (presumably?) tech companies trashing the hustle culture?

For one thing, it doesn't work. If you crunch for more than a couple of weeks in a row, you wind up being less productive per week than if you were sticking to 40 hours. There's loads of data demonstrating this.

Maybe there's a tiny number of mutants who can work 80 hours a week for years on end and still be productive. But that's not something the average human being is physiologically capable of. For most people, trying to emulate those outliers is a cargo cult.
> While there's nothing you can do in C# that cannot be done in F#

Really? When did F# start supporting pointers?

> to influence the direction of the other language (C#)

Lately, it seems it's the other way around: C# is introducing features like Span<T> or default interface members and F# is (quickly) catching up.
And it’s still less toxic a hobby than being annoyingly smug on the internet.
This is a good example of What CQRS really is. Separate read/write in a system.

It's in fact a very simple pattern. But I wouldn't use it system wide because not everything has to be eventuel consitent.