skysight-inc/HackerNews huggingface dataset:
That's probably the right side of history anyway. Pilot wave fails in a lot of ways, but it at least allows a way to express the anxiety of thinking "is that it?! Nobody thought of a better rationalization?!"

You experience the properties of particles a little more directly...mostly in solution.

It's easy to see why pilot wave is appealing...maybe, secretly, things are actually not crazy or incomprehensible at small scales and the universe makes sense!

But even ignoring QM and looking out at the 13 billion light years of space above should make one ponder what right we had to get even this far
>I really, really hate that 99% of all UX designers are basically graphic designers who are good with visual flourish but without the tiniest bit of interest into half a century worth of HCI research into what makes interfaces visually easy to read

You probably won't be downvoted because of the audience bias here, but that's like saying "I really hate that 99% of all engineers are basically code monkeys with zero understanding of...[insert thing here]"

It sounds like you've simply worked with bad designers and/or got burned by a bad redesign of a product you use. Sorry. Just know you're throwing the baby out with the bathwater.

First, you seem to be confused about what skeumorphism is. You're arguing about shadows. Skeuomorphism is not about shadows. Skeuomorphism is when you design a digital interface to mimic the old "real world" task it is designed to replace. Like how Apple Books used to have a literal 3d bookshelf as part of the interface.

Moving away from this is not a "trend." It is the natural progression of technology. When more people read words on screens than they do on paper, the bookshelf ceases to be an affordance--it just becomes distracting visual noise.

Shadows play a large role in most modern "flat" interfaces. Material design is just one example. Not sure what your point is here?
Firing the Salesmen; Making the Product Cheaper + Service Better.

I like.
I would love to see a solution for this in the browser. If there was a tag, or some metadata attribute that indicated where each part of the document originally came from, you could just configure your browser to not render parts you don't trust. So in this case, YouTube could just flag the comment section as being provided by other users, and you can choose to block it if you don't trust other users to provide appropriate content. I would love to say that websites would flag ads as coming from a 3rd party ad company, and we could choose to block those too, but of course they wouldn't.
That's industry standard, isn't it? Who test drives specific new cars before buying? Would you be as okay with buying a new car after is was test-driven by several random strangers?
If the US managed to save money on healthcare, that extra money should go to universities so that the results of the research are not proprietary to pharma companies, but instead can be used by anyone.
Destroying a virgin desert ecosystem with an industrial installation is not little environmental impact.
I had the same exact reaction as you when I first used Github. So I think Github's response to this problem is the whole Github.io domain. Those are supposed to be the project landing pages for the plebs while github.com domains are for developers.

It'd rather have it all in one place, with the landing page being the README, and the more developer focused info hidden in tabs, but that's not the current design unfortunately.

I've found a way to author project descriptions under the current layout using Org-mode. The trick is to leverage two features. One is that Github projects will use README.org files as a README file. For instance this is one of mine

https://raw.githubusercontent.com/geokon-gh/linearsystems-pa...

it shows up in the README spot https://github.com/geokon-gh/linearsystems-part2 and also in the Github.io https://geokon-gh.github.io/linearsystems-part2/

The rest of the magic is in the HTML configuration at the top of the file - particularly: #+EXPORT_FILE_NAME: index.html

So then when you export the document to HTML it turns into your Github.io root file. This way you can keep your dev-facing README and public facing Github.io page the same. It's a little ugly.. but it gets out of the way and works
Also, the revenue of large ad platforms are pretty correlated with efficacy, because of conversion tracking and competitive bidding. IE, advertisers pay $x per widget sale. If a widget sale requires twice as many clicks because of fake clicks, the market will react pretty efficiently halve the price of clicks.

It's not perfect and adding noise/volatility bothers the industry, but it will be really hard to affect much at scale.

..maybe targeting one industry at a time, causing mayhem, and going after advertiser confidence in the platforms.
Oddly enough I started on a new (boring, work related) project with the OpenXML SDK just yesterday. From what I've seen so far it's really nice.
Talk, Then Code
> In Poland ~90% of desktop browsers, and >50% of all browsers (desktop+mobile+tablets) have some kind of ad blocking enabled.

