skysight-inc/HackerNews huggingface dataset:
> At that point, the incentive for mining [...] will disappear

The intention is that by that point, the transaction fees alone will be sufficiently high to incentivise mining.
"only a few minutes" - try explaining that to any DBA working in a regulated environment, like healthcare / cGMP: all of our ETL scripts require validation plans & independent review by QA -- nothing touching/persisting data is "a few minutes".
Not to mention that there was a race condition in the implementation which would cause random memory corruption under high memory load. Varnish Cache would consistently hit this. Recently fixed:

https://access.redhat.com/documentation/en-us/red_hat_enterp...
The Bekenstein bound requires any finite volume to contain a finite amount of information, otherwise it would collapse into a black hole. Therefore our brains are, at best, finite state automata, and not even Turing complete.
Create JSON output from the Linux command line
"Great expense" isn't enough in all jurisdictions. In a sweat-of-the-brow jurisdiction like the UK it would be, but I'm not necessarily convinced that it would be in the US.
Back in 2000 in a library I saw a book by 2 economists that had Nobel Prize. The second part of the title was something like "Are you ready for the next 20 years of uninterrupted growth ?".

Then one year later we had the .com crash :-)
Economy is tied to real consumption of finite resources. As we mine, fish, over harvest, burn, etc. our way out of some resources, we tend to find substitutes or other efficiencies to begin again.

But... there is the question of whether our economic growth brings us closer to the absolute carrying capacity of spaceship Earth.

So yeah, economic growth can’t continue forever without hitting some bio-physical constraints. But then maybe we’ll take to the stars. Or maybe we’ll crash hard and have exhausted the readily available and easily used resources, and be unable to sustain a large technological society.
I think that what you're reaching for is wrongly engineered. Some of the big frameworks go through huge effort for non (or small requirements). I continue to be amazed at the nonsense about hot-loading and time-travel debugging that people think are framework requirements - while requirements like good bundling or actual debugger support which doesn't blow up on trivial examples go unfixed for years. It's those framework non-requirements which fuel the idea that the frameworks create bloat.

It's all about minimizing the effect of the non-requirements, careful choice of a minimal set of sensible enough frameworks, and then rigorous agile prioritization at the application end.
He also thought it was a problem: https://news.ycombinator.com/item?id=1057338

I used to agree with the comment you linked, and this other one: https://news.ycombinator.com/item?id=658683

But then people pointed out a bunch of comments that got downvotes. These were polite comments, making a coherent point, on-topic and not attacking others.

And there are a couple of accounts who appear to have most of their comments insta-downvoted, even if there's nothing wrong with them.

One solution: almost all logged-in accounts have the ability to upvote. Few accounts have the ability to downvote. So if anyone sees a downvoted comment they can supply a corrective upvote.
> All of the reports I’ve seen so far emphasize the point that HP (or Microsoft?) has installed this "telemetry" program without advising customers or requesting permission to install.

It is now well established that if you choose to run Windows you're going to be playing this game of cat and mouse until the end of time. You simply are not in full control of the OS.
Do I look like I can afford fresh ingredients
I've found HN better in the last year or so than at any point since its inception
Ouch, that's worse than salaries here in Uruguay, and I thought we had it bad (I knew Southeast Asia had bad salaries, but I didn't know that extended to Russia too)
No, because you have no obligation to disclose anything to Facebook. If you choose to disclose this to Facebook that is your mistake. You absolutely must disclose medical information with a medical provider and with your insurance company.

> What if it's in Google docs instead?

If you didn't put it there than somebody has violated your privacy or violated HIPAA.
If clean data and easy access is a priority and you are willing to pay money, the gold standard is CRSP [1]. Full disclosure - I work there.

[1] http://www.crsp.com/
Probably meant the hard-left, democrats call the alt-left the hard-left (ex. clinton, the mainstream media).

Republicans (trump, the republican media) are trying to rebrand the hard left as the alt-left.

And the hard left most definitely exists.
Hey, thanks for being a FreeBSD dev. Every time I've been on a FreeBSD system my reaction has been "this is kinda weird, but really nice." (Especially, compiling from ports.) The fact that y'all are connected with academic communities who can solve these problems in more principled ways is really wonderful, as are the BSD/Solaris attitudes of "hey let's wall off things that don't need to interact" and "the kernel is the most important part, but it's not the only thing."
> DRM might be technically impossible to get 100% right but you don't have to get it 100% right if you have regulation to back it up.

You do if you don't want the material to show up on pirate sites, which is why they claim they want it.

> The alternative is that there is no way to protect IP on the web

Protect it from what? It can't be posting the material to pirate sites because it's already there. It can't be preventing users from making a fair use copy because that isn't a thing to legitimately want protection from.
Linux web dev here.

