skysight-inc/HackerNews huggingface dataset:
> The idea behind taxes is that you use some public resource and you pay for that service. You own a home in a neighborhood, you pay property tax that funds the schools.

It seems like you're contradicting yourself: why would you fund schools just because you own a property? By your reasoning, you should have a children tax, not a property tax.
I had the same super power! (And between you and me, I can also time travel, but only in a forward direction one second at a time).
well they sort of did - modern Europeans are now acknowledged to carry some Neanderthal DNA (estimates go somewhere between 1.5-20% depending on how you count)

People who think that Neanderthals/etc were "lesser" humans (for whatever bogus reasons) probably also need to conclude (for the same reasons) that Europeans are also lesser humans
Most probably, but couple of thousands of years? more then 30,000?
"According to twin studies, the Big Five personality traits have substantial heritable components explaining 40–60% of the variance"
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5068715/

Trait conscientiousness and IQ predict job performance. Stop being Luddites with this technology.
Fuchsia has an interesting take on filesystems [1]. One can write it completely in the user-space, avoiding expensive kernel<-->user-space switching. Additional benefit of storage sand-boxing comes for free, as each app can implement it's own fs, with the rest of the system unawares of it's existence.

I wish such a fully-user-space option existed for Linux. This work is philosophically in the opposite direction, moving more functionality into kernel space for perf benefits.

[1]: https://fuchsia.dev/fuchsia-src/the-book/filesystems.md
I am not offended that you think I may not program. That is fine. (I mean less than some, more than others. I have coded up the examples I brought up.)

But you haven't responded to the argument. If someone urges you to use Racket, and you have task in front of you (say, put up a website), it sort of matters whether Racket has a framework more than if it has brackets, indents or curly braces.
I can legitimately no longer tell if this is sarcasm or not.
Thank you for your great bug report on this, and I'm glad to see it was in good hands.
That's a detention.

An arrest is when you're charged with a crime. It's a much more serious situation.
SEC greenlights a second crypto offering: YouNow’s Props tokens
Undefined symbols for architecture i386

I get this error when attempting to make on macOS.

I don't have very much experience with C, but is there a good resource to learn how to better deal with compiler issues and such other than googling specific issues?
> The idea behind taxes is that you use some public resource and you pay for that service.

This is not the idea behind taxes at all. There are plenty of services I don't use, but still believe should be funded by the government because they ensure a healthy society or because they care for our most at risk.
If it's the same QEmacs as the one on Amiga, I think I'm going to faint.
Yeah, there's basically a zero percent chance of surviving that long intact.

If we do survive it will be by changing and adapting to the point of not being human any more.
Running on a server doesn't change anything, you'd need to be running on a server where you routinely give people who shouldn't have root access, access to an account with sudo privileges with a password. And be relying on your attacker to not say, simply put aliases into your shell, replace your shell, modify your path, add an LD_PRELOAD, ptrace your processes, etc.

