skysight-inc/HackerNews huggingface dataset:
A small explanation for users visiting the sample Crypto dashboard. That's a public dashboard which all users can access and modify in the same time. Firebase propagates changes in real-time so you may see widgets moving around while other users are playing with the dashboard.
> The very definition of refinement is that this can't happen. Formally, if A refines B, then A => B. And so, every feature C of B, i.e., B => C, is also a feature of A, because A => C, due to the transitivity of implication.

Then these refinements evidently can't model distinctions that are sometimes important.

> The denotation of TLA is behavior (a sequence of steps)

Again, that's operation rather than denotation. Terminology isn't that important, but why not use the standard terms?

> The only reason monads are used in the first place is that functions cannot describe arbitrary non-sequential computation.

They're useful because they allow us to decompose a program into fragments that can be reasoned about separately. That's a useful capability when you want to reason about a computation that is inconvenient to model as a function, sure, but that's by no means the only reason. States really and truly are functions, Writers really and truly are plain values, there is no difficulty at all in describing those things in functional terms. But it's still convenient to use the monad constructs.

> Monads aren't a "real" feature of computation; they're a tool of a formalism used to describe computation.

They are a real feature: computation genuinely conforms to the monad laws, and so results about monads will be true about computation. We don't have to make use of these facts if we don't want to, but they remain true.
This is a clever lib, nicely done! I'm writing in to say that I think your presentation of it could benefit from some focused revision.