Will confess that most of it is scientific applications for the science and modeling team, which runs a mix, leaning towards Mac and Linux for... reasons, so dev work on Linux is better suited.

The "Business" side of the house uses C# and IIS on Windows.
Actually not. TOR is easily blocked and doesn't play well on mobile (install, bandwidth, and battery hog.) Plus if you're sending a small commands say in Twitter like ones below, no one would even notice.

New Update http://somefile,com/command.json

Subscribe to @newJunkAccount and @AnotherJunkAccount

@newJunkAccount has CLOSED his account
A good start, though once someone has physical access to the OBD port, all bets might be off: https://www.extremetech.com/extreme/132526-hack-the-diagnost...
there are two:

https://news.ycombinator.com/item?id=658683

https://news.ycombinator.com/item?id=117171

But he also said it was a problem: https://news.ycombinator.com/item?id=1057338
This is not a Show HN and the verb is in the wrong tense.
Huh? It's still trivial to pirate media. Grab a copy of the Tor browser, go to the same pirate bay you used ten years ago, download the same content you did then. Zero investment, it's just as straightforward.

The legal options have improved, but the illegal ones are still there and just as good.
At the same time, posts filled with expletives but from people pro-government are reviewed as "we didn't find anything wrong"
My memory may be faulty, but I think google finance had real time quotes when yahoo and most everybody else had a 15-minute delay.
I mean if "literally" can mean "figuratively", why not?
an analysis on the top page with time machine would be very interesting people..
Unfortunately the last thing we're going to get from an Engadget article is anything resembling technical analysis. The author refers to the software as a "driver" twice.
> what would keep these mag-lev cabins in place?

I'd give the engineers a bit more credit to think about such a scenario.

I guess the real advantage here is you no longer need one lift per shaft - just dedicate a shaft as "up" or "down" and have lift cabins switch as needed.
Extracting Automata from RNNs Using Queries and Counterexamples [pdf]
So in general it doesn’t show anything, except for top movies.
In implying that the point of DRM is to make copying the data impossible, the EFF is creating a straw man.

I don't lock my doors and windows because I think it makes it impossible to break into my house. I know full well how easy it is to get in anyway, just by breaking a window. I lock my doors and windows because I expect it to create just enough of an inconvenience to mostly deter others from breaking into my house.

Let me re-iterate the emphasis on the word 'mostly'. I'm not trying to make the perfect the enemy of the good here. It's the same for media companies. They're not looking for something that will prevent everyone from pirating movies. They're looking for something that will make pirating movies just inconvenient enough that most people choose to pay for content instead.

The EFF really needs to come up with a less specious argument if it wants to see much success in convincing anyone who doesn't already agree with them in the first place.
Audiovisual Installation Translates Emotions into Beams of Light
It depends on the group. Tech events tend to be undercover head hunting events so they are usually sponsored so they waive the fee.

The smaller groups have to pay a fee too which gets put on the members. Usually it's very small and I'm happy to pay two dollars a year to goto a language exchange if it helps keep the group alive.
>That's pretty impressive, but it didn't work in FF (Developer 57.0b1 64-bit) for me

Could that be an issue with the new rendering engine? I'm on Waterfox 55.2.2, 64-bit, and it worked well for me.
This is a definitely an interesting approach. What is the web engine behind it? I thought about the idea on building a simplified interface for blink and V8, but they are extremely and differently glued to other pieces of software in each Chromium release, that it is indeed hard to keep track on them.
Since when did years of experience start to matter? Hiring in this business is still heavily ageist in favor of younger people afaik.
This hacker equipment needs to be outlawed! Our proud American job-making automobile companies are under attack! I'm putting forward the SAVEKIDS bill to address the issue immediately.
Why don't they put an on-off switch on the fob? Better yet, when the vehicle locks, send a turn-off signal to the fob. Then you'll have to press a power button to reactivate it.
You mentioned that the hosted recursive resolver is free to use along with api access in exchange for a backlink, and I checked out the parent project which is Tenta browser and it's currently in beta for Android, so how do make money? Do you sell any upgrades/support to businesses?
Yes—click the “past” link.
This isn't really focused at developers and admins. The paper is for CEO's, managers, and purchasing to get new software and hardware for reasons. It also makes great presentation materials.
Actually, I prefer 15 minutes trips, so https://hckrnews.com/
I've always wanted to know what happened with the creator of this botnet. https://blog.rapid7.com/2012/12/06/skynet-a-tor-powered-botn...
The issue was actually caused by changing the CPU, the TPM was then reset by the BIOS after the first powerup. I could try it again though.