That should be absolutely no one.
If Google don't clearly states what it collect, people must assume its everything
Sure does look like we are way out there at the tail end of the probability distribution, by those numbers.
I think the contracts provide runtime enforcement. Typed Racket provided compile-time enforcement. I don’t know if any other languages have both.
I don't believe taxes give me more control. What I believe is that taxes aren't inherently bad and that we should express more concern over where the money goes and what economic effects it has, not paint all taxation as bad.
Effective democracies do have an explicit mechanism to make government accountable: votes on issues (like where taxes are gathered and how they're spent) and representation. Through an effective democracy, using government as a proxy, people can also keep bad behavior by big amoral profit-motivated corporations in check. We don't have an effective democracy in the US. That's because it is overtly influenced by money, which, amorally or immorally, goes to help the spender.
A clone is an identical twin born decades later, similar to having a frozen IVF identical twin embryo thawed out and raised decades later (which is currently possible).
Sish is pretty cool and full of features.
Or mining platinum from the shoulder lane: https://hackaday.com/2016/06/06/mining-platinum-from-the-roa...
You can use wpengine.com to build a quick site with WordPress that has all the features you're going to want.
Could you perhaps speak to some of the engineering details that the paper glosses over. E.g.:

- Are the action and information abstraction procedures hand-engineered or learned in some manner?

- How does it decide how many bets to consider in a particular situation?

- Is there anything interesting going on with how the strategy is compressed in memory?

- How do you decide in the first betting round if a bet is far enough off-tree that online search is needed?

- When searching beyond leaf nodes, how did you choose how far to bias the strategies toward calling, raising, and folding?

- After it calculates how it would act with every possible hand, how does it use that to balance its strategy while taking into account the hand it is actually holding?

- In general, how much do these kind of engineering details and hyperparameters matter to your results and to the efficiency of training? How much time did you spend on this? Roughly how many lines of code are important for making this work?

- Why does this training method work so well on CPUs vs GPUs? Do you think there are any lessons here that might improve training efficiency for 2-player perfect-information systems such as AlphaZero?
Anything related to advertising is
Another point about hosted platforms: if they run slowly, there's not that much you can do to fix it. Here's a GTMetrix report for the aforementioned site:
https://gtmetrix.com/reports/sockfancy.com/gSNvns6s

Fully Loaded Time - 7.8s

Not sure anyone would think this is an acceptable amount of time to wait for a page to load.
It's become such a meme, it's generally sarcasm.
Well part of this process is supposed to precipitate out the carbon in forms that can eventually be subducted (as the current natural carbon cycle does).

I assume that the rate at which the carbon is sequestered by this method is also driven by the level of ocean acidity, as more CO2 is pulled out of the ocean the acidity will drop and so will the reaction rate will also drop ... this means that there's a natural negative feedback here - whether it's enough to "do the right thing" is probably still a question for science
0 to 10% perf from a bios update. Wow.
Part of the reason they installed these devices is in part to reduce vandalism, but I can’t imagine any better motivation for vandalism than an extremely annoying sound coupled with moral justification provided by clear discrimination. They’re just asking for these devices to be destroyed.
Actually, I would look into their Storefront API. You can build any application or customization that does anything you want and calls back to Shopify for product data. You can even create a checkout and link directly to it.
No need to imagine the future, the present is bad enough to justify climate mitigations.
"Rogue governments"? The governments do not derive their power from U.S. or from tech companies. Regarding pulling out, that is always a possibility, but very unlikely one, even if the taxation was higher than what France demands.
ah right, thanks. been a few years since I did any qm work last
When people get to know things like this way after they bought and used this devices... Google should made this very clear before people bought it
Tangential, but "Just as every other piece of code on Words and Buttons, it's properly unlicensed." reads like the code is literally unlicensed and not using the Unlicense license.

It's a little weird to me because unlicensed code is very different than the Unlicense license.
It’s the 80:20 rule, which naturally doesn’t always holds. Often, however, a small part of the code is responsible for almost all of the performance issues.

By picking the performance sensitive areas of the program to code in C one can often code the rest of the program in a slower more convenient language.
High-Performance Overlay Analysis of Polygons Considering Shape Complexity
Each of us is seeing the emergence of economic giants with monopolistic attributes and who not only want to control a maximum amount of data and make money with this data but also go further than that by, in the absence of rules, escaping taxes and putting into place instruments that could, tomorrow, become a sovereign currency.

Very well said.
Typed Racket has type classes:
https://docs.racket-lang.org/ts-reference/Typed_Classes.html
Stock based comp expense. If Amazon paid these employees cash instead of stock, Amazon's cash profits would have been lower. Instead they pay in stock, and employees pay the tax (which they're happy to do because the stock keeps going up). Furthermore if Amazon sold that stock in the public markets to fund those cash payments to employees, it wouldn't be revenue at all, and still not taxable.

From the article:
"On average the thousands of staff who handle orders received about £3,000 per person last year. Senior staff will have taken home considerably more.

Amazon’s share price has surged 84% in the last two years. Last year the shares vested at an average stock price of $992, in 2016 it was $704 and in 2015 $467.

The payouts will have reduced Amazon’s tax bill because under UK tax law companies are required to deduct the vest value of the shares provided to employees."
So why can't I use a password to unlock my TPM module, then? Why does it have to be a PIN specifically?
Having used Braze's services, I would not recommend taking advice from this company. Their API is pitiful and only exposes a limited subset of the service's functionality, and they don't even use token-based authentication (it's a UUID API key)
What It's Like to Have Lyme Disease Forever
Reading articles like this makes me want to check our local reservoirs more. We build a desal plant to feed about 10% (I think?) of our city's consumption starting in about 2007, when we had some pretty major drought. I believe it is only now that we see a drought severe enough again to start appreciating it, but no one thinks about it anymore. Shortly after it was built, about 5 years ago, it was derided as a great big waste of money. But I think it has been our hidden reservoir savior. It has been running continuously since in maintenance mode, but even just a little bit may be enough to make our reservoirs seem like they're enough on their own, as that small amount of water no longer needs to come from them.
The alcohol was an incentive to bring the service back up quickly, but not an incentive to prevent it going down in the first place. Twitter was going down often enough on its own that nobody needed to be motivated to help it crash (except that bringing it back up sooner gives it another opportunity to crash again sooner).
Why was this downvoted? There's plenty of evidence in the linked articles.
See my responses to a sibling comment for Github bug reports. I had a great experience with them: very fast triage and fixes, plus a lot of help developing a workaround so we could target a range of Racket versions. (Distros still ship some old versions!)

