skysight-inc/HackerNews huggingface dataset:
> code is a more useful blueprint than anything else for programs

This is so clearly false that it can actually be mathematically disproven. To prove that there are better software blueprints than code, I will prove that there exist algorithms/systems for which sufficient formal blueprints exist, yet no code can capture. To prove that, I will need to define the terms more precisely. A "sufficient blueprint" is one that makes it possible to prove properties of interest about your software. "Code" is a formal representation of an algorithm, which always allows efficient mechanical execution, meaning, mechanically executing code is within a polynomial bound of the complexity of the algorithm that code expresses.

Now for the counterexamle: take the specification of the Quicksort algorithm, [1], shortened here as: 1. Pick a pivot. 2. Partition the elements around the pivot. 3. Recursively apply 1 and 2 to the resulting partitions.

I claim that this specification is sufficient. For example, from a direct formal statement of it, you can formally prove that it actually sorts and that it runs in worst-case quadratic time complexity. Yet, I claim that no code can express the above specification; in fact, no code can express any of the three steps. For example, step 1 says "pick a pivot", but it doesn't say which. This is not an omission. It doesn't say which because it doesn't matter -- any choice will do. And yet, code must necessarily say which pivot to pick, and when it does, it is no longer captures the specification, and is no longer a blueprint for all implementations of that specification. Similarly for the other two steps: code must specify which partitions are created of the very many possible and completely fine ones, and in what order the recursion takes place. QED

Languages like TLA+ can formally, i.e., mathematically, capture precisely the specification above and express anything code can. There is no magic here: Efficient execution of code (provably!) cannot be done in the presence of some quantifiers, yet quantifiers increase the expressiveness and "generality" of the language.

[1]: https://en.wikipedia.org/wiki/Quicksort#Algorithm
This rant not make sense. Junior and Seniors are equally skilled? Not? Then the divide is justified.
Ask HN: What are the ramifications of not getting an intro to VCs by YC?
Basically the question is, is the absence of an intro from YC to investors before demo day seen by investors as a negative signal? Or just a neutral signal? Assuming I can get an intro some other way.
It baffles me the amount of misinformation given to the public in the West. A deliberate attempt to mislead and misguide people to further an agenda of violence, coup, and war.

Haven't we learned anything from Iraq War? If a country is not submitting your requests and taking care of their own business is enough to be painted as dictatorship.

One truth in an articles is mixed with 10 other lies. There are so many one finds oneself overwhelmed.
So, how about the several offers to have your babies, did you accept any?
Or you know, just hold out and force a mistrial. This really speaks to the colossal susceptibility of jurors to blind groupthink.
> A better solution is to require that ISPs be only ISPs. If they don't have their own content mills to push then you don't have this problem.

That train left the station long time ago. Today almost all of them are tripple-play providers, meaning that will want competing TV and phone services to be "worse".
Filecoin did their ICO by the book. The biggest constraint is that the purchasers need to be accredited investors.
You can condense the ten rules down to one:

1. You're not to think.
This title is odd. Business that have ATMs instead of credit card machines are already cash only. It would be more accurate to say "without power to run credit card machines, Puerto Rico is cash only."

It would be nice if there was a credit card machine that was powered by the phone line directly.

Edit: Most of the small businesses I worked at growing up in rural Oklahoma had mechanical imprinting machines with carbon paper receipts so that they could process credit card payments offline.
Not one with downvotes, for better or worse.
I didn't flag, but it's likely because the comments will derail quite badly if given time.
That's big, what's their purpose for open sourcing if not to allow developers to build on it?
A true 100% open source phone (with optional isolated radio hardware to use a regular SIM) is an important step ahead... https://puri.sm/shop/librem-5/
Not sure why you're getting downvoted; Bitcoin was clearly designed by someone with no understanding of how money actually works.
Okay. The last page of each issue with be the names and headshots of the 100 top staff at the magazine. "Problem solved."
The Past, Present, and Future of the Angular CLI
For me, one of the highlights of the era that conceived the skyhook was the CORONA program. The spy satellites in this early era would use film and, unlike their civilian counterparts, they didn't want to rely on a low resolution copy that had been transmitted to the ground. So they would shoot the canisters out, deorbit them, and then snatch them mid-air with a plane.