From my previous experience, Windows will happily insert the decryption key into the TPM once you enter the recovery code.
This is (again) why I would not consider owning a computer with a manufacturer-installed OS. Even Linux.
Not that loan-free educations are bad, but why is Brown raising $120M from alumni and the like, rather than lowering their tuition by $120M?

The student loan crisis is only a crisis because Universities (lead by the Ivy League and similarly elite private colleges) are charging exorbitant prices for tuition, room, and board.

This isn't charity or benevolent. This is just bilking a different class of people.

Efforts to reduce the cost of tuition, rather than shift the cost burden to different people, are the real humanitarian work here.

Here's a story from 2013 on Texas's efforts to create $10,000 Bachelor's degrees. https://www.texastribune.org/2013/01/30/guide-getting-one-te...
We support full recursion, including DNSSEC validation and chaining up to the roots. CoreDNS is an awesome product, but it's much more focused on service discovery
So Windows has this problem more than other platforms because of OEMs and drivers and such are 3rd party by default, rather than as the exception.

Still, there isn't really sufficient protection to avoid telemetry and data collection on most of the platforms I use.

Mac App Store apps are somewhat sandboxed, but many common apps aren't. And running "little snitch" is great, but it's not for typical users.
Show HN: Awesome Cloud Native Tutorials – A Curated List
Trapped: The Grenfell Tower Story
I suspect settings actually depend on kernel version: 4.4 -> 'always', 4.11 -> 'madvise'

Perhaps there are issues with 'madvise' in kernels prior to 4.11, so they chose 'always' rather than 'never'.
The protocol can also be changed to Proof of Stake (PoS).
> Facebook is a public forum not all communications are public per se so it's not clear what a disclosure is...

It doesn't matter. Once you surrender data to Facebook it is theirs to do whatever they want with. That is the disclosure. There is no gray area. If you don't want Facebook having that information then don't give it to them.
One thing not mentioned so far: most people have the ability to upvote. Fewer people have the ability to downvote.

When you see a downvoted comment it's not only had downvotes, it's failed to attract upvotes.

If people upvoted more unfair downvotes would be less of a problem.
I'm not a climate change denier, but I haven't heard any scientist predicting ten degrees C of warming in ten years. That seems wildly improbable.
The funny thing is that most of those things have not happened yet and the first market reaction on election night was that Trump’s victory was a very bad thing.
The appeal and the pitfall of JSON is just that it's less broken down than tables.

Suppose you built a "contact database," but all it was was the scanned images of people's business cards. You could flip through pages of them, but you can't do searches. But the input is so easy, just scan and save. And the output is likewise easy, just embed the images in a web page.

1. Running optical character recognition would be the first step in breaking down these cards into parsable information.

2. Converting the text into JSON and storing it in MongoDB would be taking it to the next level.

3. Breaking down the JSON into a set of tables would turn it into the most flexible and useful form --- but it's also the most work.

You don't have to take all your data all the way to tables. For example, I leave my website log files as text. Grep and awk are usually all I need. I don't usually import them into tables --- although I have a few times for easier analysis!

Although you don't have to turn everything into tables, I would say there are several applications out there where the developer should have gone all the way and not stopped at JSON.
Sure do, the company I work for organizes business seminars. We're a small team (6 persons) organizing 15-20 conferences a year. We have two programme managers, two marketers, one person on customer support and one administrator/office support.

The cost breakdown is roughly:
25% speakers
25% location, F&B, tech
25% marketing
25% margin

Starting without funding in advance is damn near impossible. All parties will require an advance, you'll make costs without even having one single paying customer.

Starting an event from scratch is really hard, people won't be familiar with it. There's an old adagio: first time you loose money, second time you break even, third time you'll make profit or you won't exist anymore...

If you have an awesome idea I think the best way for you to go is to partner up with a corporate sponsor who will take care of the costs/risk. However, if you don't have any experience and a network in the field I doubt you'll be able to convince anyone...

Good luck!
whats the past link? :/
Bottom right-hand corner of every chart has a "headlines" window. Might not be amazing but it is there.
Decide on dinner with an Ethereum arbitration contract
Ohh got it got it..
What I'm interested in is when we as a community start to punish these companies. When will conferences refuse to allow Netflix, Apple, Google and Microsoft employees to present?

In the 1980s the civilised world turned its back on the apartheid regime of South Africa, and in time South Africa ended apartheid. This didn't come at an insignificant cost (South Africa was at the time a well-developed economy which other nations would have liked to have traded with), but it was morally worthwhile.

Clausewitz noted that war is diplomacy carried on by other means. It seems to me that this article is EFF's declaration of independence, and the next logical step is to declare war on the W3C and its members. They are breaking the web; they are destroying the security of the web's users; we need to stop enabling this behaviour.
BGP integration and nSnitch, both are nice adds.
Nobody said they don't get cracked but it's far easier to pay $10/month for a Netflix subscription than it is to hunt down rips of everything on there.