These bugs were found while working on Herbie <http://herbie.uwplse.org/>. We use the FFI to bind to your machine's math libraries so we can properly evaluate how accurate a floating-point expression is on your machine.
My employer is paying the mandatory statal pension fund on my behalf, and that's it.
You're assuming the "algorithm" has the same faulty memory as witnesses. There are recorded images that can be triple checked by humans before any verdict is given (in the case of a conviction).

A judge is not simply going "oh sorry, the system tells me it was you and I can't verify that. Gotta trust it".
DeepXDE: A deep learning library for solving differential equations
Interesting point. I stand corrected. Not sure why I didn't think that way.
Who says we can‘t have both? Of course the latter will only be accessible to a wealthy elite still glad they managed to escape the woes of socialism.
5) Operational reliability is both difficult and unsexy.

The fancy new feature, increasing traffic, or adding AI to something will generate headlines, accolades, and positive attention. Not having outages is something everyone expects by default. This goes double for work that prevents outages. No one wins awards for what doesn't happen.

How many medals are pinned on the guys installing fire sprinklers?
Some task-language pairs work better than others, either because of the libraries or the language features or both.

Libraries make Python better than Lisp for machine learning.
Language features make Haskell better than Python for formal verification.
Boeing should've designed a proper plane instead of hacking an ancient airframe... and doing so with gross incompetence.
Earlier threads about this:

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

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

https://news.ycombinator.com/item?id=20254416
Is Microsoft mopping up the enterprise users who don't want to use Slack or is it actually taking away users from Slack?

The article seems to imply that Slack has its place among smaller groups/businesses while Teams appeals to larger organizations, especially those with Office 365 (due to bundling). But I think it would be a lot more interesting if Slack was losing users as opposed to just not picking up enterprise users (which is still somewhat interesting).

Has anyone worked with an organization that switched to Teams from Slack? What was the reason?
What We Think About Shopify's New Fulfillment Service
Uhh, sorry, I meant type classes in the Haskell sense (similar to interfaces), not typed classes (like in Java).
You can't cite a source because this is opinion presented as statistics.
Ok, I have one to add myself:

