skysight-inc/HackerNews huggingface dataset:
10 Fake DIY Rolls-Royces Projects
Based on this post: https://news.ycombinator.com/item?id=13951399

...and my comment: https://news.ycombinator.com/item?id=13951623

...I thought I would just submit the book to root. Highly recommended.
I was really interested in learning math. Was. i continue to be interested in math, I'm discouraged by the total lack of good and available instructional material on something as basic and essential as notation and set theory notation. There is a ton of great material out there for total beginners and people who have recieved formal instruction of advanced math. The in-betweeners get a bit shafted.

I dunno if things have changed since I last pursued this, but 5 years ago it was absurd.

CS, on the other hand, has a lot more material readily available for self-study. I find the subject itself also lends itself to being more accessible. Furthermore, unlike math, the practitioners of CS related fields seem to be concerned with readable notation.

So, mathematicians: acessibility is key! Math is fascinating, but inaccessible even to a large part of the intelligensia.
Phew. I thought I was the only one that got a degree only to not remember it a few years later. I find that when I relearn the topics it does come a lot easier. The memory might be hard to retrieve but it's in there somewhere ...
How can you get beyond first year in undergrad maths without knowing that notation though?

BTW as an anecdote I recognised the symbols but didn't derive the correct meaning, as you can see elsewhere in this thread.
I sigh every time someone tries to explain a complex concept using a formula in that manner.

In the name of efficiency it is kind of being exclusionary, which I kind of resent.

I love math but it is not the only way to express complex concepts.

I depend more of the concepts from statistics than higher level mathematics courses.

Is this data nominal, ordinal, interval or ratio? OK, let's work with that.
Yes, the lack of railways significantly impacts accuracy on SF peninsula at least.
As others have said, "such that." It's worth noting that some people use a vertical line instead to mean the same thing.
The user in question has also copied a comment about chili from HN, so it's not the first time. Maybe some attempt at providing reputation for his account, but as you say, what's the point?

Or maybe just some guy harvesting imaginary internet points.
Not sure it's just notation but a mater of understanding.

In computer programming "exists" it's a matter of checking all the possibilities and find one, therefore is restricted to finite sets (and realistically speaking quite small the ones).

On the other hand in mathematics there is no such restriction. Existence is just an assumption, if there is at least one, then we go further with the assumption, no meter we talk about finite sets, infinite countable sets or infinite uncountable.

I'm working as a computer programmer for quite a long time and I also find this very annoying seeing people around thinking only finite when they have to solve real problems.
I honestly couldn't even tell you which google service "google talk" is. It's amazing how incompetent their product teams are.
I suspect that some of them were just intimidated. Lamport is a well-known researcher in his field, and is giving a recorded presentation. Even a young postdoc might hesitate to suggest they fully understand something, only to have Lamport single them out and correct them on camera. In a different context, like a non-recorded seminar, you might see a more confident response.
How to Disable Notification Ads in Windows 10 Creators Update
Not necessarily, if at some point a space colony is sustainable and mostly sends things down the gravity well, rather than up.
"online" as a concept has become a bit meaningless with mobile clients.
Managed On-Prem Video Encoding Service Using Docker and Kubernetes
A bit of a warning - if you do this, and play for long - you could have muscle-memory leak into your real-world driving. Take breaks and drive safe!
Same as |. Like many things in math, there's a wildly accepted notations.
There are very few classical pieces written devoid of a narrative.
We're a web shop, but not a startup. I don't mean this to knock on my coworker: he loves learning and when presented with a new idea, takes his time to digest it and really apply it to his thinking.
How to Make Sure Your Idea Doesn’t Suck Before You Waste a Million Dollars on It
"No problem"! You underestimate the volume of data (tens of thousands of points per flight) and time needed for temporal spatial analysis.

I routinely run spatial analysis queries on a 400NM buffer around a large US airport and have spent many hours improving the efficiency of the queries due to the long run times on the largest RDS instances available. Running it for the entire national air space would be a significant project.