In positioning something as an "answer to React", I think it's important to note what React's goals are. The React site (https://reactjs.org) describes itself as a declarative, component-based library for building UI that you can "learn once and write everywhere". The crucial thing to note here is that efficient updates to the DOM are explicitly not a core justification for React.

In fact, React's virtual DOM is often described by React developers as an implementation detail, not as a reason for React's existence and adoption. The appeal of React is in its declarative composition model for building UI, which frees developers from tedious data-bound state management on the DOM and beyond (react-dom, react-native, react-vr, etc.).

I believe this lib is better positioned as an alternative to so-called 'virtual DOM' implementations, rather than as an answer to React, since it provides no answer to core React features (declarative, composable components that can target all kinds of platforms).
> DNS with TLS in a shiny new language

My goals with TRust-DNS are a little more than just shiny new language. I really want to leverage Rust's safety guarantees, especially in regards building high performance implementations for core tools like this. I believe that with Rust we can produce more hardened software and deliver at a faster pace than other more traditional low level languages.

I haven't yet had a chance to really optimize the library. In my measurements for example, BIND responds to queries in 100 micro-seconds, whereas TRust-DNS is now down to 250 (on my local system, YMMV). There are a couple of low-hanging fruit things that I hope to get to soon, that should bring that down significantly.
I don't think you're really disagreeing with the parent comment. In order to remain at a constant level of profitability with a price reduction for all students, universities would have to reduce the benefits given to students (e.g., larger class sizes, fewer building upgrades). This would negatively impact the student's likelihood of becoming successful (like you mentioned), and would potentially cause some high-potential students to switch to other schools.

Brown is trying to get the best of all worlds: let the rich pay full price to maximize income, invest heavily in students to optimize chances of later success, and subsidize education for less wealthy students to keep the applicant pool as large as possible.
How to Stop/quite smoking Easily*  কীভাবে সিগারেটের নেশা থেকে মুক্তি সম্ভব??
Is this right given that ISPs have local monopolies?
It usually will but I think there’s something about TPM ownership that sometimes requires manual reset through tpm.msc and/or firmware options.
Think hard where the new opportunities will be. Go back to school in that area. Take on federal student loans. You don't have to pay them back till you finish.

Minimize monthly expenses. Rent out rooms if you own or vice versa if you don't. Buy raw ingredients instead of prepared foods. Food kitchen. Goodwill.

Pool resources. Costco runs.

Saving during good times is the best advice though.
Sure, except just about every example of companies doing the right thing had the flame of regulatory action and fines burning underneath them. If there was no risk of severe financial backlash, they'd keep pushing harder.

Not to mention the huge swaths of the US where there is either effectively or actually only one carrier. These companies don't act nationally - they will target their efforts to desperate areas where their customers will have no choice but to accept their terms. What incentive would they have to "innovate" or "improve service?" None.
Ah yeah, the old "let's take the last year in isolation and ignore the other 7 years of uninterrupted growth before that" approach to economics. Sound methodology.
Not the same thing at all. IPFS doesn't do any mesh networking it handles file distribution, storage and retrieval but doesn't do any of it's own networking so it relies on some existing connectivity from what I can see.
If it’s no longer illegal, would it even be called abuse?

Verizon sued to destroy the prior weak regulatory scheme. That’s why Title II was the remedy.

Edit: https://en.m.wikipedia.org/wiki/Verizon_Communications_Inc._...
This person misses the entire point of the argument for Net Neutrality - Yes it can be convenient if you know ALL of the apps and or services you'd like to use, however the entire internet being visible means putting small companies you have not yet heard of on nearly equal footing - giving them the chance to compete against the giants of commerce and sometimes (yes, sometimes it happens) WIN!

The beauty of the internet has been the ability for new things to pop up and create a real impact on the world economy starting with just a website.

If the rules Ajit Pai wants in place were to be in place when Amazon got started its likely Wal-Mart could have paid to simply make them disappear for most internet providers by "buying" the right to e-commerce traffic.

That's not a world I want to live in - and its not one you should want to live in either if you believe in dreaming and creating something larger than yourself
These credit card companies also charge 3% tx fees. Crypto fees can be much, much lower.

Also coins like Dash have some nice anonymization tools built-in.
BTC isn't an asset, so trying to value it based on previous asset prices seems wrong.

That said, I all also keep predicting a major fall, but with institutional money looking forward to the CME futures launch, I on the verge of buying in. (Market are excellent at making the largest number of people incorrect, so that probably means we really are on the verge of a crash.)
My push to start car does this if you push the button without applying the brake.
His restaurant examples of the burden of regulations aren't exactly swaying me here. Where are the examples of the burden the ISPs have had these last few years? It seems like knee-jerk anti-regulation without any concern for the specifics of the industry. In fact, these regulations should make it so burdensome to start new ISPs, but instead they have entirely separate legislation to prevent them.
"We promise we won't systematically abuse this, we double promise with a cherry on top. But we need to be able to, for reasons. But we won't. Swear down. But the option is nice, you know?"
Fake: where's the mention of discovering p=np and all the current assets locked in Bitcoin disappearing in an instant?
Others include netflix which is why netflix started fast.com as a way of measuring speed to netflix. By making fast.com faster the ISPs would be making netflix faster which was what they were avoiding. Smart move by netflix.

https://fast.com/
BIRTH OF THE DRAGON (2017) Bruce Lee, Action Movie HD
Full-stack smart contract development
Clickfox released their next-gen nifty journey science analytics tool
Conditional breakpoints have been around for years, which solve all of those via arbitrary javascript. You just make the condition falsey if you don't want it to break (or `doAnything() && false`). Skip-counters are just a global counter and `x++ > N`. "Probe Expression" does look pretty neat though, that'd be a bit of a pain to do by hand (probably just viewing logs, which does provide rich objects in recent-ish years).

Granted, the UI isn't as clear about the capabilities, but I generally prefer "run JS, return true" over "choose one of N kinds of things to do", even if one of the N is "run JS, return true". Minus skip counters, those are a bit annoying by hand (needing globally unique var names and all).

I'm not sure when Firefox's built-in debugger got it, but I see search results implying they've been part of FireBug since 2007 at the very least. And I don't remember Chrome's debugger ever not having it (once they got their current-gen-like one, iirc it launched with extremely limited devtools?), though I could easily be forgetting the early days.
In the recession you would sell your $100k house for $50k, but you would still owe the bank the remainder of your mortgage.
I actually went through that several times. It is not easy and requires specific expertise, like you said. Sometimes it makes sense to refactor parts. Microservices are not the only way to refactor. I like Trailblazer for example who for bigger codebases adds another layer of discipline.
Bitcoin Hits $10K
I did a fresh install of Ubuntu desktop the other day and there are Amazon icons on the sidebar by default. I didn't opt in unless it was maliciously bundled with another option.
IMHO the biggest issue is keeping the money sitting on multiple exchanges, that's very risky, especially these kinds of amounts to make arbitrage meaningful. The counterparty risk is high, crypt exchanges are not like banks or brokerages, you should buy or sell then withdrawal whatever you got asap.
Microsoft Windows 10 testers will soon see Timeline, Sets features
That argument is flawed. To prevent the plebs from right click-saving, it's enough to add some Javascript. If they have the skills to work around that, they have the skills to torrent.

So what does DRM solve again?
> New keys may have a button that must be pressed

My 15 year old car has this feature!
Many cars only have this on the front two doors. So feed your OCD by pulling back door handles?
Very neat! I really like the visuals.
>Which economy's future would you bet on?

This isn't a good metric. Countries with slavery, for example, can easily have a stronger economy than free ones. The amount of material goods a society produces is at best tangential to notions of morality or justice.
Statically-typed classes in JavaScript with defend.js
Correct, I was talking about the hacking tool.

I am a he, btw.
Yup, it allows you to leverage a lot of money.
Leave it on (or whatever it is the default).

The issue happens on specific workloads (databases, hadoop etc) and (this is often not mentioned) after the system is running uninterrupted for a quite of while. The slow down comes due that the workloads mentioned cause memory to be fragmented and when kernel tries to defragment the memory (unsuccessfully) on each allocation.

Since the workload you mentioned looks like it is for a workstation that won't be running a database 24/7 over months/years, you are very unlikely to run into it.
It's about time. This had been going on for years.
:) Not at the moment, but feel free to connect /w.
Definitely not recession-proof. Would suspect a very high recession correlation due to drop in housing starts, deferral of maintenance on existing homes in hard times. So maybe not the recession occupation of choice?
Sounds a bit like http://www.servalproject.org
An article completly broken by it's fundamental assumption; a NN internet is some how more expensive than a non NN one.

