skysight-inc/HackerNews huggingface dataset:
Try Roger Penrose's "The Road to Reality."

He takes the approach of assuming that his readers can range from absolute beginners to mathematicians, and that if you prefer, you can skip the equations and the exercises.

But if you attempt to understand them, then your picture of the Universe will become richer that no other pop science book can promise.

It's an enticing thought, and that and his gentle prose are just about his only tricks to push his readers through his enormous tome.

I haven't finished it yet but it does feel rewarding that much of the maths that I've come across (Alevels and engineering degree) are there, laid out in a new framework of meaning, the Universe.

P.S. There's also an eBook version, and an online resource that gives solutions to the exercises.
Thanks for the link. I wondered what happened to that policy
What about it? Apart from garden parties, what does it actually stop you doing?
I don't really think that makes any sense. Why would textbooks, which are already written informally and aren't intended to be computer-verified, be written less formally for the purpose of being fed into a computer?

Formally-verified proofs are a great idea, it's my main area of interest in mathematics, but they have essentially zero relevance to a textbook. Textbooks don't need to be formally verified.
SciLuigi adds a simple level of audit logging to Luigi [1] (See the AuditTrailHelpers mixin in https://github.com/pharmbio/sciluigi/blob/master/sciluigi/au... for details), together with an API that makes it much easier to work do changes to the workflow dependency graph, when you're in development/exploratory phase.

Personally moved to improve on the ideas in SciLuigi, but replacing Luigi with Go's concurrency primitives, in SciPipe [2].

In SciPipe, an accompanying ".audit.json" file, containing the full history of commands and parameters used to create every single output file of the workflow (even intermediate ones), to help keep track of how each file was produced.

Among lightweight solutions, the popular ones these days seem to be NextFlow [3], Snakemake [4], BPipe [5] and others. You'd really have to check out the "awesome pipelines" [6] list, to get any kind of overview.

When more infrastructure setup is feasible, I think PachyDerm [7] (mentioned elsewhere in the thread) looks really powerful with its "Git for data" approach. Something I'd wish to use as an overarching solution within which to run my SciPipe workflows.

[1] https://github.com/pharmbio/sciluigi
[2] http://scipipe.org
[3] http://nextflow.io
[4] https://bitbucket.org/snakemake/snakemake/wiki/Home
[5] http://bpipe.org
[6] https://github.com/pditommaso/awesome-pipeline
[7] http://pachyderm.io
Similar for me. When I had near zero programming experience I picked out a boutique PHP CMS to build a relatively fancy blog. The CMS author was up on IRC for hours helping me shoehorn my rediculous project into his CMS and patiently explaining some very basic programming concepts to me.

Alex Suraci If you're reading this, thank you.
One of the biggest problems I think is that most experienced mathematicians seem to forget that the written forms of mathematical systems contain significantly shortened symbology which requires significant understanding of what is NOT written explicitly​.

The most basic example I can think of is "ab" meaning "a x b" but the "times" function has been deleted but still needs to be understood.

I find when reading mathematical books I cannot follow examples and progressions to the next level then the next level etc as at every progression there are significant pieces of information that are missing yet text books rarely if ever mention what is not written, so how can the novice possibly figure it out.
I learnt back in the BBC Micro era, when I could get books out of the local library. What I didn't have at that time was a computer - my very first programming had to be done on paper until I could get time on the computers at school.

Later I got a Spectrum; later still a PC. It was vital that these came with BASIC. Paying for development tools would not have happened. Eventually I acquired pirated copies of Turbo Pascal, Microsoft QuickC, and finally a legitimate but already obsolete copy of Borland Turbo C on seven 5.25" floppy disks.

Eventually I also got a modem and could gain access to such troves as the PC Game Programmer's Encyclopedia.

I think the main difference is that if you came up with a question you had to answer it yourself through research or experimentation. If you weren't very persistent, or weren't given the free time to do the necessary self-directed learning, you wouldn't get very far.

Modern knowledge is streamed to you in small fragments. Back then it came in lumps. Multiple-inch-thick lumps. Most of the books were pretty worthless, although the Peter Norton ones I really learnt stuff from.

It was also viable to set out to read the documentation you had cover-to-cover and go looking for interesting or useful things. These days there's almost too much, and it's certainly not linearly structured.
Or, just use Docker to capture all of that :)
There's a huge difference between double dipping and signing away your right to work. Why is common sense in such short supply?
Yeah and wait a second, isn't that the problem people are talking about in this thread? Aren't people basically complaining that things are discussed and proven without being justified?