Edit: I pulled one random day of data - using the data source with the least frequent reporting period (ATC Center - one point every 12s) there were ~ 600,000 data points for one day of operations that arrived or departed from our facility (overflights or GA to smaller airports are easily another 15%. This is also clipped at a 400NM radius). Annualized that would ~220 million data points. If you are looking at ground noise then you would probably want to merge in the approach radar data which is approximately one point every 3 seconds for a ~60NM radius. We often run multiple years at a time. It might not be "big data" by the standards of some on HN but it's significant for many GIS shops!
Regions aren't a .Net Framework feature, they're a language feature.

There's absolutely no reason they should be in C# and encourage bad coding practices (like overly long .cs files). Even if you need all your code in a single class, you can shard that class across several .cs files to make organisation and maintainability easier.

Regions are just a crutch people use to allow them to create 10K+ line .cs files that will eventually become a maintainability nightmare (as well as making merges/check-ins/finding things more annoying in general).

Only region I'll use is the built DEBUG one and I only use that to create:

private bool IsDebug()
{
#if DEBUG
return true;
#else
return false;
#endif
}

Stackoverflow answer for why regions are bad:
http://softwareengineering.stackexchange.com/questions/53086...
Digital Death [video]
House Republicans pull health care bill
Sometime it feels like people intentionally make their code hard to copy/reuse ... While the code might do awesome stuff, it will however not live long due to manageability problems. When the author reads his own code six moth later, he's unable to fix that bug or add that feature, because he has forgot about the hundreds of global variables, functions and couplings he had in his head when writing the program.
Amusing tidbit, possibly ironic: There is a Wikipedia entry for Cherubina de Gabriak, but not one for Elizaveta Dmitrieva - it redirects to the Cherubina entry.
Strange it wouldn't cater to them in the Democratic primaries then.
Color me surprised, yet again. At this point, even gmail's continuity is suspect. What can you trust Goog with these days? Maps is awful unless you want a hand-warmer on the slopes, Wave went kaput, now Talk? Are they trying to ruin my trust in them?
Thanks, I'll be checking this book out ASAP
> Now everything is fragmented, and I constantly have to remember how each person in my life prefers to communicate, open the right app

I think this is true to an extent, but I think messaging isn't as simple "get this text to this person." Different communications channels have different contexts, implied importance, etc. Making them too unified papers over and confuses those social differences. For instance, it would be super weird if a coworker texted me instead of IM'd me about some everyday work thing.
Wast areas of deep sea floors (abyssal plains) are ecologically desert and they cover wast areas. Very little nutrition and life. Only small oasis like whale carcass is full of life. Of course there may be unintended consequences.

Its unclear to me where these mining operations take place. It seems that these ventures are trying to mine at the depth of 1600 m. Continental shelf has more life than continental slope or abyssal plains.
That's because the contour extends far beyond what would be perceptible to a human in an urban area (it goes out to the 35 LEQ contour).
Thanks for checking out the project.

I am incrementally implementing features.

Im currently solidifying the email communication that goes to users and project followers. Once I feel this is solid, I am implementing a github integration with commits.

I want to have a way to integrate the commits from a github repository, and provide a way to comment on a series of them. Think a tweetstorm meets git commits. The idea is to add a narrative/explanation behind the commit series.
You forgot spaces!

https://en.wikipedia.org/wiki/Spaces_(app)
A comic book-style textbook to get teenagers excited about journalism
How bad are the environmental effects other than global warming? I imagine by the time we can mine asteroids we will be able to offset huge amounts of global warming through sunshades and similar ideas.
I'm interested in how you're using it for composition. There are some things I feel I'm missing. I'm not so much interested in creating noise with it; that's never been my thing. But I'd love to see some examples of how you're using it for composing, if you could share.
Actually, TLA+ (again the way I understand it), after nearly 20 years of MDSE, convinced me that I would very rarely need to generate code. It's a much better value proposition to write correctly factored code.
TLA+ is one of the most amazing element of Computer Science. Everyone who writes code should have at least a basic understanding of it.
I'm imaging a few people around a table looking over a cost estimate, when one makes the joke "We could give every user $5, and it would still be cheaper"... when one person pipes up "well.... what if we did..."
If you instantly pop a modal which completely obscures your page on the very first visit to your site, then yes - that's abuse of the modal paradigm. This is the modal the original author is referring to. Not all modals.
Amusingly, I have a "B.A. in CS". Given the subject, most people assume a B.S. if you just say "bachelors'", but in my particular case, they'd be wrong ;) I imagine this is somewhat like how you can get a doctorate in nursing.