What impossible regulatory burden is the FCC really applying to the poor ISPs? The reason NN has been the default for all these decades is it's more work to manually inspect packets to provide these artificial tiers of service and the ISP gravy train is way too good as it is to risk exposing their monopolies to consumer outrage.

The internet is a utility as much as electricity, and yet you don't see the power companies saying it's important for ~competition~ to charge variable rates for your power delivery (though, recent advances means this is possible so, once NN is killed expect Grid Neutrality to be next).

Sacrifice the internet for profit for all I care, just don't fucking try to say it's a good thing for consumers.
With a supervising official on board, yes. And a web enabled streaming channel just in case.
Shoes, Bags, Even Dentures Lost at Burning Man Await Their Owners – NBC Bay Area
Keyless cars let you do that. Typically, on an automatic, the car decides between starting the engine or just having the radio based on whether you are pressing on the foot brake pedal at the same time or not.
When Tom Petty died there was no obit but in the US section the article subheadings were each taken from one of his songs.
Yeah, and there was the thing where Comcast slowed down Netflix until they bent over and signed a deal with them.

In the UK, Virgin Media have a deal with Twitter and don't charge for internet traffic to Twitter. Three do the same with Netflix and a bunch of others. Net neutrality is already breaking.
Creative Writing as a Career: What Are Your Options?
I’m looking for something similar for shipping ports. Anyone know where I can find it?
been on forums and modding actively right now.

I've seen polarization appear where none used to be before.