That's just insane from any reasonable perspective. I can't imagine how they made it work even once let alone dozens of times.

https://upload.wikimedia.org/wikipedia/commons/f/f4/CORONA_f...
Here's your lie that Erdogan's party (AKP) does not get votes from the western cities.

http://www.haritalar.web.tr/1_kasim_2015_Turkiye_Genel_tekra...
Convert Wikipedia articles to a peer-to-peer website with Dat
>, kernel developers still use email because it is faster than any of the alternatives. Over the course of the last year, the project accepted about eight changes per hour — every hour — from over 4,000 developers sponsored by over 400 companies

Compare with Google's ~1875-per-hour from 2015[1]:

>, and Google’s 25,000 engineers make about 45,000 commits (changes) to the repository each day.

Obviously, we can't extrapolate that Google should switch to an internal SMTP project management system layered on top of Perforce because "email is faster than any of the alternatives". Same for other companies with high commit rates to their source repos like Microsoft and Facebook.

Since Linus & Linux community never did an A-vs-B experiment of email vs open-source-JIRA-clone as a project workflow, I think we can only safely say that email works best for a disparate group of volunteers with different employers. Email is the lowest common denominator that everyone could agree to use.

You couldn't get 4000 opinionated developers to agree to use an open-source JIRA-clone or MS-Team-Foundation-clone or some other ALM[2]-in-the-cloud.

Therefore, listing advantages of email clients such as "threaded tree views" etc is actually hiding the underlying reason email-as-workflow works for Linux. Email isn't about "throughput"; it's "acceptance".

[1] https://www.wired.com/2015/09/google-2-billion-lines-codeand...

[2] https://en.wikipedia.org/wiki/Application_lifecycle_manageme...
I remember credit card payments at retailers and gas stations used to be processed with carbon copies and a sliding box.
I don't understand. Why is it fair if that decision just happens a bit further up the chain? What's the difference?
Because it has nothing to do with the Jante Law. Those who succeed don't comply to it.
It's crazy really.

Showing extreme thinness is probably not healthy, but that is not what this is about.

All these photoshopped images show fit, but not anorexic bodies.

Encouraging healthy diets and exercise to achieve bodies like that is not a public health threat.
Origami Chicken Instructions Easy for Kids – How to Make a Paper Chick Tutorial
I would say that “guys have it tough” is the wrong way to phrase it. I’d say that as women tend to be more careful in selecting who they engage with. Your reasoning as to why is actually quite good, but it’s not that men have it tougher. It’s that women are more careful. Maybe “women have to be more selective” is a good heading for that section.

As a anecdote, I have a friend who will go on a date with literally anyone. If they talk to him, he will do whatever it takes to see them, even if they are not his type, by whatever definition. Women rarely engage in this behavior. That doesn’t mean men have it tough, just that the threat to him is much lower than to a woman in an equivalent situation.

Studying non-hetero dating is also a fun comparison, as it highlights a lot of the heteronormative behavior lots of people take for granted.
Don't buy a SNES Classic. Buy a RetroPi and have lots more fun
Flask for Fun and Profit [video]
That's actually one of the canonical use cases we thought about while designing. It seems splitting graphql queries into cacheable chunks is a common need.
If you're just saying, almost tautologically, that users will use Twitter before and after the change, and that use may evolve, sure I don't dispute that.

However, what you started out saying was that Twitter was even more popular in Japan, a place where the word count is higher. Given the context, it seemed like you were implying that this could or should make Twitter even more popular.

I'm saying that's poor reasoning, because Twitter's use in Japan is distinct not for reasons of word count, but because the culture of use is deeply different. There are deep sociological differences, likely driven by the substantially different Japanese culture, plus a different early history of use than in the Anglophone Twitter sphere.