If there was no DRM you could just save the movie to your HD with little effort.

Enough people pay for streaming services to make them a viable business model. That's all the empirical data you need to show that DRM does work for its indented purpose.
All the usual releases of Firefox also ship with a dark theme these days. Menu > Customize > Themes > Dark.
or, citing the laws of thermodynamics, it may also decline to do so.
> you'll see that a formalism like TLA allows you to rigorously, mathematically and formally define the "sense" of equivalence that you're interested in. This is not quite possible in functional formalisms. The reason is as follows: computations simply cannot be fully described by functions (unless you describe them essentially as state machines using a monad). Bubble-sort and mergesort compute the same function, but they use different computation. A formalism that allows you to describe arbitrary computations precisely can then allow you to pick your "level of detail".

Yes and no. Fundamentally no formalism will ever allow you to use more detail than the formalism has; even if the formalism lets you refine existing descriptions, adding those refinements will break symmetries that previously existed, so there's no way to get away from having to redo your analysis. TLA sets that baseline level of detail at a lower level (or equivalently is more precise), but I think you'd still encounter the same kind of problems if you wanted to model the machine state at a lower level of detail (e.g. as an extreme example, if you wanted to analyse vulnerability to rowhammer-like issues). We can choose a more or less detailed model, trading off how much detail we can talk about versus how complex our description space is and how many or few symmetries we have, but there will always be finer details not captured in our model.

> If you read part 4 of my post series on TLA+[1], you'll see that a formalism like TLA allows you to rigorously, mathematically and formally define the "sense" of equivalence that you're interested in. This is not quite possible in functional formalisms. The reason is as follows: computations simply cannot be fully described by functions (unless you describe them essentially as state machines using a monad). Bubble-sort and mergesort compute the same function, but they use different computation. A formalism that allows you to describe arbitrary computations precisely can then allow you to pick your "level of detail". TLA places all computations in a nice Boolean algebra, where all algorithms are neatly organized in a Boolean lattice. You can then define (in two lines) a operator, `ExtensionallyEquivalent(_, _)`, that captures the functional equivalence, but also define other forms of equivalence, down to the most detailed ones. It is completely flexible in the forms of equivalence it can describe.

So what I don't see is why you would ever not want the higher-level tools, even if working in a lower-level formalism. A lot of the time we are analysing only in terms of denotation (sorted list) rather than operation (bubble sort or merge sort); I'd certainly expect to be able to recover that kind of equivalence as you say, and it's good that the formalism makes it easy. But in that case then surely, even if I were working in something like TLA, I'd still want to be able to talk about whether two procedures implemented the same function if the filesystem operated in a certain way. I'd still want to cheaply compare functions for equivalence "up to" fiddlier aspects that I could separately analyse in more detail. I'd still want monads.
5 Must Read Cryptocurrency Newsletters
Show HN: TeamTab, a simple tool to keep teams in sync
teaching involves didactic reduction, in other words: simplification; from the easy to the difficult, from the special case to the generalization.
not to mention that back then, being in a startup was something great, nowadays it's frowned upon

Yeah, there's been a very notable shift here, in terms of the zeitgeist formerly being very pro-business, pro-startup, pro-innovation, and generally positive; and now the zeitgeist being very negative, cynical, anti-business, etc. Not to say that there aren't still voices on both ends of that spectrum, but the prevailing sentiment has clearly shifted.

I wouldn't say HN is "dying" but it's not the same site it used to be. I attribute that largely to a change in the composition of the community. Whether that's a good thing or a bad thing is a question I'll leave for the philosophers.
> In the Netherlands haring must be lightly salted for preservation but otherwise raw, dipped in minced onion and accompanied with a pickle.

For the uninitiated this is the best way to eat them, as it is effectively Dutch sushi.
PowerDNS provides the standard by which other DNS resolvers are judged. It's an amazing, stable product. Our biggest features compared to PowerDNS are that we provide DNS-over-TLS, we're written in memory safe golang (which is also highly concurrent, although so is PowerDNS), and we support BGP natively, making "internet wide" deployments a breeze.

All of these things could be done with PowerDNS, but it would also require a number of other programs "helping" in order to get TLS and BGP, and the configuration would be a mess. With TentaDNS it's all in one convenient, easy to run place, with a single set of config, running multiple (even 10s or hundreds) of resolver configs all in one place.

That having been said, our Authoritative support (e.g. being the main nameserver for a domain) still lacks a lot of features, while our recursive support (e.g. being the resolver you use for your browser) is top notch.