I don't really see how some fantastical process of formally verifying all of mathematics would have any relevance to teaching, anyway.
I spent a lot of time on local fidonet echoes to read and discuss programming topics. Books in .txt also happened from time to time on university BBS's. That was fun, but the early internet wasn't too bad too.
Yes, money they invest in their mission:

> we provide outreach and education to help more people access computing and digital making. We develop free resources to help people learn about computing and how to make things with computers, and train educators who can guide other people to learn
As they say, the guard has to see everything, every time. The burglar only has to succeed once.
If it is about the money for Google, can't they at least put a warning over the ad that says "Are you really sure you want to download [Some Malware]?" if you hover/click on the ad.

Nevermind, the right thing to do would be to ban these kinds of ads outright, but we can't count on them to do that now, can we?
Pro tip: live near the end of a tube line, get a seat every morning.
That's exactly right. The strongest offence is a good defense.
> in this post I use the term “spam” to connote an identical bit of text that was repeatedly filed many times

Wow! Nice definition of spam. Remove the most popular opinion, and hey look! everybody supports NN.

> there is some evidence of botting/spamming on the pro-NN side as well (though likely not to the same degree), which is not addressed in this post, and could shift conclusions.

IMO, this is just a blatantly biased attempt to delegitimatize any anti-NN feedback. Many people send their comments thru websites with boilerplate text, but they do it in support of what they believe. The author has presented no evidence that the comments he removed from consideration are actually spam and no evidence that the second most popular phrase (in favor of NN) is not spam.
Can you tell some more about the HR initiatives? (I would just google it, but a bit unclear what I should be looking for.)
From Waymo's wiki page: "Google's self driving car project was formerly led by Sebastian Thrun (...). Thrun's team at Stanford created the robotic vehicle Stanley which won the 2005 DARPA Grand Challenge and its US$2 million prize from the United States Department of Defense. The team developing the system consisted of 15 engineers working for Google, including Chris Urmson, Mike Montemerlo, and Anthony Levandowski who had worked on the DARPA Grand and Urban Challenges."
Is the size bit true if you're using an Apple Magic Keyboard instead of a mechanical keyboard? I'm certainly not one to fault you for using a nice keyboard, but that does make it a bit of an apples and oranges comparison.
Recover Online Forms
> Free software can be closed source...

Eh, Never. Not even for open source. Once the source is closed, it is no longer open source (and neither free software).

