skysight-inc/HackerNews huggingface dataset:
APL is an executable mathematical notation - in fact, it was designed by Iverson for describing algorithms on paper (in 1958 IIrC), and then the team working on it implemented it in software, because ... it was a well specified way to describe algorithms.

I highly recommend reading [0], which contains the simplest (IMO) description of the simplex algorithm, which is both mathematical and executable. If you find that inspiring, [1] is also worth a read.

[0] https://www.jsoftware.com/papers/DFSP.htm

[1] http://www.eecg.toronto.edu/~jzhu/csc326/readings/iverson.pd...
Okay, yeah, that is fair. I have written enough raw futures in anger to be like "it's not practically possible", but you're also right that it is actually practically possible, regardless.
One thing to be aware of for this approach though is that you can only have 120k in-flight messages per queue.
That cheeky smiley face gets me every time
Buy Google Business Reviews – F D M (Faimuddin Mithon) – Buy 5 Star Reviews
FIDE Candidate Master Kingscrusher (Tryfon Gavriel) has been posting analysis videos for some of these games on Youtube. LC0's win as black against the Trompowsky Attack was particularly impressive:

https://www.youtube.com/watch?v=rz51_wFgNrQ
This makes no sense whatsoever.

If you ban third parties framework then all that is going to happen is that those third party companies will just give you an API and standard schema and ask you to post the data to them. The value is in the dashboards not in the SDK.

And then what you want Apple to block all HTTP POST requests too ?
Yup and I think it's a noble goal but it's still implemented in a way where you're not writing SQL but some kind of other syntax.

Also the issue is that it's trying to be database agnostic which means that you can't use any of the cool features from your database of choice.
I used to run disconnect pro on my s8, which I believe is the app mentioned in this article. I recall that it tried to send a message to google play services every 2 minutes 24/7, no matter what.

It creeped me out, so I’ve switched to an iPhone recently.

Aside: I hope the librem does well it’s first release
This is the reason why my local DNS resolver won't allow returning private IP space (including localhost).
> mean something beyond basic calculus and linear algebra.

"Fluency" in mathematics, in my experience, isn't about being able to perform more complex computation, that's what computers are for. The key to fluency in mathematics is increased efficiency at equational reasoning.

Granted, I work in data science, but I've personally seen that more and more problems I have are solved writing out a few equations and reasoning about the problem than writing code. It's not about knowing, for example, what SVD is, but seeing how a variety of common problems trivially map to it. Or figuring out how to transform a business problem into a probability problem so you can quickly estimate your success. Many times now I have spent a few afternoons writing equations that simplified what would have been very large and unnecessarily complex programs.

The mistake programmers make is thinking that math is just fancy computation, but mathematical reasoning is an entirely distinct way of reasoning about problems and computation is usually the least important part.

I used to also think that there was no reason for programmers to learn any math outside of enough calculus and linear algebra to compute basic things. But really understanding these areas and reasoning about them fluently (as well as other areas of mathematics) opens up many possibilities of problem solving that code it self does not.
So where is the actual evidence? Why won't the CIA present it publicly? Or should we just believe the CIA that it has this "evidence"?
Happiness is the one thing we should be optimizing for. 3% is not negligible if there is no trade-off.
The antibiotic series I took this winter all had big warnings (presumably from more recent CDC guidance?) that extras should be disposed of in their sealed containers in refuse/trash and never flushed or poured down a drain.
> The more general point though is that in my experience no tool is perfect, or completely done, or without problems

I agree. I had to do a lot to cajole nix to cross-compile some python extensions.

However, I've done this before manually and using various build systems, and the advantage of Nix is that (1) equivalent builds are cached (reducing compile time), (2) the dependency graph is assured to be clean, (3) the entire state is pure (I can send my nix expressions to a hydra and be guaranteed a successful build), and (4) reuse -- once I modified the higher-level python combinators to build cross extensions, I can add new modules easily.
Also the series creator, Craig Mazin, is active on Twitter as @clmazin and on reddit as clmazin.
I suppose if there is to be scientific mysticism, this is it.

I believe the notion of lightning/plasma strikes promoting life evolution to be resolute, scientific proof or otherwise, however.
Double checked and the windbg feature I alluded to is now publicly available. Time travel debugging allowed me to pop the assert and then reverse the program state to eventually find when things started to go wrong. If you’re a windows developer and haven’t yet tried out this feature I strongly recommend it.
Why humanity will come to regret inventing self-driving cars
"... I surrender"
Actually, I suspect oarsinsync was referring to this comment: https://news.ycombinator.com/user?id=ianferrel

Although I could be wrong. GGGGP would point to your comment, while the statement makes more sense applied to the other.

And you are going to be spending the money on a purchase, just not right now.
That looks like a fault of this business though. They outsourced some critical element of their business.
This comes up regularly in privacy discussions linking to articles in mainstream online publications.