280 may be better for English-speaking Twitter and it may be worse. But Japan proves nothing about English-speaking Twitter because actual use is too distinct.
Riiight.. because when there was no net neutrality there was no Internet as we know it.

Oh wait.
Disruption Tolerant Networking for NASA's Solar System Internet
I think "Be humble" would be a better one-line version. They're basically about not believing oneself superior to others.
Find me a system that does not "actively cost users money through bugs and footguns", and I'll find you something that isn't used.

> Complex and Sophisticated is not a good thing in mission-critical software.

The complexity of Ethereum comes from the domain. You can hold on to the platitudes.

> Complex and Sophisticated is what you write when tackling an incredibly difficult problem or when you're trying to get a promotion.

If you don't believe that cryptocurrencies are an "incredibly difficult problem", then, again, you're showing your ignorance. As someone who worked on distributed consensus systems (Paxos) for nearly a decade, I would recommend you pick up a textbook before passing judgement on the nature of this problem.

> You seem to be confusing the (no personal opinion on this statement) "fantastic and successful" nature of the Ethereum platform with its quality.

Thanks, however, I'm quite familiar with the orthogonal nature of success and quality -- it also turns out that just because it's successful doesn't automatically make it low quality.

And really... chill out.
> They'd gain control over the market

what you described is a loss of control. business is hard.
Not sure what you are trying to say. Can you be more specific?
Actually, I was holding the racket in right hand and the watch was on my left hand :)
Nice, but I don't want open software as much as open hardware.

(For software, there are plenty of alternatives).
Scientists just made the first quantum-encrypted international video call
Phish for the Future – #spearphishing Attacks Target Internet Freedom #Activists
> There are no regulations needed to go after fraudsters. If someone is committing fraud, they can be prosecuted under common law.

This is apparently written from theory, not from data. Actual successful financial marketplaces, like the ones I named, have much more stringent regulations than that. Why? Because waiting for a fraud to blow up and then hoping the police can crack down on it is immensely damaging. Not only to the people who get suckered, but to everybody who hopes to use the marketplace.

Think of it like food safety laws. In theory, the marketplace would take care of this, driving unsafe restaurants out of business through the magic of the invisible hand (plus a lot of visible vomiting from food poisoning). In practice, though, everybody supports food inspectors, food safety ratings, etc. Even restaurant owners, because they want people to not even think about safety. A trusted, regulated marketplace benefits all sincere participants.

> What everyone doesn't support is the creation of a centralized gatekeeper [...]

Sure. And we'll see how that works out.

Historically, gatekeeping behavior both from regulators like the CFTC and the SEC and from marketplaces like the NYSE and NASDAQ arose in response to problems. It's not something people just made up.

Now that the same problems are happening here, I expect there will be some response. Partly, it is regulators coming along and applying existing financial laws. Partly, it will be investors abandoning the whole asset class. But there's also room for the industry to self-regulate. Will the antiregulatory fetish, as typified by your response, win out? Or will, as often happens with other industries, some self-regulation happen?

I look forward to finding out.
Looked into Palemoon?
Yep. At the origin you might serve the SPA as /spa.html and the worker rewrites the URL for people hitting /.
Cerebral:Declarative state/side effect management for JavaScript frameworks
I have spent a decade running mutt, a year running Gnus and a few months running mu4e before switching to notmuch on Emacs.

Mu4e is fine, but I found the interface slightly slow and awkward compared to notmuch. Notmuch's interface is really really good and quick.

Mu4e doesn't ignore underlying folders, which is cool if you have a very simple workflow. It's also superior to notmuch in the sense tags are stored in message headers, so they can easily be sync'ed across clients.
Did Portable Ops use the Fulton? I remember the soldier recruitment mechanic being dragging them back to either a hiding spot or the truck at which you started your mission.

I should put that back on my Vita. Peace Walker had a better story, but Portable Ops was more fun. IMO.
But has is also a function of decisions, which is also related to knowledge / awareness. No doubt, lower income areas have less / worse selection. But that kinda doesn't explain why the better off don't choose and consume those same things as they are just as available to them.
It's weird how people demand that anxiety must be irrational.