6) We used to have many small outages at different websites. Now, with so many things that once were separate small sites aggregated on sites like FB, Twitter, Reddit, etc we have a few large sites, so we have aggregated the failures along with that. The failure rate, by this theory, is the same, but we have replaced "many small failures" with "periodic wide-spread failures, big enough to make headlines". Turning many small problems into a few bigger ones. Just another hypothesis.
How might this be compatible with Active Directory (as in real Active Directory, not the Azure version that's AD in name only)?
I would be shocked if Google allowed a contract labeler access to the name of the account from which data originated, except in the circumstance where someone, as the article describes, speaks PII outloud as part of the snippet. And that is why this subcontractor is in breach. They were trusted to handle data appropriately and failed to do so. For Google to provide labelers with the account-of-origin for a snippet wouldn't be lazy, it would require a concerted, covert effort to defeat multiple layers of security-by-design to pursue poor scientific method. And if there is one thing I'm confident about, it's Googlers' single-minded pursuit of sound scientific method. Their business model depends on it so much I dare say strong internal privacy controls are a side effect.
I know there are a few users on HN that use Datomic (including Rich Hickey).

As someone who uses a Relational database everyday, can datomic keep up performance wise with Oracle and Postgres and how long does it take to learn the non-SQL query language?

I'll add that being able to do programmatic things in your query language that SQL can't do without PL-SQL is pretty cool. I only really know of Kdb+ and Datomic that can apparently do those things. Thinking in only terms of SQL is really limiting to me.
It's one of those jokes where if the story isn't true then the entire basis for it being funny disappears. (And if it is true then the joke isn't good enough to make up for the actions.)
Can you share more details about the abstraction? The paper is kind of vague on it. How does it decide if it should use 1 or 14 bet values? Is it a perfect recall abstraction? How many information sets are there?
It is apparent to me that many diseases, like cancer, start small and progress to the point where they produce systems the patient can see, or feel. These would be blood in pee, blood in poop, pains in guts/balls etc.
Sadly, many of these symptoms are not felt or seen until the disease is advanced. The less advanced a disease is when found, the better are the chances of a cure.
Testing where there are no symptoms is THE ONLY WAY to detect them at their smaller, most curable stage.(some are terminal when found, even when small, like glioma)
In my opinion this lady is making a serious error, a potentially terminal error.
I get these tests for men every year, as my doctor directs, and I will do this until I get killed by something that loomed out of the darkness at high speed and killed me, be it a car or brain cancer...
adding australian aborigines, who some consider to be the oldest human civilization, dna-wise

https://www.history.com/news/dna-study-finds-aboriginal-aust...
> What are the fundamental features of Dark that are not possible to add to an existing language?

An obvious example is the structured editor. To do that, we have to have a language in which there is a meaning to every incomplete program. Other languages don't have that - they just have a syntax error.

Our editor shows you what we call "live values" as you type. If you've seen lighttable, it's a similar idea. We save real values from production and use it an a sorta debugger. It's really wild, makes understanding code really easy, and debugging too.

How would we handle that in JS? No idea, might be possible by hacking into v8. But even then, we actually needed to change the language semantics and require all functions to be marked as "pure" or "impure". And then we discovered there's a 3rd state: "non-side-effecting but we don't have a version of it in the client". And then a 4th state "not idempotent but we can it without side-effects".

I doubt there's anything that _couldnt_ be done in Js or ruby or python, but what's the point in fighting that battle? By controlling the entire thing we avoid all this.

Same as why we don't support vim. Could we make all the cool stuff we're doing work in vim? Sure, with a massive massive effort. Blank slates work better for this.
Where NASA Keeps the Moon Rocks
Did you correct that stat for the Max?
There's a lot more to languages than block syntax, and pretty much every language has a web framework.
As much as I support governments cracking down on companies trying to dodge paying taxes, I can't help but feel like this is just for show.

Since the yellow vests protests started last year(yes, they are still happening, although the number of protesters has been decreasing rapidly), the French government has been under pressure to stop taxing the middle class and go after other entities/individuals to raise money.

It is no secret that France and most of the developed world is technically broke. With a debt to GDP ratio approaching 100%, the French leaders have to find money quickly or the whole welfare state will come to an end sooner than later.

Considering the fact that this tax is supposed to bring in 400m per year, it is basically a drop in the ocean.

But, what will happen is that Macron will spin it as a success and will tell people: "See we are taxing the bad guys."

In the meantime, he will keep on increasing the taxes on the middle class covertly.

The problem is that in a normal functioning democracy, the proceed of the taxes is used to increase the well being of the population.

In France though, all new taxes raised are not used to create or maintain infrastructure or even subsidize basic services for its citizens.

Most of the proceeds are actually used to pay off the debt. See the carbon tax from last year when the government admitted that only 50% would be allocated to actually fight climate change and the rest would be used for some other unrelated things.

France as a whole has never been more taxed than now, and yet public services and public infrastructure(or whatever is left of it, after they nearly sold everything to private corporations) is falling into disarray.

Emergency rooms are closing(They have been on strike for the last 3 months now), social services have been cut back, roads on the countryside are full of potholes, electricity/gas prices keep on increasing.

The middle class is being bled dry by an overzealous state that does not know what to do anymore to fix the problems it created in the first place.

For the last 30 years politicians from all sides of the political spectrum have done one thing and one thing only. Instead of reforming, they just tax, tax and tax more. Until there nothing left.

That's why France is dying. That's why people like me who do not like what France has become have left to create companies/ pay taxes somewhere where I don't feel like I have to share 50% of my money with a state that provides very little to me.
Nah, the internet functions fine without the French government, and people are always looking to exploit the poor and helpless.

>The differences in CPC between an affluent white male working in tech in San Francisco and a poor black woman selling peanuts on the street in Rufisque, Senegal (which isn't even the most extreme opposite one could think of) is proof of that.

Why then are advertising giants like FB so eagerly expanding into "3rd world" markets and offering "free internet"?
You reminded me of this Sam Harris tweet https://twitter.com/samharrisorg/status/429007702803492865

One of his observations was imagining what a disaster it would have been if this finding had gone the 'other' way.
Similar category but very different outcomes, rights, etc.

https://criminal-law.freeadvice.com/criminal-law/arrests_and...
> But I missed parentheses. I longed for parentheses. I dreamed in parentheses

I'm honestly kind of scared to ever learn a Lisp because it seems it permanently alters your brain to the point where it damages your ability to program in other languages (aka ones that you can responsibly use in an organisation can't rely on niche skill sets).
what do you expect to be different from your run-of-the-mill maintenance of outdated industrial automation gig?
Project-based learning is great, if there's few enough gaps - the "shape" of the gap tells you much about the shape of the missing piece. But too many gaps, and you can't tell; perhaps not even the problem is a gap.

It does provide motivation for learning a subject properly. And hopefully some topics in particular, if you've noticed that gap: you'll grab hold of it, rather than wonder what's the point of it.

> [drill] Mathematicians rederive theorems from the book.

Is this at all true?
I find Nim to be much closer to a statically typed Python - with the speed of C.
V8 and JSC are absolutely amazing pieces of technology. They'll run 60fps WebGL games or console emulators at incredible speeds. Huge props to the engineers that made that happen!

RN apps are rarely CPU bound though, so they don't necessarily benefit as much from those same optimizations.
I think to some extent Amazon's commoditization of 3rd party vendors has hurt customer confidence, though surely not enough to make up for the increase in revenue.