The editors and the writers of the articles are completely divorced from the decisions driving the technology and profitability of the publisher.

It may be possible for writers to only publish articles in outlets which respect privacy at the expense of popularity but we're probably not hearing about those.
The light side is of so little value that I think we should just throw it out with the bathwater and kill this modern experiment in advertising.

Our society is paying huge costs to support this industry in terms of wealth, novel innovations, productivity and sanity. It's terrible.
The Future of Interaction
The Wirecutter (https://thewirecutter.com/) is a site dedicated to this kind of advertising and it is extremely useful.
Since the SR-71 is a perennial HN favorite:

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

I think the StackExchange answer linked below covers interesting aspects of supersonic inlet behavior, but doesn't do a great job answering your specific question.
> At its best, advertising is a form of search technology

That's not advertising. That's curation. Mixing these up is like mixing up astronomy and astrology.
It's 2059, and the Rich Kids Are Still Winning – Ted Chiang
Apple actually does this already. You need to submit a list of domains your app is allowed to talk to and explain why they're needed.

I guess the next step is for Apple to stop allowing analytics URLs to work without an opt in prompt.
It's not too hard but in the meantime it's not trivial, either. I worked for a multinational corporation in Beijing so in the office (or outside the office via corp vpn) we were allowed to access sites such as google.com.

I paid for a vpn service so for personal stuff I was able to access every single site on the Internet. I did this for over two years and never got into any trouble. My impression was that nobody cares if you find a way to browse facebook, twitter, wikipedia as long as you don't use that opportunity to incite subversion of the government or some similar shit.
That's exactly what GDPR tries to stop.

I think EU even requires you to present earnings from customer data as a separate item.
In Amsterdam, and I guess many Dutch cities, the rule is that there must be a bus or tram stop within 400m from everywhere within the built-up area, so the maximum distance between stops is about 800m. The average will be lower of course.
Grade inflation would be less of a problem if GPA didn't saturate --- but it does. The trouble is that if you squeeze everyone on to the top end of the scale, you diminish the ability to use GPA to distinguish talent levels. You turn school into a pass/fail system. Since not everyone is in fact equally talented, we end up losing information. Economic misallocation of resources makes us all poorer. There's real value in putting the smartest people on the hardest problems, and it's hard to do that when everyone graduates at that "the smartest people" level.
Messages in the Cloud is and has always been disabled by default.

So your 99% number is nonsense.

And E2E encryption is to stop MITM attacks which are quite common if you are using untrusted networks e.g. open WiFi networks.
Okay well why isn’t there a European equivalent to AWS, Google Cloud, or Azure
> One is "Hey, did you know this thing exists? Check it out! Here are all the tests it passed, realistic cost of ownership, and locations where it is in stock".

I'm pretty sure that I haven't seen that sort of ad since the late '80s.
Actually, global cooling & a wet spring means decreased crop yields around the world. This is a serious matter that we need to properly prepare for. Not be distracted by pseudoscience of "Anthropogenic Global Warming".

We are seeing an increase of Earthquakes & Volcanic Eruptions, driven by space weather. We need to prepare accordingly. The next few winters will continue to get colder.
You said it yourself, nuclear is bad for the private sector as they can't rake the same returns as dirtier technologies. So why shouldn't we just let the public government do it? The U.S. Navy has more nuclear reactor experience than any entity in the world.
Actually, ads on facebook are surprisingly beginning to look like this for me. I've found myself going from hating ads to finding them actually surprisingly interesting, and things I would have wanted to look at anyways (like, for example, interesting kickstarter ideas)
> fatalistic

I do not think it means what you think it means.
That is very unlikely, at least at the higher executive commitee level. It's impossible to exclude the possibility entirely, of course, but there is no surviving evidence of it and it certainly doesn't appear in Legasov's original report (or any subsequent study).
This has been a problem since Mick Jagger sang about it, last century.

https://genius.com/The-rolling-stones-i-cant-get-no-satisfac...
Partition in Logrange consists of chunks, that, in general, can be distributed across multiple storages. When a query is executed it runs against one or multiple chunks (what may be done in parallel). If your nginx log is huge it will not be longer than to run against a chunk. So as bigger your partition is less correlation between query execution time and your data size.

If your data is a set of time-series, time-index could be involved what will speed up execution of your query dramatically.
Same here. I think that people got used to using Amazon for everything (because of good pricing), and stopped shopping around as much. Their prices are basically suggested retail price at this point. Which, no one should ever pay.
The biggest offender in my opinion is not the web, where you can install ad blockers and avoid certain websites, but television, where you're forced to sit through something before you can get to the content you're trying to watch.

I find it especially offensive on paid services like Hulu. I'm paying for the thing, just let me watch it!

It's also pretty bad for F2P mobile games, although the solution there is easy (play different games).

I actually don't mind advertisements in big cities or on billboards, sort of adds to the flashiness factor in some cases. Though if I lived in a more concentrated metro area I might feel differently.
The RHEL page is mostly useless... it only has RHEL 8 which won't EOL for a while. What we really need are RHEL 6 and 7; 7 won't EOL for some time.
> Perhaps we'll find a mass grave somewhere full of radioactive bodies of dead workers but barring that, most data based consensus puts the total death toll from all radiation effects at less than 1,000 and usually less than 100.

The problem is that to this day we struggle to fully understand the effects of long-term low-level radiation exposure because figuring those out usually requires long-term epidemiological studies, which are expensive and complex [0]

[0] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2757021/
> Light side: Closing the loop between what the customer wants, what their actual problems are, and what engineering and manufacturing can deliver.

Marketing seems to have given up on that sort of effort years ago.
That's not the point of async/await, or of any concurrency strategy in general.

The point is backend fan-out and the associated latency that goes with it. Most modern webservices - ones that do useful things at least - need to make a number of network calls to backend services to retrieve results. If you single-thread the webserver, these get executed in series, and each one of them blocks the whole webserver until it completes. Even thread-per-request or process-per-request, you're still blocking the individual request until all backend requests complete; you're just sitting there waiting on a database fetch while you have other backends running on other computers that could be doing useful work. That's how you end up with 2s requests where the user's browser just hangs while loading.

Worse, each of those threads take up a few megabytes of RAM that can't be freed until the request completes, so if you have a lot of users requesting pages at once, there's a big risk of the server paging to swap (which will absolutely kill performance) or running out of RAM entirely and crashing.

The only way to avoid this is to have some sort of concurrency within the request, where you can you fetch your session cookie and user record from Redis at the same time as you check memcached for a cached version of the page at the same time as you kick off a backend request to a custom server at the same time as you read some records out of a database. Different languages have different approaches for this: old-school Java used to use threadpools and message queues, pre-ES6 Node.js would use callbacks, C++ would use state machines, Django or Rails would just single-thread the backend requests and live with the 10 requests/sec throughput. Async/await has gained popularity lately because it's honestly a lot more intuitive than the alternatives: you can at least use normal language mechanisms (variables, arrays, and semicolons) to indicate "these things should happen in series, and these things should happen in parallel" instead of breaking your server up into little function-sized or class-sized chunks that are dictated by when responses come back instead of what data needs to be processed.
> Easterlin (1974) found early evidence suggesting that society does not become happier as it grows richer.

This is why equality is important. A society becoming less equal is a problem, even if everyone gets richer.
Oh just noticed the same. In my case it was the Mixcloud app. Thought it's better to uninstall so my block stats don't get to messy.

https://i.imgur.com/Stz11Mv.png
You rejected a primary source and proposed a secondary source of amateur curation?
Can anyone comment on the validity of the 5 MT explosion when the core material hit water? This was also stated the the HBO show.

I don’t think 5 MT fission bombs are even possible, as they tend to blow themselves apart.
Well, Android has both the most and the least secure phones out there :)
Please post here if you file a DMCA claim against them for misuse of your content without your permission. Their contact information is in their terms of service (team@freecodecamp.org) and their public non-profit filing (1), and they declare themselves subject to US Law.

