skysight-inc/HackerNews huggingface dataset:
I am not speaking about the rest of your points (just don't have time right now), but I did want to note that the "the Internet existed w/o net neutrality" argument really frustrates me.

The Internet of today isn't the Internet of a year ago, let alone the "~20 year" time frame you mention. Yes-- the Internet of 20 years ago didn't need regulation because the profit potential was minimal. It only makes sense, with more and more commerce moving to the Internet, that the entrenched telecommunication interests would move more aggressively to "tax" the use of the Internet.

I'd love to have more competition in the Internet access space, but I don't see that happening anytime soon. The existing telecom interests have lots of regulation and lobbying power at their disposal to exclude competitors. I'd argue the existing interests need to kept in check until the regulatory climate changes to allow more competition in the ISP space.
Yes, when I first looked at this data I tried my best to lump it into categories. (Was in an discussion about ROI on "free" college)

about 65% of grads are in what I would consider, employable categories. STEM, Healthcare, Business, applied sciences (production/manufacturing type stuff), there are more but I cant remember now

about 25% of grads in what I would consider, employable but less so. Things like psychology, social sciences, histories, social work degrees, etc

then 10% are in the liberal arts/basketweaving area

While I will be the first to admit that degree is not necessarily an accurate predictor of success. I still think it is fair to say that even in the age of abundant student loans, in general most students ARE trying to pursue jobs that will make them employable. Even if they are misguided in some way, or don't hit the mark.
Bitcoin is still in beta, new features can always be added. They are building something to last the rest of the century at least, so its going slow.

Plus even without adding anything, bitcoin -> monero -> bitcoin solves the privacy problem.
I agree, but many college graduates (and for that matter some people with advanced degrees I've run into) have no or little understanding of philosophy/civics, history, literature, etc.
I would fully support this. And would extend it to News Corp which is Australian-owned and owns a huge chunk of our media including Fox News and the Wall Street Journal and is a much more insidious influence on our politics than Russia could hope ever hope to be.

The first amendment only applies to Americans.
AG Schneiderman:
Thank you for doing this and setting up this website. I actually hadn't checked until now, and found a false comment - it isn't from me though, it's from my biological mom, who's been dead for almost 20 years now. Is there a way for me to file a report for this?
My representatives are already for net neutrality, but I will see what else I can do to support this cause. Thank you for fighting for our freedoms and to uncover the fraud that occurred during this comments process.
Bitcoin's transaction fees are more complex than flat per transaction. It depends on the size of transaction which then in turn depends on how many incoming payments you have to combine into the amount of BTC you want to send. This has somewhat surprising and unfortunate high-level effect that the smaller transactions you do, the higher are fees for your future ones. The same is true for all cryptocurrencies where you spend transaction outputs (all bitcoin derived ones) instead of moving abstract numbers between "accounts" (ethereum), where the transaction fee is essentially flat and often insignificant. I'm not sure how Monero and Zcash works in this regard.

Edit: tl;dr: problem with bitcoin's transaction fees is that they are not flat, but instead depend on non-obvious technical details of the protocol.
> As a caution: don't forward a top-level domain.

Nice tip, I'll implement that for my setup. I had to stop a catchall on a TLD for the reason you mention and it'll be trivial to switch to a sub-domain. Thanks.
> How would you feel if you were required to print, in legible block letters, your full name on every dollar bill before you spent it?

I already do this with 99% of my purchases. I almost solely purchase through credit card, which is a contractual obligation that my clearly identified person will allow a financial institution to pay for this coffee on my behalf, on promise I will pay that institution back at a later time.

I fully expect that institution to carry a full record of my purchases, and these days I expect them to share some subset of that data with whoever they see fit. It's just the world we live in.

I never carry cash with me, except for the rare occasions I know I'll be going to a cashless enterprise, which is becoming exceedingly rare where I live.
I guess the main reason is the lack of mapping to actual world cases.

Usually you have tutorials about peano numbers and such, instead of how do I show a set of data records, straight out of a PostgreSQL database.

So far, Type-Driven Development with Idris, seems to be the best book for real world cases, and even it might a bit over the top for the common CRUD developer.
Both Baidu and Ali Baba are listed in the US in the form of depository receipts. You're not going to see any non-Chinese investor exert any meaningful influence over either of those companies as a result.
Not really, IC cars vary greatly in fuel efficiency. Additionally because older cars have lower efficiency and tend to be owned by the less affluent it is regressive.
Swagger is better anyway.
When Does Work Actually Get Done?
I’m not sure how an app mainly used by millennials for very social purposes is going to be a security problem. Tencent acquiring it would not be a problem.

The USA is not China, it is a much more open market that has no qualms about “taking your money.” Ya, we aren’t going to sell them anything that gives them tech they don’t have already (high end fabbing or jet turbine production), but snap is much more of a business idea than a technology.
Murdoch is an American.
It can certainly be used as an excuse, instead of having to come up with a separate reason to justify.

Moreover, the precedent is set that this kind of thing isn't worth investigating.
AG Schneiderman:
Thank you for doing this and setting up this website! My representatives are already for net neutrality - but I will see what else I can do to support this cause. Thank you for fighting for our freedoms and to uncover the fraud that occurred during this comments process.

(I thought there was a comment using my mother's name/etc. but it appears that there's somebody else with the same name living in New York? Maybe? My last name's really rare [on the order of 50 people in the US?], so I wasn't expecting this at all, but they do appear to exist as a different person.)
Bitcoin is still in beta

W h a t.
It won't. First of all, I think most are overestimating the effect - as mentioned, many other countries don't have similar legislation.

It might make broadband more expensive, and it might make some Netflix-style bandwidth-heavy startups more difficult to start.

But, the U.S. has almost a monopoly on Venture Capital, a huge concentration of skilled labor in Silicon Valley, a huge internal market, relatively more lenient regulation and many other advantages.

For most startups, those advantages will outweigh any inconveniences or dangers the new playing field brings. I think it's akin to the danger from IP or whatever... if you're fearing that a big telco will try to shake you down, it means the startup is probably doing well (similar to when a startup is threatened with IP litigation).
Bitcoin is always fine. And the solution to bitcoin is always bitcoin. And in bitcoin, we'll bitcoin that bitcoin will be just bitcoin. Bitcoin and see.
> I don't understand. So they threatened to boycott if they weren't allowed? Or am I reading words wrong?

Probably, they wanted to say that it does not make sense to participate if anyway you have no chances to win. Or maybe it does not make sense to participate as a no-name. Or, third hypothesis, it does not make to participate as a second-class athlete.
> twblalock 468 days ago [-]

> The Idris example seems to need further explanation:
>> In Idris, we can say "the add function takes two integers and returns an integer, but its first argument must be smaller than its second argument":

>> add : (x : Nat) -> (y : Nat) -> {auto smaller : LT x y} -> Nat

>> add x y = x + y

>That's all well and good, if you know the values of x and y at compile time. Consider a program that reads x and y from STDIN. The user could provide an x that is equal to or larger than y (or could provide only one value, or values that are not numbers). I see no way to deal with that except to throw a runtime error. Is that what would happen?

In the case where the values are read from the external environment, first you would have to compare them before calling the function.

The comparator would return either a proof that x <= y, or x > y.

the proof ensures that at compile time you cannot mess this up.

in other words, You have to perform the check at runtime, but the results for the check are enforced via a proof that is ensured to be correct at compile time.

Connecting the proof the to the type system at compile time is the magic of dependent types

> 18 points by platz 468 days ago [-]

here's a full code example in Idris:

import Data.String

-- takes two integers, and a proof that x < y, and yields an integer
add :
(x : Integer) ->
(y : Integer) ->
(prf : x < y = True) -> -- require a proof that that x < y
Integer
add x y prf = x + y

main : IO ()
main = do
sx <- getLine -- read string from input
sy <- getLine -- read string from input
let Just x = parseInteger sx -- assuming int parse is ok, else error
let Just y = parseInteger sy -- assuming int parse is ok, else error
case decEq (x < y) True of -- decEq constructs a proof if x < y is True
Yes prf => print (add x y prf)
No => putStrLn "no prf, x is not less than y"

lets say I mess up the sign of the comparison on the case line and write decEq (x > y) instead... then I'd get a type error

When checking argument prf to function Main.add:
Type mismatch between
x > y = True (Type of prf)
and
x < y = True (Expected type)

there's no way to construct the prf value artificially, or sneak in different parameters that are unrelated to the prf value.

it's either a compile error or it's valid.

c.f. https://news.ycombinator.com/item?id=12349384
You do realize that probably 99.9% users don't go to lengths such as firewalls to secure their data. People are not that tech savvy in general. Even among all my tech friends, no one uses VPNs or firewalls.
Istio runs on Envoy; I'm not sure how Conduit is different from Istio.

https://istio.io/docs/concepts/traffic-management/load-balan...
I definitely didn't have a career when I was a teenager, but I had experience with different positions and just the thought of working for an entity whose goal was ultimately to make money felt entirely meaningless. I could smile at customers, I could upsell our shit, I could work for 12 hours a day hauling construction material in and out of renovated buildings, but the core of it felt disgusting. Obviously there's more room to move around when you have a degree and are working in a field you generally enjoy, but as a whole it's not a creative pursuit. In that circumstance, I would fulfill my life outside of work, but also in that circumstance I probably wouldn't have time to pursue any major projects outside of work while also getting enough rest and maintaining my important relationships. It just sounds like a nightmare. It sounds like all my time would speed up and run away from me until retirement, when I'd finally realize I should have just pursued what I actually wanted. And then I'd die unhappy.
Download Movavi Screen Recorder 5.1 Registration Key for Mac
AMD and Qualcomm join forces to power higher-end connected PCs
most hardware and plenty of software for that hardware is sourced all around the world...engineers involved make assumptions based on how that stuff should behave, perhaps even run it through tests of their own...but they hardly know _everything about it_
Internet globe is very connected, you can move your money anywhere you want, net neutrality will just make it more costly to make business in the US, but if we want US-based good-latency-servers then we will still have to pay for local boxen no matter what the laws. I am not in support of artificial bandwidth throttling and consider the internet to be a utility -- the information stream. Regulate, yes, but create a VIP lane ... why on earth. Once regulations get too privatized in the USA it won't make sense to base your telecom out of the USA any longer.
It may or may not be a win. If the constraint being validated is trivial and the complexity added is substantial then maybe it's not a win?

A common example for demonstrating dependent types seems to validating the length of a list, but they don't show how it's useful in a problem where validating the length is important (for example to prevent security issues).

Also, a good example would be performing a calculation on external input data (from user input, a file, or a network connection), rather than on a constant, and showing how invalid input is handled.
Phishing Schemes Are Using HTTPS Encrypted Sites to Seem Legit
What's so surprising about that? All cryptocurrencies are still very experimental. Nothing shocking about that.
This action by the Trump Administration is outrageous. These National Monuments are gorgeous and should be maintained as wild lands protected as a National Monument, not opened up for development and exploitation.
Microsoft launches Windows 10 on ARM
> Approximately 1 million of those comments may have been submitted using real people’s stolen identities--including those of as many as 50K New Yorkers, such as a dead person and a 13 year old child.

I'm not familiar with the story about the 13 year old child. Has anyone gotten in touch with them to see if they submitted it? Maybe they're the next Aaron Swartz.
I knew that. What I didn't know was if either of these could apply network policy to these endpoints. Guessing that since they each require their own CNI, there will be probs. So, whether the CNI uses iptables, or not, not clear how network policy API can be enforced.
Google Is Pulling YouTube Off the Fire TV and Echo Show
The difference is definitely not semantic when we are discussing the utility of a technology for a given use case.

It's like saying all computers are basically the same -- which they are -- and then going on to conclude desktops and smartphones and rack-mounted servers are all interchangeable.

Bitcoin may be a great investment asset. Time will tell. But its deflationary nature and its high volatility make it a bad currency. That's in obvious contrast to the original intention, which was a "purely peer-to-peer version of electronic cash would allow online payments to be sent directly from one party to another without going through a financial institution."
Yes, it works internationally. .. As long as you have a data connection.
In the early release, it's not possible: the 3 default environments are at the moment just for the repository, not per branch. You can deploy from multiple branches to the same environment though. Can you elaborate on why this would be helpful for you?
As popular as Chinese community in the US. I still don't know of anyone who doesn't speak Chinese use WeChat.
The optimistic scenario is that Bitcoin becomes a currency like cash or a store of value like gold, in which case it will be valued in the trillions. Somewhat conservatively let's say that the market cap in these scenarios is $2 trillion USD. At today's ~200B market cap, this implies the market is giving 10 to 1 odds that bitcoin is going to zero.

Not sure how any of this is on its face "irrational".
That is because they are traded on foreign exchanges. Though ownership doesn’t really convey much control in this sense given the voting rights public share classes (mostly to conform with Chinese laws). They are still chinese companies even if they have foreign share holders.
If it's 1-1 to USD, why not just swap coin for USD?
If such a system were rolled out state- or nation- wide infrastructure costs would fall. If rural roads were only enrolled once major upgrade/repair work was done, it would probably constitute a small portion of the project cost.
I did switch after just another chilling story about person losing his gmail account because of some machine learning security system false positive. There is essentially 0 user support from google in such cases.

And paid custom domain in google suite costs exactly the same as fastmail.

Plus email is fastmails primary business and I am their real customer.

I loved their product and their support.
I used Fastmail for a few years. I switched last spring due to two interactions through support channels that left me really despising the apparent company culture, attitudes about intellectual honesty, and general jerkishness.

You're probably considering switching based on your mail needs, so this might not apply to you, however:

In addition to mail, Fastmail also advertises[1] their plans come with their FastMail Files feature. It can be used for one-off file sharing (akin to Google Drive) and even static site hosting (explained in their support docs[2]). However, I learned from the CEO's comments in my support ticket that they're apparently overprovisioned and don't expect everyone to actually use the storage included with their plans.

I just took a cursory look at their landing and pricing pages and see they aren't touting Files loudly right now. (My initial thought is a hope that they took my remarks to heart from the thread that led to my decision to leave, when I said they should "go tone down the hosted storage aspect of your marketing". However, given that the promotional blog post from [1] occurred within the month that followed my comment, I suspect not.) The blog posts and Fastmail documentation[3] about the Files feature are still available, of course, whether or not it's still on the landing page.

This itself would have been only slightly disappointing, but the bad taste came from the passive aggressive responses in the support thread, that this was the same sort of attitude adopted in a previous (unrelated) support thread from a couple years ago, and that in this most recent incident, they decided to go on the offensive and compare using the 25GB storage space for making backups to abuse. (Their choice example being someone trying to abuse an ISP's lax limits on DNS to tunnel IP over it.) I half expect someone to show up here to try and apply a layer of spin in exactly the same way. Bonus points if they ignore my actual use case, try to make it out as if I was trying to do something I wasn't, and then call me the "disingenuous" one again.

1. https://blog.fastmail.com/2017/03/29/faster-files/

2. https://www.fastmail.com/help/files/website.html

3. https://www.fastmail.com/help/files/usage.html
How to use dependent types in practice is still a research topic. There’s some interesting problems with having a Turing powerful type system. Like type equality doesn’t work the same way.
Proof-of-Stake is a rich-get-richer algorithm. If you hold 1% of the coins, you will mine 1% of the blocks and keep those block rewards.

Ethereum has been a promising platform for innovation. It is doomed to become a shill infested cesspool the day POS replaces POW.
How to Buy and Sell Bitcoin Immediately
Did I misread the article, or weren't the banks they refused to name the banks involved in shutting them out of the US?
Have you tried using envoy directly? That's what we run, and it works well. I'd be interested to hear about the kinds of problems you ran into (as in, "yikes, is there something we should be watching out for", not "marketing").
Tether price is 80cents. Person trades bitcoin for tether. Person redeems tether for $1, profiting 20cents. Tether issues more (fraudulent, not backed) currency. Repeat.
Oh.

Murdoch "became a naturalized U.S. citizen (and as a result, gave up Australian citizenship) in 1985 to satisfy the legal requirement for U.S. television ownership"
By now they're probably suffering from nihilistic-destruction-of-institutions-failure-of-imagination fatigue.
Not entirely equivalent, since the coffee shop does not receive your purchase history.
I find people who say things like this don't understand the great amount of good that elementary education provides. Basic literacy and mathematics skills are tough things to teach effectively. They're not at all difficult to provide if you have the time and resources to spend on your child, but many people do not (have the inclination or the time). Bad idea to punish the children of those people for their parents' decisions.

Until you've seen the difference a good elementary education can make for a kid growing up in The Bronx, I'd say hold off on the snap judgement.
I really wish we'd get off our asses and study Europa et al, but instead we're stuck building this stupid-ass rocket so that congress looks good for making jobs. Just how much evidence needs to be pile up before we take these lines of inquiry seriously?
Stop at x time. What else is dangerous?
I don't know if any Fastmail employees read over this, but thanks for finally adding TOTP to the list of 2FA methods! I had been (uneasily) using SMS and wishing you guys would up your game, and I'm glad to see that you did.
Ongoing support for software-based products is an area where I don't think we have good answers yet. On the one hand, it's unreasonable to expect indefinite support and continued development of a product when it's not generating additional revenue to pay for those activities. On the other hand, when it comes to security issues, usually we're not talking about continued development so much as fixing defects in the original product.

If you bought a car or a refrigerator and it was found within a reasonable period after the sale that the car would break down suddenly under certain conditions or the fridge wouldn't keep food inside chilled properly, you would expect the manufacturer or vendor to make the product good at their own expense or to compensate you in one way or another; indeed, at least for consumer products, the law in many places would require them to do so.

Software companies have been given a bye on this one for a long time, but partly because we've also had a culture where they fixed their mistakes voluntarily. If they're no longer willing to participate in that informal arrangement, maybe it's time for statutory rules about minimum support levels and standardised, transparent disclosure of how long something will or won't be supported for, how updates will be handled, data privacy and portability including after the end of the minimum support period, and so on.