skysight-inc/HackerNews huggingface dataset:
Only in regards to things where the federal government has authority to begin with. There are very good reasons (the Enumerated Powers clause, the 9th and 10 amendments, etc.) to question if the federal government actually has all the authority it claims for itself.
Many businesses have to work across functional units (and vendors) to meet customer needs.

The kind of system described here

http://www.omg.org/spec/CMMN/About-CMMN/

addresses the integration of a crm with a trouble ticket system, etc... There are other ways to do it and it is also a case of

https://en.wikipedia.org/wiki/Business_process_management

which is not just a kind of software but a practice that can be used for tuning up manual processes. Good luck!
> What claim don't you think is true? Was the NSA not indiscriminately scooping up and querying communications between US citizens?

Correct. That would be a very big deal in my opinion. After reading through the hundreds of source documents leaked by Snowden, I did not find evidence of any sort of mass collection on US persons. Only foreign collection, which is the job of a spy agency (Perhaps plenty of ethical arguments there of course, but that is besides the matter of USPI collection/reporting).
Related: Metamath (http://www.metamath.org) is a tiny formal language for writing proofs in symbolic logic, as well as a tiny proof checker for the language. The author, Norm Megill, has used Metamath to formalize many theorems from set theory and analysis. For example, see his formalization of a typical proof that the square root of 2 is irrational: http://us.metamath.org/mpeuni/sqr2irr.html
Not just GPUs, most labs don't embrace parallelism in general. I managed to get a 55x speedup between serial and parallel versions using the same program (SPM) by using several mid-grade computers and caching (Sorry I don't have anything written on this, I've been putting it off).

It's hard to get researchers to switch using the algorithms that they know and are comfortable with, which is why I think stuff like BROCCOLI, or PSOM haven't taken off.
Cool, looks like a nicely built set of utilities in python. Thanks for the link.
17 Way-Too-Bold Tech Predictions for 2018
I have asked many times for the source from author, Podatron, but he doesn't seem to like the idea. I use Symbos on the MSX-2 and with a disassembler under an emulator you get quite far without the sourecode, especially if you start by studying the source code to the apps on the system. Luckily the system is very small (as is the memory on these machines), so with a few weekends of tinkering you can find your way around in it.
arxiv.org? I’m not sure they take individual donations, though.
Fraternity hazing and military bootcamp are basically the same.

There's a lot of parallels that shouldn't be legal since hazing isn't, but nobody talks about it
Perhaps a better explanation of what randomnumber42 is getting at comes from Dan Bernstein: https://blog.cr.yp.to/20140205-entropy.html
Increasing the ISO is just a multiplication of the raw sensor value - it doesn't lead to more noise - it just makes it visible to the human eye. Also on my DSLR I can see all kinds of stripes and cross patterns in the noise, so a lot of it is not really random but based on static sensor properties.
Like a bus? Or is that the joke?
Using sed to make indexes for books (1997)
Manifesto – pen agreements collaboratively on Ethereum
It seems to work by setting up channels of funds between entities. To create a channel and fund it requires a bitcoin transaction. Payments from the fund to the recipient can then proceed off-chain to a maximum of the fund amount, then another on-chain transaction settles it.

This sounds somewhat cumbersome, but AFAICT the gains apparently come from routing between channels, so if A wants to pay B, and channels exist from A->C and C->B then payments can route that way, without the need for more on-chain transactions.

To me this sounds really quite complex, and also like it's going to involve intermediary 'hubs' which will process off-chain transactions and... well it sounds like banks and centralisation again, something the BTC crowd apparently hate.
tl;dr yes.

A lot of applied mathematics (physics, quantitative finance, some machine learning) rely a lot on analysis. In a more general light, I would advice against skipping bricks of something that big and that close to your direct field because "it is useless".
It kind of gives you a sense of the sort of messaging that Dr. Brooks doesn't have a lot of respect for. I have big fan of Brooks' work from his MIT days on, it is very practical robotics which has done things that others haven't (Ghengis, the walking robot, really was a revolution in terms of mobility[1]).

But hype cycle or not, it would have been interesting to see where he had placed reusable rocketry in 2007. Would it have been 'by 2020 it will be common' or would it have been 'won't happen, the existing rockets work quite well and there isn't enough gain to justify the additional work.'

While Brooks picks on Elon a lot, the core of his essay is what makes it 'easy' to predict something will happen versus what makes it 'hard'. And I think he doesn't give enough credit to the fact that even if something is possible it needs a catalyst to get it to precipitate out of the realm of possibility into the realm of reality.

I think Dr. Brooks has a blind spot on space challenges, but I enjoyed his AI predictions. Of course it is entirely possible I just want easy access to space more than he does :-)