That's surprisingly high. Do you know if ad blocking is more common in Poland than elsewhere?
This just means you can't use the json1 extension with an old version of the library. But anything you write using it, will still be readable with an older version.

Of course, if you do something like creating an index using a json1 expression, that will cause issues if you try to use the database with an older version.
> Anyways, isn't this click fraud?

Absolutely not. We don't have any sort of contractual or business relationship. The only way this could be "click fraud" is if someone hosting ads used adnauseam to fraudulently enrich themselves.

> I'm not sure I get the hate towards ads.

Advertising shifted into an industry based on tracking literally everything they are able to track. This has started shifting our economy from the traditional forms of capitalism that were built on mass-production, finance, etc into surveillance capitalism, which is currently undermining democracy[1].

> I'm in advertising

Then please, read [1] and maybe consider the long-term, far-reaching "unintended consequences" of creating an economy based on ubiquitous surveillance.

[1] http://nymag.com/intelligencer/2019/02/shoshana-zuboff-q-and...
Here's hoping YouTube will see the wisdom in just removing the comments feature.
I am not so negative, thankfully any good CS degree has enough compiler design lectures and assignments.

And using sites like Godbolt is becoming trendy.
How to Be a Stoic (2016)
Amazon Translate
The first link plainly states "After these laws’ enactment, most lawfully residing immigrants were barred from receiving assistance under the major federal benefits programs for five years or longer."?

Is this really "subsidising immigration?" I mean, immigrants have costs too, and most of the few remaining things they are eligible for are emergency assistance of one sort or another. What this argument turns into in practice is "people who have resided in the first world for years as workers who hit economic trouble should starve or be deported".

Hardly anyone comes to the first world to live off public assistance. It's either a matter of survival/safety or a search for opportunity.
Essential Code for Lists and Vectors
First like varelaz says, one important criteria is your ISP. MaxMind provides information whether you are "Corporate" or Residential. Generally when you are Corporate / Datacenter, you get into a low-quality tier or even no ads at all for some networks.

Users following invisible links are definitive bots but otherwise, the main idea is to verify the coherence of the headers, and verify if there is a difference between theoretical browser capabilities and reality.

The behaviour is not so important because advertising networks generally have frequency capping support per IP/UID.