My view is that the web often results in a worst case scenario.

1) Text like books, are permanent - once written, you can always revisit them and they don't get erased

2) Voice is very good for real time expression of emotions you feel. But its never permanent, or easy to revisit. That momentary flash of emotion was never bottled and dissipated.

The net combines the worst of it.

Have an angry thread? You get triggered and write an angry response - and then go away.

Meanwhile, people keep coming to the thread, and it feels like an ongoing conversation - and now they start getting triggered - over and over again.

Its like having people exposed to an anger stimulus, randomly and at mass scale.

So its not just more apparent: It's not just tribe/group discovery - its straight up tribe/splitting and creation.
You post this when india just got the toughest laws on Net Neutrality in the world [1]. This guy is clearly fishing for clicks (outrageous headline!) and wants to invite the trolls to comment pages.

He's not right, he never has been, and never will be. And the idiots that upvoted this are also idiots.

[1]: https://redd.it/7g3aaq
Yes, the assets they hold are overvalued -- at least if you beleive US equities, housing, and other assets shouldnt grow in value faster than US GDP.
The article implies that smaller vehicle capacities means routes are more specialized and riders are picked up directly from the home instead of bus stops. The alternative, picking up 10+ riders at their homes, is quite inefficient in terms of route length and thus, in most cases, a longer ride time too. This of course comes at the expense of having a larger quantity of smaller vehicles.
Absolutely right. There is a reddit thread which links to a fairly large list of incidents from before and during the Title II regulations which clearly shows attempts and successful implementation of "fast lanes".
Yes. University endowments are all tied up in investments. This is necessary in order to grow the endowments and make them "permanent", since you need to replace what you spend with the interest you accumulate. However, it also introduces risk from unwise or unlucky investments.

If there is a substantial market correction, and the investments of Brown's endowment are substantially impacted, programs like this will be scaled back or eliminated. Brown will probably be unable to spend the money raised for this purpose on anything else though.
I feel somewhat ambivalent about this. I'm glad that Brown wants to eliminate student debt, and I'm glad that low income students at ivies often pay no tuition. However, this doesn't change their essential model, which is to enroll a very small number of undergrads[1], deny admission to the vast majority of applicants, and generally lean toward affluent students.

Compare this with an elite public research university like UC Irvine or UC San Diego. I didn't say Berkeley or UCLA on purpose, I said UCI and UCSD because people often aren't aware of what research powerhouses mid tier UCs really are, that they produce far more groundbreaking research than many of the exalted ivies. In addition, these universities enroll a much larger number of undergraduates, and a much higher percentage of low income students. The result is that these institutions do far more for the US and the world - they produce exceptionally valuable research, and act as an engine for social mobility on a large scale. UCLA, for example, enrolls more low income students than the entire Ivy League combined. I believe this is true of several UC campuses, and until very recently, it was true of Berkeley as well.

In short, I don't want to see the ivies patting themselves on the back too much here for offering a sweet deal to low income students. It's a fine enough thing in itself, but let's be clear - the elite private college system is structured to ensure that the absolute number of low income students will always be very low. I'd be more impressed to hear that an ivy is scaling up like UC Irvine and offering a good deal to a high percentage of low income students, than to hear they're remaining tiny, and using a massive endowment to shower benefits on a minuscule number.

[1] Interestingly, Berkeley and Harvard enroll similar numbers of graduate students, who are often very profitable as low paid skilled labor for research labs. The divergence is at the undergraduate level.
His restaurant example actually undercuts his argument: despite the "burdensome" licensing and safety requirements imposed by San Francisco, the city is flooded with restaurants.
Actually, the first thing to go on a budget during a recession is security. The last things to go? Maintaining plumbing and electrical.
With Amazon are you talking about all of the products for sale on amazon?
ChromeOS is proprietary.