The alternative view is that it's actually a clear view of society and its systemic violence, and a recognition of that causes distress.
The Turks in Germany also voted for Erdogan in large numbers. There is a little more going on than just oppression.
> In one sentence, you are casually dismissing conclusions about my own life that have taken me decades to arrive at.

Aren't you also casually dismissing other peoples lived experience by assuming you know what their motivations are?
Lawyers should recuse themselves from being legislators. It's a conflict of interest.
Still mining by hand and announcing my tx to the network via snail mail.

https://www.youtube.com/watch?v=y3dqhixzGVo
Spring assist folding knives don't meet the NY definition of a gravity knife even though they are easier to deploy than many thumb stud knives. They can be purchased in the city.
In grand scheme of things, nothing terrible have happened to me. I didn't move to another country, we don't have kids (imagine having kids and getting being banned from entering country where they live) or house, no costly divorce. My psyche is badly damaged, that is true. You have lost a lot more than I did.
Slowly but surely, I am coming to the same conclusion: she is artificially constructed person in my mind/heart and this image of her, unfortunately does not exist in the real world. Person I loved, would never tell me, that she will name a dog after the child we were planning to have.
> Anyone know where we can buy said service?

That's essentially what most residential internet is all about... all the data is being moved at low priority at lowest cost and no penalties whatsoever for broken service.

Business internet is different, with much different SLAs but for the most part without serious penalties. For the critical data stuff, look into banking SLAs etc where penalties are severe.
The courts haven't yet decided whether or not the "bear arms" part of the second amendment means you have a right to carry arms outside your home.

Wrenn v. DC recently ruled in favor of that interpretation, and DC is now deciding if they want to try to take it to the supreme court. The 9th circuit found otherwise in Peruta v San Diego, so there's a good chance SCOTUS takes it if appealed.
And if you look at actual cases that were investigated and went to trial, you won’t see the line of argument “well your honor I had four shots and then I told him ‘yes I really want to have sex with you, you have my consent’ but obviously I could not give consent because I was drunk. The alcohol in my system made me say those words out loud in a clear tone that I made sure he heard and understood.” That’s just not how it goes down. Usually you get a whole lot of victim blaming for being in a bad situation, and no clear enthusiastic verbal consent was given. There is some gray area there and that’s how actual rapists often end up walking free. But in reality if you got enthusiastic clear verbal consent before and after the person took the four shots, and during they didn’t lose consciousness and didn’t stop you, but continued giving you signs that they were still consenting, chances are you are safe.

If you don’t have clear and enthusiastic verbal or written consent, don’t have sex. It is pretty simple in practice.
> However, I do think the Law of Jante exists in most small communities

I live in a small community, and I think the opposite.

What voters vote for wealth redistribution? Mostly urban areas.

Where does Antifa corner someone with bad speech and beat them up? Urban areas.

Where does gang violence (epitome of contrived us vs. them) happen? Urban areas.
I have gone to therapy, talked to friends and family members. Still, have this lingering pain, that doesn't go away.
Why Bitcoin and Ethereum will soon be everywhere (for reals)
https://www.youtube.com/watch?v=8vQmTZTq7nw

"Never underestimate the bandwidth of a station wagon full of tapes barreling down the highway at 70mph."
> The courts haven't yet decided whether or not the "bear arms" part of the second amendment means you have a right to carry arms outside your home.

Absurd
Yes, though more to HRESULTS from the Windows API. This meant return values could indicate success or a specific error which could be determined with macros.

Rust actually has a similar mechanism in its standard lib, the Result enum whuch resembles Maybe from Haskell, but has either a returned value if successful (which can be the empty object ()) or an Error.

XPCOM was modeled on the Microsoft version using the same vtable tricks that it used to enable dynamic dispatch through interfaces.
Upper classes are socialized against sweet=good. That helps.
Please don't spread FUD. In the DAO guidance [1] you reference, the SEC explicitly calls Ethereum a virtual currency, and does not call it a security.