Long time ago, lots of fraud bots used to use COM/MSHTML interfaces ( like https://docs.microsoft.com/en-us/previous-versions/windows/i... ) so, even if declaring itself as Chrome, it was obviously an IE.

Now the fraud is more with Android WebViews.

It's very easy to distinguish two browsers, and the browsers that declare themselves "no tracking" are even easier to track in real-life scenario because their signature is very different.

Take two Safari iOS on the same 3G networks, it's very difficult to differentiate them, but take two Brave browsers and it's quite easy to track the user.

CasperJS/PhantomJS/Selenium bots are usually running with the default resolution and they leak some javascript properties like window._phantom, window.Buffer, window.emit or window.webdriver (selenium).
That's the direction I would focus, having kids will change your perspective and life in a good way.

Being able to spend lots of time with them growing up will be awesome for you.
> Elsevier's also by far the shittiest publisher in their practices

Yeah. Interesting: the longest part of the Wikipedia article used to be Criticism & Controversies, but it has been restructured quite a bit. Still lists many despicable acts.

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

Ceterum censeo Elsevier(um) esse delendum.
The thing with Google Camera is that is starts an optimization process of a couple of seconds and it lifts the picture quality by a very large degree (nicer colors, slight hdr affect, without overdoing it), is that also with Manual Camera DLSR?
Key expression is "properly maintained". And there's no reasonable way to know.

https://en.wikipedia.org/wiki/The_Market_for_Lemons
I don't disagree with you that the bolt is inferior.

I was simply explaining why HN was "ignoring the amazing fact that an electric vehicle that can travel 220 miles is 35k."

It's not worthy of awe and amazement if big old lazy GM met those standards years ago.
Dangerous Flaws in the SHAREit Android App
The credit system absolutely does force itself upon us. Your alternatives to the credit system are cash and I’m guessing layaway. Not to mention the things that require good credit but aren’t exactly a loan.
Sorry I meant elastic range. These are only a few hundred atoms across in the flexure areas so if you stay well within the range, it does last 'forever' (years)
Likely to be a delayed time effect, people aren't born and live to 80 in the space of ~15 years.
I know someone who had a huge problem with Tesla over this. The issue was the Tesla contract wanted my friend to take ownership of the car, and thus responsibility as soon as it left Tesla. For obvious reasons, that's not something anyone should do. They had quite a bit of back and forth until Tesla changed the wording. I'm not sure if they did it universally though.

Then Tesla registered the car improperly and took months to correct.

Most Tesla owners I talk to say the same thing, they love the car and hate everything else about dealing with Tesla. I can't imaging removing dealerships is going to make this any better with customers.
We do that quite easily for all VideoLAN projects, using https://code.videolan.org/videolan/docker-images/tree/master...
A Mistake Gave Us the Word 'Cherry'
Wow I am amazed by this comment. For me its a none issue.

How often do you adjust the steering column? I did it 4 months ago and just use my profile to drive now. Headlights are automatic..., A/C is one click to turn on and a long press to turn off.
Thank you for going into detail- I was pretty sure it was UI and you pinpointed what.

Could you point me to some reading on shadow stuff please?
Full-stack developers are in fact stuck at mid-level. Don’t go down that path
Let me sketch you something of a theoretical proof here, then.

1) Any command you can issue by clicking or scrolling on something, can also - in principle - be issued by pressing a key on a keyboard. Therefore, any automation you hide under a mouse-activated command doesn't matter, as it can be invoked by keyboard too, and faster.

2) The absolute upper bound on the simplest possible way of aiming at a single pixel of 4K UHD screen with just two keys is 23 key presses. 14 key presses if you're aiming at 16x16 squares (mouse rarely needs to aim better). 12 keypresses for arbitrary pixels with four keys (home row). 8 for 16x16 square with four keys. 5 presses with full set of English letters, for arbitrary pixels. That's an upper limit. It's slower than a mouse, but only by a little bit (within the same order of magnitude).

3) Generalizing this, the upper bound of keypresses you need to touch arbitrary element on the screen is given by log_n(number of elements), where n=how many keys you want to use. +1, if you need some sort of activation key before (to switch between typing and selecting). This quickly drops to 1-3 keys, and you can get even better if there's some structure to the expected workflow (see e.g. tab stops in any sane form in any UI that isn't suffering from acute JavaScriptitis yet).

4) 1-3 random keys are faster to press than clicking a random object on a screen. That you can time for yourself trivially.

Basically, unless you're dragging arbitrary pixels around, for almost[0] any task one could easily design a keyboard-driven UI that's faster. Those kinds of UIs are not omnipresent (with the exception of Windows-style "accelerators" and tab stops, which the web is doing its best to get rid of), but they show up. In fact, properly configured Vim and Emacs are full of these kinds of UIs for programming tasks (see e.g. [1]). Which is exactly why you keep seeing people telling you Vim/Emacs are more efficient to work in.

--

[0] - I'll make concession to visual arts here, but take a good look at Blender to see how far you can go with keyboard-driven efficiency improvements for 3D modeling.

[1] - https://github.com/easymotion/vim-easymotion; Emacs has stuff like this too, but this repo has better screenshots.
In Japanese I think it's pretty straightforward to trace the original word. But there is a fair share of homophones, so if your input is speech-to-text you already have many possibilities without much grammar.
I've done this too.