(just wrapping up my own three magical letters too!)
just syntax. Some leave them out, some choose colons, i've seen dots in formal systems (∀y.∀x.(x=y)) etc.
A tool that parses equations in CS papers and outputs pseudocode is an amazing idea!
Though I'm sure you meant this casually, and yes,
vim has been around quite a while, vim is not vi.

https://en.wikipedia.org/wiki/Vim_(text_editor)

"
Vim (/vɪm/;[3] a contraction of Vi IMproved) is a clone of Bill Joy's vi text editor program for Unix. It was written by Bram Moolenaar based on source for a port of the Stevie editor to the Amiga[4] and first released publicly in 1991.
"

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

"
The original code for vi was written by Bill Joy in 1976, as the visual mode for a line editor called ex that Joy had written with Chuck Haley.[2][3] Bill Joy's ex 1.1 was released as part of the first BSD Unix release in March, 1978. It was not until version 2.0 of ex, released as part of Second Berkeley Software Distribution[4] in May, 1979 that the editor was installed under the name "vi" (which took users straight into ex's visual mode), and the name by which it is known today.
"

"
In 1989 Lynne Jolitz and William Jolitz began porting BSD Unix to run on 386 class processors, but to create a free distribution they needed to avoid any AT&T-contaminated code, including Joy's vi. To fill the void left by removing vi, their 1992 386BSD distribution adopted Elvis as its vi replacement. 386BSD's descendants, FreeBSD and NetBSD followed suit. But at UC Berkeley, Keith Bostic wanted a "bug for bug compatible" replacement for Joy's vi for BSD 4.4 Lite. Using Kirkendall's Elvis (version 1.8) as a starting point, Bostic created nvi, releasing it in Spring of 1994.[28] When FreeBSD and NetBSD resynchronized the 4.4-Lite2 codebase, they too switched over to Bostic's nvi, which they continue to use today.[28]
"
While it is true that in 1979 buffer overflows were known by researchers, it wasn't until much later when it started being exploited in the wild.
Great report model!
I'm not 100%, but I think this has to do with a Hangouts setting: "Show when you were last active". If that is unchecked, it means that some users (some clients?) will always show you as offline.
Well, not really a for-loop, it's the definition of a set.

There are so many interesting objects in math that cannot be executed on a computer. You could define the set of permutations of the naturals, for example, which is an infinitely large set; there's no algorithm you can execute which could produce such a set on your computer. Math would be severely limited if it could only deal with things that were computable on your workstation.
Paraphrasing the wise words of my uncle Rick, the rancher. "It is fucking hard to know everything"
Seems a bit disproportionate. Hoe about finding out what kind of car they drive (assuming they drive) and what the license plate is, then setting a bounty for proof of newsletter ad stickers slapped on that car's windshield when it's parked at streetlights etc?
A couple of great resources on the improvements in the latest Windows 10 release are this blog post:
https://blogs.windows.com/buildingapps/2016/10/24/high-dpi-s...
and this Channel 9 video:
https://channel9.msdn.com/Events/Windows/Windows-Developer-D...
Strongly agree.

There's more stuff in Common Lisp, but once I learned the concepts behind how the naming worked, a lot of them didn't need to be learned as much as I just assumed they were there.

The "standard library" is large, but really well thought out. Writing in Scheme, I'd often need to implement functions that I knew were already in CL, so Scheme ends up being more work in the long run.