[1] I'm guessing @animats will disagree with that assessment :-) But he and Dr. Brooks approached the problem of inverse kinematics very differently and both got good results.
Worth taking statistical analysis at the least. Depends on what you want to do. "applied quantitative fields" is a very wide brush to use.
WP Engine Secures $250M Investment from Silver Lake
I agree here and would underscore this point: in the hands of public experts, media talking heads, and many types of charlatan, predictions can be immensely powerful and have tremendous influence over public policy and social behavior. So I consider assessing them for accuracy and holding prediction-makers accountable a public good.

For a compelling book-length treatment of this question, see Philip Tetlock's Superforecasting:

https://en.wikipedia.org/wiki/Superforecasting

This project was spun off from the book and is my favorite online forecasting site:

https://en.wikipedia.org/wiki/The_Good_Judgment_Project
> Allowing the experience to wash over you without analyzing it while experiencing gets harder.

"It's not over-analysis when every stray thought about the film has to be quashed lest you realize how stupid the movie is." -- Howard Tayler
Are you implying that Hitler wasn't responsible for the Holocaust?

The person following the orders certainly shares some of the responsibility, but the person giving the orders bears even more of the responsibility.
The art of the error message
Core Wellness – Flexible – $75k and Equity – iOS Developer – Www.corewellness.io
https://www.corewellness.io/ios-developer

We are building the product to make meditation more tangible, more practical, and more engaging so that it can work in everyone's life.

We have developed a unique physical meditation tool combined with a personalized learning system to make meditation work for everyone.

We have raised a large angel investment and the backing of the Bolt Hardware Accelerator in SF. We already ran our first Beta and are gearing up for our next Beta of ~500 units this Spring. This is a really exciting time to get in, as we are working hard to hit the market by Holiday 2018.

If you'd like to learn more, feel free to ping me at brian [at] corewellness.io
I can give you one data point. I have worked on computer vision (implementing, training, and running convolutional neural nets), and have also applied machine learning methods on natural language processing. I have never taken analysis and I do not feel like I am missing out. In most applied machine learning fields nowadays, the "math" of the it is used more as a gateway into intuition, not really anything rigorous. For example people in machine learning research nowadays use the word "manifold" a lot, but I would wager most do not have a rigorous background in topology. In applied machine learning, the details of your problem domain matters more than understanding the derivation of your tools, this is true even in computer vision, which used to be a lot more rigorous before convolutional neural nets. However, if you are looking to take a rigorous course in probability, I would recommend analysis since it is the foundation of probability, you cannot derive a lot of basic theorems in probability without it. I took a rigorous class in probability once without analysis, and the gaps in knowledge was Clear everyday. If you are determined to tackle theoretical course just as a confidence builder, then I would recommend linear algebra since it has far wider applications. Linear algebra is also a must if you want to understand many optimization tools used in machine learning.