Note that for databases that support array columns, this is much nicer to represent with an array. Postgres supports them, for example. (SQLite doesn't)
"There is no way you are going to get Americans to voluntarily reduce their standard of living"

My point is you don't have to reduce your standard of living (quality of life). Does the average American have a better standard of living than the Average European, and is it so much better that it accounts for the much higher carbon footprint?

I've never voted for anyone on the basis of wearing more or less clothes. Id hazard a guess that most voters wouldn't identify it as a top 10 issue. Plus didn't Jimmy Carter tell people to wear a sweater?
If you need to do cross-compiling but not enough to do it in docker containers, ct-ng (crosstools-ng) is awesome.

It is kinda self-hosting in the sense that you unpack its release in a directory and all its files are going to stay there, including the cross-toolchain that you build.

And, of course, it can automatically build toolchains for a wide range of architectures, all while being fairly configurable.
> enforcing worldwide policy for CO2 reduction

This is what things like Kyoto were intended to be.

> Machinegun the boats

This is the kind of thing we executed Nazis for at Nuremberg. It's called a crime against humanity for good reason.
Love comments like this. Everyone has a friend with a Tesla.

You can also steal one and drive it around for a bit if you don't mind.
Revolut CFO resigns as company faces questions over money laundering
TL;DR filthy millennials need to get off their phones and talk to people instead of texting them while in the same room
That's not how it works. Commercialization of drugs from University research is what already feeds a multi billion dollar industry.
While financing innovation could explain the higher costs, it does not explain why the US performs bad in almost any health-related metric.
so what if they can mark you as a bot. I'd love to be marked as bot so nobody wants to serve ads to me. that's mission accomplished.
One kind of fraud that I suspect exist but I hear less talk about here is fraud against advertisers;

Last time I clicked and bought something from an ad was 5 years ago. It costed me about USD 30. Either I'm totally extraordinary (not likely) or this is true for huge parts of the rest of ad viewers as well.
I also suspect that there is a connection between disposable income and resistance against ads.

More specifically I suspect ad networks fleece dumb and inexperienced ad buyers buy selling ads they know cannot work.
> We support Linux (Ubuntu 16.04 or higher), MacOS (10.14.1) in our current stage.

No Windows support in a Microsoft product. Curious.

This looks very useful for tuning hyper-parameters, and the fact that the tuned algorithm is treated as a black box makes this very flexible.
Sorry, I was out of town for a while.

I'm only assuming that checking whether "does s prove S?" is a recursive property. That's not the same as demanding "is S provable?" to be recursive.

Upon reflection I agree that effective axiomatization isn't actually that difficult to explain. So I've changed the footnote to say: "For the purpose of this discussion every formal system is effectively axiomatized by definition. This basically just boils down to the fact that proofs are computer checkable."

I was initially worried that this might raise the question what non-effective axiomatizations are all about. That's not a can of worms I want to open. But I think this should be fine.
Networks generally keep clickstream information a longer period of time than requests stream because requests can be counted in terms of billions per day and eventually very expensive to store.
When you visit a website, your request may normally be stored like 3 days, but when you click, it may be stored 3 months.
I don't know. All the real power is in the hand of the academics. For example, Don Knuth managed to persuade the editorial board of the Elsevier Journal of Algorithms to resign, and they started the ACM Transactions on Algorithms with a different, lower-priced, not-for-profit publisher instead, and (if I understand correctly) take along the prestige. The Journal of Algorithms folded a few years later.

Why oh why don't more editorial boards do this????
A ton. I was involved in the successful opposition against a wind farm project in Canada that was proposed for just north of a major internationally protected migratory bird habitat[1]. Habitat destruction is just a big an environmental problem, and actually probably bigger, than climate change in North America. We are down to less than ten percent of native grasslands remaining in our continent which is the biggest slow-motion environmental disaster that doesn't get talked about much.

What's the point of renewable energy if not to help protect natural areas like the ones being proposed for development?

https://leaderpost.com/business/energy/chaplin-lake-wind-tur...
interesting - there's no scikit support, which for long has been the mainstay for data scientists everywhere.

Are people migrating from scikit to tensorflow in production for non-deep learning usecases ?
Agreed, I hesitated for years to not put 2FA in 1password. But, after a few phone upgrades and resetting each and every account, it's worth it. It can take nearly 10 minutes per account to reset 2FA. Spending a few hours every few years doing that was just too much.
I find this sort of story super scary because I come from a similarly big country with vast expanses of nothing. I know of an elderly couple who a couple of years ago died of a heat stroke after they got lost on their way and took a different route, which led them to a dirt road in the middle of a desert (Salinas Grandes in Córdoba, Argentina).
https://www.lacapital.com.ar/informacion-gral/un-matrimonio-...

And they had cellphones. They asked for directions. They simply were confused, took the wrong route, their signal disappeared and they ran out of gas.
Ask HN: If you were asked to design Mathematics courses
Hello Everyone!

Say, you were asked to design Mathematics courses for children aged 5 to 18. How would you design the courses? What would you include in these courses at each year?

I am also interested in hearing from participants on this forum who think that they are not mathematically inclined or have a fear for mathematics; it will be fantastic information to understand how you will design the courses so that it is made more accessible to all.

Thank you!
Where Camels, Goats and Pigs Do the Teaching
Attention is not quite all you need: https://medium.com/octavian-ai/attention-is-not-quite-all-yo...
Well insulating the body is more efficient than insulating a whole house. Also each person can choose their own individual comfort level.

I'm not averse to building insulation either though.
I've had a different impression of ClearInk.

From https://www.clearinkdisplays.com/clearink-and-tianma-announc...:

> CLEARink’s ePaper 2.0 technology has been trial manufactured and tested and the company will soon ship sample kits to select customers to commence the next phase of design.

> [...]

> Our partnership [...] will accelerate our product and process development and allow us to serve customers in various geographies.

And from https://youtu.be/TxdGdOtjMBc?t=463:

> If you're curious, you have to come and join us early 2019 and then we'll show you the final product.

They do seem to focus on B2B, but it doesn't look like they will just "license their screentech" or it "might be a reality in a few years".
My hopes would be that I'd be able to buy a 10 inch reflective display with color and 30+FPS this year. I don't need a full e-reader, just a HDMI plug.
The Belt and Road Initiative is a massive infrastructure project to expand trade routes. One of the planned routes stretches through Xinjiang all the way to Europe.

If you buy into the view that all Uyghurs are potential terrorists, then having an important trade route go directly through their territory would certainly make it into a juicy target for terrorist attacks. That said, even then there's no need to depopulate the entire province, which is almost as large as Alaska (though much of it is desert). Security corridors a few kilometers wide should be enough for even the most paranoid.

I don't think there's a fully rational explanation of the treatment that Uyghurs receive in terms of some kind of objective the Chinese government wants to achieve. My personal best guess is that someone high up in the hierarchy is on a power trip and the rest of the leadership doesn't care enough to stop them.
When Concorde first took to the sky 50 years ago
This is my life experience and deduction, you are free to refute it by example instead of trying to tell me what to say or think on the internet. Right now all I see is "you told me the truth on a subject I am sensitive about so I will say things to hurt you"

I will be more than happy to relay my opinions and discuss further with a video conference if you do not find this medium adequate for discussion.
Google Drive Todo Notes
Bash/ZSH can have arbitary completion functions/scripts that receive the full input.

A lot of the completions are auto-generated from man files, which don't contain information like "argument x is only available if argument y is present", etc. (at least in a structured way)

It's "just" a matter of implementing completions manually to enable what you are asking for.
I just write the words separately and remove the spaces afterwards. An "I'm about to write a compound word"-button would be an easy solution, but it shouldn't be hard for the keyboard to automatically join the words after you've finished your sentence, it's mostly rule based.
This is leading for some to crazy situation:
I am following this guy who lived in china and make video about culture shock:

https://www.youtube.com/watch?v=oeI0-ijIotk&ab_channel=laowh...

He happened to be married and have children.
Youtube disabled all comments on all of his video because like one or two feature his kids ...
But 99% of his content doesn't feature them