And it's not like a person needs to memorize all of the language constructs before using it. The REPL in Slime is incredibly helpful in discovering functions and verifying how they work, and Stack Overflow or web search can be really helpful finding out if a particular function is built-in or not.
A few years back I was debugging a strange issue with an ethernet controller and Ostinato was absolutely crucial. Even with access to Ixia hardware I can't recommend it enough for packet generation work!
This makes sense. I've also had a P2715Q for more than a year and it looks retina to me, but I'm mostly looking at the (anti-aliased) text when determining that.
Interesting read, it contains some good stories that I didn't know before.

"Remember a few years ago when Netflix thought it would be a good idea to change the name of movie-by-mail division to Qwikster? It was a move criticized by Mashable as perhaps the worst product launch since New Coke. More than 23,000 people commented on a blog post by Netflix CEO Reed Hastings announcing the change, and most of those comments were ruthless in their criticism. After massive backlash, Netflix decided to abandon the changes."
If your felony was murder or rape or something, I think the answer would be "yes". But under the circumstances, I think you will find lots of companies (probably startups in particular) are run by people who don't care about a "possession with intent" charge.

If we were in a position to hire right now, and I were evaluating you as a candidate, it would barely factor in at all. Hell, I might even consider it a positive. But I'm a government hating libertarian who thinks all drug laws should be abolished, so my position may be a bit unique.
FedEx is the only courier service I've ever had problems with (once they didn't deliver for three days in a row saying there was nobody home: there were five of us in the house those days and we were looking out for the delivery, when they eventually told me on the phone that the delivery would arrive by X time, it arrived 4 hours after X... They also tried to charge me import duty for an item that cost less than threshold and more recently they tried to get me to pay VAT on a VAT-exempt item) and I don't use them unless I have absolutely no other choice. This is just another in a long list of turnoffs for me for this shitty company.

No other courier has ever done any of these things.
Solving chess puzzles in the Scala REPL
One of the greats, Waldemar Swierzy - http://www.poster.pl/gallery/?q=Swierzy_Waldemar
>One approach to development in CL is to evaluate a form you would like to have. You end up in the debugger. You write the implementation until the error goes away.

This doesn't sound very sustainable or effective to me... almost all the bugs I encounter in programming are algorithmic in nature. The code compiles without error and runs without crashing, but it just happens to do X instead of Y. The code fails because I didn't understand the problem well enough. That's one thing that computers can't really help with yet.
Maybe this is just too editorialized, but "dark portals" connecting to "dark sector particles"? This sounds like science fiction nonsense. Are Ing going to start spewing out of these dark portals?
...and this is why I no longer use any chat clients from Google... WhatsApp and Viber connect me to more than half the planet, and SMS, shitty as it is, works with just about everyone in the world. For everything else, we have email or file sharing.
They'd be crazy if they haven't already begun re-writing it. My guess is they're in the process of re-writing, they know it's a ways out, so this is a way to buy them some time.
... if programmers were as prone to language
flamewars 30+ years ago as they are now.

I'm guessing the answer is probably yes. :)

Your guess is spot on. Not only languages (C vs Pascal, "why doesn't anyone use Ada?"), but probably best remembered for the vi vs emacs crusades. Though about 20+ years ago there were some pretty heated exchanges regarding OOP which seem to still smolder to this day (see HN history for evidence :-)).

There's a reason why Godwin's law[0] came about :-D

0 - https://en.wikipedia.org/wiki/Godwin%27s_law
> I can easily generate 10,000 bowls of plain oatmeal, with each oat being in a different position and different orientation, and mathematically speaking they will all be completely unique. But the user will likely just see a lot of oatmeal. Perceptual uniqueness is the real metric, and it’s darn tough. It is the difference between an actor being a face in a crowd scene and a character that is memorable.

This was a big problem for a recent, massively hyped game that flopped (Steam refunds, etc), No Man's Sky
What if both happen to have the same total difficulty? Granted, it is unlikely, but so is unlikely a failure of non-paxos system with lease timeouts on the order of ~10 minutes.
Winnti Abuses GitHub for C&C Communications
Judging by the Hacker News comments, it's google that has more capabilities than AWS.