And what closed source has to do with it is this: if you try to do this stuff in free software, people can simply remove it and distribute the clean version.
> Just imagine the PLO ever accepting an order to recognize the right of Israel to exist.

PLO first recognized Israel in 1988: http://www.nytimes.com/1988/12/08/world/arafat-says-plo-acce... Then again in 1993 during the Oslo Accords: http://mfa.gov.il/MFA/ForeignPolicy/MFADocuments/Yearbook9/P... The Palestinian Authority now in control of parts of the West Bank has also done it on several occasions and even Hamas has de facto recognized Israel: https://www.middleeastmonitor.com/20141011-forget-its-charte...

Meanwhile, Israel has not once recognized the right of Palestine to exist.

Why discuss this detail of his essay? Because details are important and if you are ignorant about them, like this author is, you reach the wrong conclusions. The ignorance forms preconceptions that are not true in the slightest. In this conflict, we have one side who is occupying the other and refusing to let go of territory it has conquered. Resisting that is justified and obviously based on nationalism, not the Thar concept the author writes about.

You can't just claim that all those Middle Easterners are driven by Thar, and we Westerners are always the rational ones. It's not so easy.
> and of course the whole gamer gate scandal

What about that? The feminist-frequency videos where reverse dog-whistles; insults directed at the gamer community, but couched in misrepresentations and pseudo-intellectual terminology to dress it up as honest critique. Then the trolling and cyber harassment that was received from some demographics were used to tar any critic with the same "GG-supporter" brush.

Not at all similar to physical harassment and rape by powerful celebrities.
> It is worth noting, by the way, that BitTorrent users were free-loaders, using massively more bandwidth than the vast majority of Comcast’s customers.

I don't think that's how a service agreement works. If I'm paying for a certain bandwidth and latency, I should get that (to within reasonably improbable outages) if I use it 100% of the time or 1% of the time. If the ISP can't keep up, they should be penalized for it or change the labels on the thing they're selling. You don't see a cloud storage provider saying "you get 100 Gb of storage, but only if you don't use 99 Gb of it."
Was hoping this was a write up on how to build a physical camera that shoots spherical video -- This is great too though!
Ajit Pai did nothing wrong and shouldn't be attacked with as much personal vitriol as we're seeing.
One of the good way to find out if there is a bubble is to simply plot a graph of total earnings growth vs stock index. If these two are out of sync by huge margins, it's a sell time.
It is an insidious problem. There were a couple of kids around here that weren't stealing the cars, they were just breaking into them on driveways at 2AM and rummaging around for spare change and what not.

Almost every countermeasure defeats the convenience factor. One proposal was to have the key light up and you pressed a button on it to say 'yeah do your thing' but at that point why not just have the old style push to open fob?

Perhaps something magnetically coupled rather than RF coupled will help keep it reliably a near field sort of interaction but even that is subject to a slightly more sophisticated relay device.
Yeah, the whole comparison to T-Mobile is baseless.
>Without Capitalism we wouldn’t have anything like Facebook or Twitter.

So, like, three gifts at once?

Though, citation needed. The web was created by public funds, in a European public institution. The internet by army funds, in a US public institution.

What we call capitalism is just a way of organizing the economy that emerged circa 14-15th century (people have almost always bought and sold things, but not in a capitalist context).

Historically capitalism has never been the only game in town (and I'm not talking about communism either).

Whole societies and empires rose and flourished without it -- and they could have just as well created social media too, if they had the technology at the time. They have created tons of great stuff we now build upon anyway.

>These services don’t control ‘the’ flow of information, they are entirely additive to what we had before. Arguing that we have worse options for communication now is bizarre.

Of course they control the flow of information, that's how they make money.

That they don't control "the whole flow" or that they don't hold people at gunpoint to dictate their own flow is irrelevant for what we're discussing.

It's enough that they control a large enough flow, for enough people, to be hugely (and negatively) influential in the flow of overall information.

And of course, they're not neutral to the flows they allow.