As for finance, I have a no direct knowledge here, but I do know when companies like D.E. Shaw recruit here at Penn for quantitative analysts, a strong math background (including analysis) is a must. Whether they use it on a day to day basis is unclear. However, taking one analysis class will not be sufficient for such firms, they are looking for many years of formal schooling and in some cases, publications.
In this particular case it feels like a throwback to 80s-style tech marketing. I think the low resolution bitmap images look cool and associate beauty with the OS in a way. I understand your point but I say keep them!
Density alone does not imply landlords, though. It is a very business centric view of housing to have density imply rent. In a simlar vein to how I wish more people would even talk about business cooperatives you can have a residential building that is also managed in a cooperative of its tenants. Such arrangements share swathes of the issues more general cooperative businesses have (like how nigh-impossible it is to start one) but there really are not only two roads out of the development hell we are in right now, where one leads to self determination where everyone is a property owner of a factory minted mcmansion with a standard slab of astroturf while the planet desertifies into an inhospitable fireball or everyone is subservient to tyrannical money hungry landlords in cramped conditions with rationed electricity and water access.
There's not much stuff to crash into in the air other than other air traffic which is far less densely distributed than things one shouldn't drive a car onto/into are on the earth's surface.
If you enable the additional privacy lists in uBlock Origin and clear your Cookies frequently, then not really.

In fact, Firefox Focus is functionally equivalent to Firefox's Private Browsing. They both don't keep Cookies, browsing history and such, and they both have a tracking blocker with the same blocklist (sourced from disconnect.me). Most ads have trackers in them, which is why this tracking blocker also blocks most ads (neither of them have a dedicated ad blocker).

Where they differ is that Focus is obviously just not a full-featured browser - no browsing history, even if you want it, no bookmarks, no extensions, no sync, and tabs are still a bit awkward in it. It's also generally mostly intended for the kind of user that has trouble finding or understanding Private Browsing. It being in a separate app makes it accessible from a place they know, the app launcher, and it explains nicely that browsing history and such won't be shared, as data is generally not shared between separate apps.

On a technological level, the big difference is that Focus uses Android WebView (on Android; on iOS it uses WebKit) instead of Gecko as browser engine. This helps to keep the APK size really small, which is desireable, because you sort of expect users to install it as secondary browser in addition to their full-featured browser, and well, it wouldn't help Mozilla's market share that much anyways, if they'd put Gecko into it, since it blocks most ads (and users will probably use their full-featured browser for online shopping and such, too), therefore hardly generates revenue for webpage owners, therefore wouldn't really incentivize them to optimize for Gecko either.

Some advanced users like to have Focus around alongside a full-featured browser, because you can tell Android to open links in Focus by default, meaning all the random links that you might click on in other applications will open in it, not cluttering up your browsing history and not leaving behind cookies or just in general fingerprinting you further. And if you then do want to open a webpage in your main browser (maybe also just to save it into your browsing history), then Focus does have a convenient button for that.
Right (although this depends on the journal). But these problems are a function of Elsevier's immense market power as well.
It's helpful if you are reading literature actively. If you are interested in some new technique and want to understand the theoretical aspects of it, then knowing analysis will be useful in deciphering the presented proofs. It may also be helpful when implementing said methods as you will better be able to formulate sanity checks and such for your implementation.
I do apply that logic to any extremely wealthy person. I mean, I don't lose sleep at night worrying about the billionaires of the world, I just think it's ridiculous to suggest that they deserve it, or that they earned it somehow.
I think it makes the most sense to put tokens as a separate layer on top of the raw storage/communication layer. (If I understand correctly, this is what Filecoin is intended to do.) The same content may be stored and served by both donated and charged-for nodes cooperating.

For example, imagine someone has a blog, for which they've paid the network some number of tokens to host. I find one of their articles to be particularly useful, so I pin it on my own node (perhaps with a bandwidth limit if I don't want to get flooded should it become popular) and thus donate a small amount of hosting to the owner of the blog.
Part of the problem is we've seen some of the nastiest predictions of past sci-fi come true... but in the most boring ways. 2001 has an optimistic space-ageyness to it that'd be hard to replicate now without it coming off as forced and false.