If you follow comments about both, there are recurring ones of people who order 5000-15000 cores on Google for short computing intensive tasks whereas AWS didn't let them have thousandS. That forced them to switch.
I was at a local art school's grad show having a conversation with an old friend. Over a few minutes a small crowd formed and was staring at the liquor license on the wall that was in front of us.

If something speaks to you, don't let anybody hold you back :)
OK people we need to brainstorm; remember no idea is too stupid.
> this is a way to buy them some time.

Literally ;)
I've been avoiding Google Hangouts because when it first shipped you had to sign up to Google Plus. Does anyone know if that is still the case?

I also haven't rated or reviewed an app on the Play Store in about two years due to the Google Plus requirement there also.
I look after a part of product development in a large ecommerce company. I have at least one valid use case for university level math per week. And I hate myself for having let my math skills slide in the 6 years since I left physics. That's because I regularly run into problems that I know I could solve properly some years ago and struggle to formalise now.
Making anything related to music and naming it Tidal (a multi-million dollar music company) is a recipe for a bad time.
I don't know a whole lot about XMPP, but since it's federated, wouldn't it have the same avalanche? It seems like your choices are to use something interoperable and get spammed, or use a walled garden and you don't get spammed because the gardener has pitchforks.
You're right, they don't. I will collect them together. Glad you enjoyed them!
Google's failure to produce a service/system/ecosystem around chat is astounding to me. Google Chat was around well before HipChat, Slack, Gitter, etc and yet they came in and ate Google's lunch. At work we use HipChat but we pay for Google Apps for email/drive/etc. It's crazy that Google Chat and Hangouts suck so much.
Resolution improvements are nice, we're finally reaching "print level ish" dpi for desktop monitors, which means we can finally get some decent typesetting going on, but my main gripe is that we keep upping resolution and ignoring the fact that we're still using garbage color gamuts. UHDTV Rec.2020 is basically the first reasonable-and-practical gamut, but even this monitor only does Rec.709, which is virtually identical to the ancient sRBG gamut we've been forced to live with for decades.
Meh, I know I am anecdata, but I don't use them that much, maybe once every 6 months for a book or something. I know some people use them every day, but I just don't and don't really ever see myself doing so. I mean, it just isn't hard at all to pick up the stuff I need/want from the store on the way home*

*Caveat: I live in the suburbs of a larger-ish city, not in the rural areas of the world.
That article was like stepping foot on an alien world. I have never even heard of a single one of those things.
Latest WikiLeaks docs show how the CIA hacked iPhones and MacBooks
People would port stuff over.
Lenovo ThinkPad T460 (see HN discussion https://news.ycombinator.com/item?id=13299585)
I got a 29" wide-screen monitor. I want it to be twice as tall as it is. I guess I want a 42"+ desktop monitor that's reasonably priced.
Mostly I never understood the point of JIT in the .net framework. You pay a price in term of startup time, but the reality is that you can only run .net on x86 and x64. So we might as well have saved the trouble. And the first time .net was given an opportunity to run on ARM (WinRT), they disallowed regular .net applications in order to introduce a toll through the windows store.

We would have been better off without JIT. Even now with ARM. You compile to 3 architectures,... so what?
Dan Mooney's Skypicker crane could save millions in construction costs
That reminds of the legend of the horsemen statue on the island of Corvo in the Azores. Purportedly the statue looked to be dressed in a Moorish style.

Besides that, there's plenty of evidence of pre-Portuguese presence in the Azores. There are theories that everyone from the Phoenicians to the Greeks to the Chinese discovered the island before Portugal did.
Trump’s First Legislative Effort Fails as G.O.P. Pulls Bill to Repeal Obamacare
> every citizen can get digital certificate, signed by government CA and use it to sign electronic documents

This sounds crazy smart. Why don't western countries do this? You could even put the fingerprint in the barcode of your driver's license.
Well, it is not a big secret on many occasions people tell the outsiders Google would have multiple teams working on the same, if not, similar product, only to find just one will launch publicly, and then 6-24 months later the service will shut down.