"From April 30, 2016 through May 28, 2016, The DAO offered and sold approximately 1.15 billion DAO Tokens in exchange for a total of approximately 12 million Ether (“ETH”), a virtual currency used on the Ethereum Blockchain."

They might change their mind on the matter, and expand their definition of virtual currency to be securities, but they went out of their way to publish a piece which references the word "Ethereum" 39 times, "Ether" 2 times, and "ETH" 15 times. None of those times do they refer to Ethereum as as security.

[1] - https://www.sec.gov/litigation/investreport/34-81207.pdf
Thanks for sharing, that is news to me! I need to review their inventory at some point when I have a few minutes...
Rather like the EU forcing Ireland to vote again on the rejected Lisbon Treaty. 'Vote until you get it right'.
>> algebraic structure I talk about the most passionately is the monoid

Can you ELI5 monoid? what problem does it solve which isn't easy in other languages without it?

edit: thx everyone.
Just did a byte count on a project I'm working on (in JS) that I thought was lightweight...

It doesn't do the main thing it's supposed to do yet, but is already 3kB. The shame!
> Yet we're all hypersensitive about telling women they are overweight or obese.

Women don't need to be told they're overweight and obese, all fat people know it, they think about it every day. Are you really so insensitive that you think they need to be told?
Using Method and Function Overloading in TypeScript
(Did not read the article, judging only by its title.)

Do not teach switch statements, they are old hat and are error-prone.

Teach pattern matching statements. Actually, even kids understand them much better.

(To downvoters: yes, I mean using better, more adequate tools first, to teach the important principles. The traditional flintstone tools still in use can be taught later, from a vantage point of better understanding.)
And how can you tell Junior from Senior? Is it the title or something else?
From the AI perspective the fact that Apple hasn't been publishing has really been a problem for them attracting talent.
Like I said: It's complicated.

I am a strange mix of privilege and poverty. I was in gifted programs in public school and I have six years of college. I also am a woman and I have serious health issues.

I am getting healthier and I am getting more well off as a consequence. I think a lot about the details of the very complex relationship between health and wealth.

It is a really complicated thing that cannot be pinned down to any one thing. Education, social fabric, enhanced personal agency, greater de facto rights and a whole raft load of stuff tends to be involved in who is both rich and healthy and who gets access to neither.
So laws should be written by people who don't have any training in how their language will be interpreted or in how laws are applied?

Most legislators aren't also actively practicing lawyers and are not writing laws with the aim of giving themselves more business.
FREE Responsive HTML templates
Flash hiders don’t hide a flash. They’re used to protect the shooter’s eyes from the flash affecting their (night) vision.
Giraffe – A functional ASP.NET Core web framework for F#
Nonsense. The average person, me included, could not detect impure gold if given a piece of it.
However Gdp growth of Turkey remains impressive. Can it be that not all of Turkey is fucked up? They must be doing some things right if Gdp keeps growing like this.
I was alluding to the way that Uber specifically calls its drivers not employees, although they do work for Uber. The drivers do not have stock options and may have a different opinion of Kalanick.
All you need to use a credit card machine is an internet connection and a device with a battery. And satalite internet still works.
Because every till assistant was listening in physics class and knows how to calculate the specific gravity of that ring people want to barter with in an emergency.
>Most of the small businesses I worked at growing up in rural Oklahoma had mechanical imprinting machines with carbon paper receipts so that they could process credit card payments offline.

I wonder how prevalent this is still? I've heard of restaurants keeping one around just in case. I wonder what the fee would be for imprinted credit card transactions?

My most recent Citi DoubleCash card doesn't have embossed numbers. Could I still do an offline transaction?
Something can be a currency and still be a security, they are largely orthogonal concepts.

That's actually the entire point of the Howey test, which was established as part of a case to determine whether or not property that was classified as real estate could also be classified as a security.