They are a nonprofit, so they have the option of offering each author a tax deduction as payment for content. If you have entered into any rights deal with them directly, you may not have standing to make a DMCA claim; take care not to knowingly do so under such circumstances, as that is likely a crime under US federal law.

Their hosting provider will likely also want to be notified of your DMCA claim, as they may be in violation of contractual agreements signed for their hosting.

(1) https://s3.amazonaws.com/freecodecamp/Free+Code+Camp+Inc+IRS...
Brink,the clean classic Medium.com styled WordPress theme
If the app is made by a company that doesn't have its own analytics platform I would expect it's sending your information to at least 3 different sources.

Smaller apps might not do it at all, or maybe just one, but anything that's been around long enough will inevitably have up to about 5 different analytics platforms. It's the thing I feel the "ickiest" about being an iOS developer. I've successfully fought against putting in stuff like Session Replay (and Apple has since banned it) so that makes me feel a tiny bit better.
Add all the RFC1918 unroutable private networks.

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

10.0.0.0 – 10.255.255.255 (10.0.0.0/8)
172.16.0.0 – 172.31.255.255 (172.16.0.0/12)
192.168.0.0 - 192.168.255.255 (192.168.0.0/16)
127.0.0.0 - 127.255.255.255 (127.0.0.0/8)

https://tools.ietf.org/html/rfc1918

Possibly also 100.64.0.0/10 for carriers.