For a software to be open source, the user should have a way to obtain the source code legally (That is, a stolen source code won't make a software open source).

For the software to be free software, the user should have the freedom to (modify and) replace the software with the user's version of the software (of course, source code availability is pre-requisite for this).

Say for example, your router, Android phone, TV, Car, or your espresso machine could be running Linux which is open source. You get the source code of those over the Internet or from the vendor on request. But you may not be allowed to change it. So you are always on the mercy of the vendor if something happen (like the one happening now). They are open source, but they are not free software. (GNU [A]GPLv3 enforces this freedom. Some like it, some don't).

A software can be free or non-free based on where the code is run, not just whether you get the source or not.

This is freedom 1 by free software definition:

The freedom to study how the program works, and change it so it does your computing as you wish.

See https://www.gnu.org/philosophy/free-sw.html for more details.
The first time I really grasped the very basic concepts of linear algebra instead of just being able to calculate things like eigenvalues was after watching this series by 3blue1brown:

https://www.youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2x...

There is a series on calculus as well. It is honestly beautiful.
Yes they did. Nobody so far has posted a reverse engineering of exactly how EternalBlue works (I saw an article in Chinese but it was hard to tell if it had a real explanation given the auto-translate). WannaCry is simply using the actual NSA exploits, compiled, direct from the ShadowBrokers leaks, along with the DOUBLEPULSAR "implant".
Anyone know someone at the Tor Project? Based on a breakdown I read, it downloads the Tor client from
https://dist.torproject.org/torbrowser/6.5.1/tor-win32-0.2.9...

It would be simple to rename this link (or perform a referer check or something else to stop automated downloads), at least temporarily.

Yes, the malware authors will release an update with the different URL (or another hosting site entirely, or embedded), but at least it would provide time for vulnerable users to install patches. Especially now that Microsoft has released a patch for XP.

(I'm basing this URL info on the breakdown found at https://www.bleepingcomputer.com/news/security/wannacry-wana...)
This comment and several others you've posted violate the HN guidelines. We ban accounts that do that, so please (re)-read the following and post civilly and substantively from now on.

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html
Inside of a VM, of course. Can't have enough protection!
And yet this happens. All the time. In adsense, on youtube, on Google+, on the Play store and basically in every other customer-facing Google business. I can see two reasons for that:

1. A not-my-problem mentality at Google

2. Google is trying to replace human intelligence with AI pseudo-intelligence which has turned out to be really really easy to fool

I believe it's actually a combination of the two and it scares the crap out of me thinking these guys want to create self driving (and flying!) cars.
Completely agree.

I've taken the liberty of taking a quick snap of a random page in "Arithmetic for the Practical Man" to include below for those poor people poisoned by modern textbooks:

http://i.imgur.com/Bg9OiiK.jpg (926KiB)

I see horrible modern behemoths of over a 1000 pages that leave you dazed, confused and full of facts but nowhere to go with them. EE textbooks are even worse on this front than your average mathematics text book. I've seen one proudly promoting over 1500 pages and 1000 illustrations, but doesn't even get as far as an opamp or discuss anything at system level.
Yeah sorry, you don't at all understand mathematics.
> Thanks for being a voice of reason and free speech. I also do not agree in the slightest with the OP, but non the less being down-voted to hell is a bit harsh imho.

> We should counter his (missing) arguments. Sadly he/she/it did not provide anything substantial on that one could base a valid argument.

The last part is really the point though, isn't it?

"Free speech" is continually misused, in the sense that people expect everyone else to listen to mad ramblings. Presenting a "counterpoint" (on whichever platform/venue/outlet) in the quest to be fair when the original point is simply a fact isn't fair coverage, it's pandering to lunacy.
Anecdata to support your point: in Stockholm the taxi companies have caught up in terms of convenience vis-à-vis apps, registering payment methods etc., to the point where I just use them rather than Uber. To me, Uber never competed on price, it was the convenience, and the competition has caught up to the point where Uber now seems clunky almost.
That's inane and false.
I'd imagine it be prudent to remove the battery if that is the case (which you can't on many newish laptops). I know it's tempting to utilize that free UPS but I wouldn't trust a laptop battery that's pushed way passed the intended use.
My first programmation book was the K&R book.
I hated reading it and was pretty sure that was nothing I would ever understand (or use).
25 years later, I now understand all the details of the book.
And now I hate ... the C language itself (with passion!).

Fortunately, nowadays, there is so much learning material that you have the opportunity to choose the one that suits you.

For example, I know that I cannot apply a theory upon reality. I have to start with examples and build my own vision by abstracting from a lot of examples.
So I choose my learning material accordingly.

My current interest, at the moment, is monad. Believe me, there is a lot of abstract articles about that.
But my entry point was a tutorial about implementing some stuff in Javascript, that happened to be functors, monads, etc.

Believe it or not, but I used that knowledge the week after in one of my Java projects. And my colleagues considered it was "a nice trick" (which is true!).

In one word, the learning process must be fluid. Don't try to force anything. If the book medium does not suit you, don't blame the book. Or yourself. Try to find another resource and keep learning.
The "problem" with the iPad is two things:

1. It's too good for some (most?) use-cases.
2. It's not even close to good enough for other use-cases.

If all you're doing is consuming content on an iPad, the replacement cycle is absurdly long. The only reason I upgraded from an iPad 3 (the first retina version) is that I bought my dad an iPad air for Christmas one year, and the next year, I bought him a new iPhone. He stopped using the iPad when he got a large form-factor phone. So I took the iPad air. The 3 is still pretty functional.

But I can't really do anything with it. It's probably the world's most perfect porn delivery device, but you know, I can't write any meaningful code on it on a day-to-day basis that wouldn't be a huge compromise.

I know that there are some people who have successfully transitioned to iPad as a primary machine. But I'm just not there yet. Yeah, I wanted the hell out of one when they first came out.

Now, I'm glad to have one, but the one from a few years ago is good enough. Why buy a new one?
Yet another virtue-signaling inequality "the people suffer while the rich thrive" drivel from the Guardian.

That service is catered to a market which affords an annual membership of $7,000 and an additional $2,700 per each domestic flight.

Does "the people" pay anything close to that amount for a domestic flight?

So, why do these idiots expect getting $10.000 treatment by paying a small fraction of that cost?

Or do they believe it is even remotely reasonable to assume that airports should not cater to demand coming from high-paying, deep pocketed clients?

This article is nothing more than socialist virtue signaling at its worse.
The demographic is huge, an insane number of tablets have been sold and are being used. I'd estimate over 50% of the people I know have a tablet at home, and most definitely more have a tablet but not a PC, than vice-versa.

The whole 'problem' with tablet sales is not that they are not useful or convenient, but that current models are actually so useful and convenient there is no reason to upgrade. I would only consider this a 'problem' if you are trying to sell tablets, from a user perspective it's actually a good thing.

The fact that tablets cannot comfortably do many things a laptop or PC can has been obvious to me from day one, they are complementary devices where the tablet is primarily a more convenient/more comfortable device for many things, but not suited at all for others. Convertible/hybrid laptops may seem to follow naturally, to unify all use cases in a single device, but personally I'm not sold on this idea. I'd guess the demographic who really wants a full PC-like experience typically doesn't mind having separate devices that are best at a subset of tasks, instead of one device that's merely 'ok' at all of them. At least I know I don't mind...
Lesson 1: don't use Windows.
I don't think it's the intuition. I think it's the part where people are explicitly and implicitly taught to avoid metaphors, since they are considered bad analogues and "window dressing on top of objective literal truths".
The sad part it, Lakoff and Johnson already provided a good counter-argument that thesis in the eighties with their landmark 'Metaphors We Live By,' suggesting that metaphors are the main way humans make sense of the world, almost as if they are the fundamental intuition you refer to. Since then then the proof for this case has only been piling up.

Especially in the field of machine learning we're finding more hard evidence that metaphor are not decoration, but fundamental parts of how to transfer information. Using rich metaphors to pass on implicit information between teacher and student is known as "privileged information":

> When Vladimir Vapnik teaches his computers to recognize handwriting, he [he harnesses] the power of “privileged information.” Passed from student to teacher, parent to child, or colleague to colleague, privileged information encodes knowledge derived from experience. That is what Vapnik was after when he asked Natalia Pavlovich, a professor of Russian poetry, to write poems describing the numbers 5 and 8, for consumption by his learning algorithms. (...)
[After coming up with a simple way to "quantify" the poetry], Vapnik’s computer was able to recognize handwritten numbers with far less training than is conventionally required. A learning process that might have required 100,000 samples might now require only 300. The speedup was also independent of the style of the poetry used.

http://nautil.us/issue/6/secret-codes/teaching-me-softly

Now, of course, knowing how to come up with a good metaphor is a skill in itself, and bad metaphors do lead people astray. But they do so precisely because they are so good at transferring information - wrong information, in the case of bad metaphors.
I think they should settle. Uber should give waymo whatever they asked for (which likely isn't money).
Looks like a good option, but if want to stay in arm land and need more power and connectivity (sata/more ram/gbit ethernet) the bananapi might be a good alternative.
> ... but unless I need the GPIO ports or the ability to run off a battery ...

And I indeed do run mine (off-grid) from a battery where every W counts, and I do use GPIOs and ADCs!

http://www.earth.org.uk/note-on-Raspberry-Pi-2-setup.html

And (along with my pony) I want a system so widely used that most questions/issues can be solved with a cut-n-paste into Google!
There is absolutely a non-confrontational way to do this. Call them. Tell them you have a few questions about a couple of points in the contract. Ask them what point 3.2 means, tell them you'd like point 4.1 can be rephrased to make something clearer, and that you'd like the non-compete clause clause in 7.2 to be limited in duration and scope, because the way it's currently phrased, it could be interpreted as signing away your right to work, and that's obviously unreasonable.

Be reasonable, and you will likely get most of what you want. If they are unreasonable, you're probably better off working somewhere else.
You can't summarize a 4-paragraph nuanced discussion with "Because it is." by cherry-picking one sentence from one study. Even the Wikipedia link, which is likely to be biased in the direction of older research simply due to the volume, points out that there is significant debate around this.

Recent studies conclude with a much more equal gender distribution among victims, as OP points out.
Telecoms do have a natural monopoly, ride sharing does not.
Perhaps this holder would please you, https://archive.is/bg8fV
We've banned these accounts for violating the HN guidelines and for using multiple accounts abusively in the same thread.
https://news.ycombinator.com/item?id=14340102

We detached this subthread from https://news.ycombinator.com/item?id=14339038 and marked it off-topic.
I got a max-specced iPad Pro after returning my top spec 2016 MBP... It's now become my main work machine. I still need my 2012 MBP at home for tasks that can't be done on iPad, but those are rare and quite specialised (music production, dj library management, bits of programming, and some more advanced document preparation).

It's working well. I love the lightness (with the Apple keyboard case it's a fair bit lighter than an MPB), the quasi-infinite battery (though some apps like Slack and, weirdly, Notes, can, without announcing it, suddenly go into battery draining mode... I'd love a more battery-friendly replacement), and the freedom of not needing wifi in most countries that I'm likely to travel too (thanks to the UK network "Three"'s "Feel At Home" feature that allows me to continue using my phone and iPad data as if I was in the UK). It feels really liberating.

Worth adding a disclaimer: I no longer do much or any programming. Most of the "value adding" work I do consists of talking to people, preparing the odd document and sending emails.
I mean the below section of the post is fairly contradictory to your claim.

> To further investigate this hypothesis, I randomly sampled 1000 filings that used the repeated text and queried the HaveIBeenPwned API to retrieve a list of known data breaches that the associated emails were involved in. I found that ~76% of emails associated with the repeated comment had been involved in at least one data breach, and ~66% were part of the RCM breach specifically:
You've been using HN primarily for political and ideological battle. That's an abuse of the site—it's destructive of what this place is for—so we ban accounts that do it, so please don't.

For the same reason, would you please not go into overheated rhetoric ("murder", "kill women, children, and the elderly") in HN comments either?

We detached this subthread from https://news.ycombinator.com/item?id=14338291 and marked it off-topic.
All I can remember is that it was hardback with a plain red cover (if there had been a dust jacket, it was long gone) and she'd have used it in home economics class in 1950s Ireland. It was mainly what I'd call wholesome simple British/Irish food, beef steak and kidney pie and the like but the sweets and cakes are what I most fondly remember, queen of pudding, bread and butter pudding, eve's pudding, dundee cake, shortbread, lovely dark soft gingerbread, sponges, madeira, buns etc etc.
Look at what we've lost!
Don't bitch and scream. That's terrible way to start a working relationship. Just tell them which clauses are not acceptable to you, and suggest reasonable changes that take their interests into account.