Our moon base would be covered in advertisements and each feature named after a corporate sponsor. Everyone on the Pan-Am flight (whatever we rename it to) would be some future-Youtube "personality" live casting their flight and future-gramming their in-flight meals. HAL would become vulnerable when some of his network-controlled doors and such lost their wifi connection and fell back on manual controls, turning the whole thing either comic or, if the manual controls also fail to activate and allow him to win after all, saving him even from his fate in the original film, tragicomic. All of this would come off as insufficiently pessimistic and no-worse-than-things-now to pass for an acceptable projection of our future.

Just doing a straight remake of 2001 with more iPhones won't help it, and my guess is it'll make it feel really, really weird, and not in the ways it was trying to be. Possibly laugh-out-loud funny at times. Its story isn't narrow enough, allegorical enough, or far future enough to ring true now without adding some of our cynicism. The retro-future tech of the original saves it from that scrutiny.
> Boo hoo. Do you think Medieval cities like those in Europe were built for public transport as well?

That’s actually a pretty great point. They also weren’t devised for internet, flight, or dna sequencing. Time to roll those back as well.
This is false.

When you find that you can't sell your tulips for dutch guilder, you don't set up a mirror economy that uses tulips for currency. Instead, you find tulip prices collapsing, and yourself broke.

Why would my landlord, who is not vested in crypto, want to exchange goods and services for bitcoins that he can't cash out to pay his contractors, taxes, etc? Nobody wants to be paid in illiquid assets, what on earth would possess him to get into that horror show.
This seems like a pretty sensible decision though, since most cryptos don't really work like a currency they work more like an investment. Especially now that the transaction fees are so high, and the transaction processing time takes so much longer than debit cards, credit cards, paypal or other electronic transfers.
As an aside, I don't like the "zoo animal" hypothesis, at the very least because it isn't symmetrical with the hominid sequence at the beginning.
The Adults Who Love Disney
>There already is a Fox party and a CNN/MSNBC party

The pairing of the latter two is something few would have predicted not that long ago.
Don't get me started on JJ; I still haven't been able to get through any of his Star Trek films. The same person who said the original Star Wars is slow and boring also said that he cannot watch any movie that was made before the year 2000, because filmmaking styles have changed too much and he finds all of the older films boring. Personally, I have trouble watching anything that was made after 2000.
We're ignoring the elephant in the room here:

Tech jobs by and large are abusive.

My theory is that men are more tolerant of abuse, or more ignorant they're experiencing it.
What does "these masks" refer to said by Prof Adam Gibson?
> And even if we had the money and ability to build rail along freeway lines, and build stops at popular social and residential hubs, how do people get to the rail station?

In places that have good rail systems, most people get to the rail station by walking. In the other places, it is usually because they have disallowed dense construction near transit stations through zoning.
Hot New Cryptocurrency Trend: Mining Malware That Could Fry Your Phone
That's a false equivalence though; if you look into many vegetarians' justifications for their diet it often isn't the killing or eating of animals that they find objectionable as much as the intentional process of breeding and raising animals for food. I know many "vegetarians" (for want of a better word) who will willingly eat hunted or fished food, but avoid industrial meat.
You might want to see someone about that. :-)
So, while type theory may have the benefit of resolving the "isomorphism issue" you describe, how is type theory not also another encoding of, for example, the real numbers?
I think it was my last semester of college, so it would have been the first half of 2000.
look how far we've come in "assistants" in the last 6 years since Siri was released

Not far at all. I still struggle to do basic tasks with my Apple Watch 3 (like sending a text to one of my contacts, or automatically start/stop Run app when I start/stop running).
Core Wellness | Flexible | $75k and Equity | iOS Developer | www.corewellness.io

https://www.corewellness.io/ios-developer

We are building the product to make meditation more tangible, more practical, and more engaging so that it can work in everyone's life.

We have developed a unique physical meditation tool combined with a personalized learning system to make meditation work for everyone.

We have raised a large angel investment and the backing of the Bolt Hardware Accelerator in SF. We already ran our first Beta and are gearing up for our next Beta of ~500 units this Spring. This is a really exciting time to get in, as we are working hard to hit the market by Holiday 2018.