https://tools.ietf.org/html/rfc6598#page-8
Thank you, airocker!
Not if you use a firmware password. Which you can enable from recovery mode (accessible by pressing cmd-r at startup), you can find the option in one of the menu bar items. Remember that you’ll have a very hard time recovering your Mac if you lose your firmare and admin password.
I see ads like 'Now: The new X with the features Y and Z' all the time.
Billboards from LEO. I'm not a fan but it could monetize key tech for space travel.
It's not just founders... I think these phrases have seeped into every phase of the startup growth path.
Louisiana State University ends Elsevier bundled journal subscription
People blame AdWords for getting no result when they don't know how to use basic targeting and settings.

It's extremely easy to turn off non-google.com ads (ie. no partner network) and restrict geographic settings to just your target market.

AdWords is by far our most profitable advertising channel, but it took me a few years to fine tune it.
> At least there is precedence for functions to have magical compiler-ness for 'doing stuff', instead of overloading field access which is one of the simplest operations you can have.

Except we don't actually have precedence for "I'm going to declare a function, but it's not actually implemented in Rust, instead it's a cue to the compiler to do other magical stuff". Lang items are in fact the opposite; they're telling the compiler "here's the implementation for an extension point you've defined". For example the "panic_impl" lang item is a function that's invoked when code panics. The closest I can think of to what you're referring to is the fact that the type identified as "owned_box" has special dereferencing behavior, but that can be modeled as the compiler providing an implementation for an un-namable trait on the owned_box item where the trait represents the new deref behavior (just as how Deref and DerefMut represent the existing deref behaviors).

> tbh, you don't need to know how await works.

You need to know the type in order to determine if `fut.await()` is invoking this magical semantics-altering compiler behavior or if it's just invoking a method that happens to be named `await` (given that the lang_item proposal means await is no longer a keyword).

> Contrast with the field access one and you don't even know its something else entirely.

Except you do, because await is a keyword. It's impossible in Rust 2018 to have a field named await, and so any expression that looks like `x.await` is guaranteed to be an invocation of the await behavior.

> I guess I just don't buy that it can't be a method.

It cannot be a method that is implemented as a call to an intrinsic. The await keyword requires rewriting the function that invokes it.
"We" had a chance to re-set this at the dawn of Internet Indexing and Search and discovery Optimization, but Overture (and then Google and later FB and TWTTR, at al) and "us" enabled and encouraged advertising to become the driving force of the internet. We could have had a different ad-free internet, but no one was willing to pay that bill.
It's true that the M14 is special right now because it's currently serving riders of the L train, but the proposal to eliminate stops is part of the citywide Bus Action Plan that is being rolled out progressively by borough. Staten Island already redesigned its bus system, and IIRC the Bronx is next.
> (Fortunately, when a space of covectors is considered to be a vector space of its own, their covectors are members of the original vector space, so we never have too many vector spaces to worry about at one time.)

Bad news. This is only valid in many interesting cases, but not in all cases. For example if you take

* "c_0" = the space of all sequences which converge to 0, with the supreme norm

* "l^1" = the space of all the sequences with and absolute sum

* "l^∞" = the space of all the bounded sequences

then the dual of c_0 is l^1 and the dual of l^1 is l^∞. An important general result is that the original space is included in the double dual, in this case c_0 is included in l^∞.
You can always have both in parallel. The first one to test changes and deploy to production and the second one to try to upgrade your dependencies. Should all the test pass on the second one, you can then commit the new requirements.txt and other updated package versions.

You can then run the second continuously and warn when it fails and handle whatever happened manually, without having a broken prod.
I guarantee those same writers are given metrics to understand the respond to their articles e.g. demographics, engagement etc.
> The biggest offender in my opinion is not the web, where you can install ad blockers and avoid certain websites, but television

Yes, I agree with this. I gave up on television about 20 years ago, and it was the ads that pushed me that way. Every so often I'll see a TV program, and it's still intolerable -- things are so much worse than they were 20 years ago.
Very well done. Strikes me as literate programming married to Anki, so great for explanation as well as memorization.
Google's text ads, which are nothing but "hey this thing exists", are the ads I see most often.
I view advertising as a form of pollution. In many cases, it erodes the human experience. It is abusive to families with children creating strife where there was none. I spend a lot of time managing expectations and sharing philosophical ideas, like "less is more". I don't mind teaching my children, but I don't like feeling people are trying to take advantage of us all the time. I explain it to them as if it is a game we're all playing, "if you keep your money you don't have to work forever." Another fun game I'd like to suggest is looking at an index fund calculator and see how much money you'd have if somebody had invested 1K (or $50 a month) in your name on your birthday. I use this as a means of giving them a plan; nobody had ever done it with me growing up, hopefully my kids are clued in on how to earn financial freedom. Now, I just hope my advice withstands the test of time.