If you'd like to learn more, feel free to ping me at brian [at] corewellness.io
why do you think that's simpler than what they're doing?

you'd still have to feed that through something to get it into a PC. the STM32 is about the cheapest way of doing that. and it turns out it comes with some ADCs that are so noisy they're good sources of randomness themselves.
The article mention the name of a new startup too many times to be convincing.
Yea - you don't have to go immensely deep into Analysis, but having some experience in it will give you an understanding of what makes the algorithms "tick" and when they break-down.

This is especially true for things that involve numerical analysis - approximation techniques/diff eq's/etc.

And just for clarity - while any class on Analysis is mostly proofs, it's not really about the study of proofing techniques. It will use proofs as a vehicle to discuss _analytic_ properties of functions (how limits behave at infinity, etc).
in order to exploit it from a script running in a web-browser: there's a high-resolution timer in javascript. This one is limited to 5 to 20 us resolution to prevent such attacks.

Recently a shared-memory extension has been proposed. one javascript thread just increments a counter in the shared memory, functioning as a clock for the other thread.

In both cases, (Spectre) attacks can be prevented by browser updates, so any performance impact is not system wide.

This is different from Meltdown, which (only?) affects intel. That one requires kernel changes which cause system-wide performance degradation.
> * most scientis realise it's not necessary

Each and every scientist is well aware of that. However, their careers are dictated by scientific production metrics, and these involve getting papers accepted by well established publications, and these are often defined by lists of acceptable journals dictated in a top-down manner by universities or even the state, and these lists are composed almost exclusively of... You've guessed it: commercial publications managed by the likes of elsevier.
> The lack of speculation in the ARM1176, Cortex-A7, and Cortex-A53 cores used in Raspberry Pi render us immune to attacks of the sort.

I didn't check, but these will almost certainly have branch prediction. What they probably lack is a predictor advanced enough to speculate on indirect branches, which AIUI is the primary vector of Spectre.
> This is an unpopular opinion, but if it weren't for Jobs, Woz would have remained an unknown HP engineer

I completely agree. I also think Steve Jobs was a great man. Part of his greatness was knowing which rules he could bend, which rules he could break, and deftly negotiating the aftermath.
USB Network Gate 2018 Crack Patch and Registration Code Free Download
Didn't ARM say the Cortex A53 is vulnerable to Meltdown?
Edmunds is closing its open API service for vehicle data (e.g. VIN decoding)
> This one is limited to 5 to 20 us resolution to prevent such attacks.

* make such attacks more difficult.
How the new tax bill will impact your small businesses
I personally find http://viz-js.com to be superior.
This is how anyone dealing with money transfer deals with:

1. Unacceptable levels of fraud.

2. Governments changing the rules/clarifying the rules.

3. Discovery of immense counterparty risk.

Since #2 did not happen, I'm assuming that #1 was at play. Given that this is bitcoin, #3 is present, but it's not clear that VISA would go digging for it.
The FST-01 USB sticks can also be used as gnuk tokens for GnuPG:

http://www.fsij.org/doc-gnuk/

The NitroKey Start has the same STM32F103TB (IIRC) and is more readily available:

https://github.com/Nitrokey/nitrokey-start-firmware

https://shop.nitrokey.com/shop/product/nitrokey-start-6

Not sure if an RNG is accessible with the standard firmware (though the NeuG RNG is part of the gnuk firmware).
Fair enough, it is indeed just an amplifier, but what I was trying to say is that the noise becomes quite visually apparent when you increase the ISO.
most of HN readers are not familiar with EE, unfortunately.
I dunno. Transhumanism and the singularity are a thing, and the AI that is good and not trying to take over but nonetheless has poor consequences is something they will be coming to newspaper headlines soon.

The only part that seems dated is that the future of humanity is outward looking instead of innards. (Meant "inwards", but that one's pretty good, Android.)