skysight-inc/HackerNews huggingface dataset:
(Slightly offtopic, sorry) I think the best path to “programming by conversation” is to have a programming language designed specifically for that goal, so perhaps you want to research that. I’d say a version of prolog / attempto controlled english / similar functional language (to work on small bits of mostly contained meaning), a verbal repl that is carefully designed to explore data, generate test data, manage errors correctly, and highlight what’s important, etc. would be a super interesting project, that can then be easily plugged into voice interfaces.
Evident counter example: penalties to the IRS. Very analogous to the costs here discussed, no need to look for "bullshit".
GEB is fun, but it's definitely a bad introduction to the idea itself. It's a lot more fun if you already understand the subject matter and can enjoy the tone of the book.
>Every single cost is.

No.

Taxes are expenses, taxes are not tax deductible.

The most common fines and penalties (late fees on federal and state tax returns, are not tax deductible (nor are parking tickets or safety violations).

Insurance is an expense, some insurances premiums are and some are not tax deductible.

Capital Expenses and Equipment, depends, but usually not deductible as a expense but as depreciation over time.

Commuting Costs, generally non-allowable deductions.

Home Office, its tricky and full of bullshit. Same with personal expenses (car/phone)

Political Contributions, tricky and full of bullshit, generally not tax deductible.

Corporate gifts? your deduction is capped at $25.

The Tax Code doesn't have bright-line rules like "every cost" is tax deductible.
I've seen a huge number of accusations that people espousing my views are shills in some thread here or on reddit. I'm sure there are paid shills, and even in large numbers. I'd bet it's a problem. But we have to be reeeeeeeeallly careful about throwing that label around.

When you're wrong, you shutting down discourse by effectively saying the other person isn't even a person. This gets us to far more extreme us-vs-them dynamics than otherwise possible.
I recall that this is exactly what Monsanto was caught doing about a year ago, to cover up the dangerous effects of the chemicals they used (iirc). Paid shills on the internet who had facts at the ready to disprove Monsanto's bad actions, and were willing to use 'conspiracy theorist' to shut up anyone who didn't believe them. And, the facts they used came from legit-looking research, which Monsanto was also exposed to have created fraudulently, by suppressing bad results and elevating 'good' results.
Sure, but in this case "smart" may also != "legal". Breach of fiduciary duty would seem to come into play, especially after an IPO when activist shareholders may rise up and make a stink about it.
> I think the plan was to get high performance stuff into the browser, with languages like C/C++ and Rust and not to replace JS with Python, C# or Java.

On the contrary, for many people performance isn’t a factor, but they find the idea of using the same language (and thus code) client-side and server-side appealing.

This was one of the key features and benefits of NodeJS, and I won’t be surprised when I see others trying to replicate the experience via web-assembly.
I'll leave the other parts since sibling comments responded to those, but:

> Need to write complex hand-coded-sql queries that return complicated data, but you's still want to be able to serialize them into a graph of objects that can then be modified by regular ORM code - good luck with that, nobody cared about this scenario.

It's been built-in since at least 1.7, and I think I remember it since 1.4: https://docs.djangoproject.com/en/2.2/topics/db/sql/
Most people talk about incompleteness theorem, not completeness. The book does briefly mention completeness theorem.
After the mitigations, slightly slower.

(sorry, couldn't resist)
I thought this was going to be about J.P. Morgan and the World War I era. The article is not wrong but there are a number of interesting moments over the past hundred years that have shaped the world because of the financial system changes and its influences on politics.
What the data say about police shootings
If you run it with `-Wsign-conversion`, it will catch this.

https://stackoverflow.com/questions/27490762/how-can-i-conve...
Guys, this is the completeness theorem, not the incompleteness theorem.
Transparency and disclosure of any bias is important.
This is amazing. I also found a love for programming after i learned some spaghetti VBA to create automated sales reporting at my finance job. Finally starting up CS degree in Jan 2020.
Indeed; though I restrict doing this to mushrooms I'm familiar with. Neurotoxins abound, and that test won't reveal them.
That would work, but it makes the GBI much more expensive. If you did the decline gradually enough such that there was no effective disincentive for 99% of the population, you'd have something that looks and costs very similar to a UBI.
I’m betting these advertisements are for healthcare providers.
Brick-and-mortar prices are constrained from the top by competitive pressure too. They won't be selling full-capacity USB cables with 10x markup, because they'd lose even more business to on-line stores.
> It says the websites had Google cookies and others. OK, anybody using Google Analytics has Google cookies. Anyone using FB plugins has FB cookies.

It's not that complicated: certain websites, dealing in certain kinds of sensitive information, may be legally required to seek explicit user consent before even using Google Analytics or Facebook Plugins.

Yes, Google Analytics use is damn near ubiquitous right now. That does not mean it is unambiguously OK to slap it on ever website under the sun.

> What is the evidence of "mental health" being treated in some scary specific way?

No evidence is required. The law is clear. That someone subject to GDPR regulations has the information that they were seeking information related to depression transmitted to google and facebook in the form of a Google Analytics and Facebook scripts on page, without their explicit consent to that, is in and of itself a violation of the law.
> I think you're needlessly hung up on the word protocol when that really doesn't matter.

In that case, you've described two situations:

1. Ports are the same.

2. Ports are different.

This doesn't seem like a particularly fruitful analysis.
Sadly, from what I've observed over the years, "McDonalds hot coffee" is usually the most immediately-referenced example when the topic of "frivolous lawsuits" comes up. Usually in the context of someone joking they're going to file a lawsuit about some silly thing that would be totally ridiculous to pursue. "Someone spilled coffee on herself and then sued McDonalds when it burned her", as if that's somehow frivolous.

FWIW I think the temperature of coffee is way too hot at most places. It drives me crazy. If I can't drink it immediately after them handing it to me? Too hot!
Catch them if you can or why locators make my tests stable
That doesn't make sense -- how would a negative value of num be greater than the positive value that is (int)limit? It must be something else...

Edit: Oh, I see what I missed -- I was thinking of the danger as directly passing too large a number to malloc, when actually the danger is passing a negative number, which then gets implicitly converged to a large positive number. Oops.
The real “social credit system”
The American Revolution shouldn't be considered as a revolution. It was a bunch of organized polities that broke their political ties, but largely preserved their political, economic, and social structures and organized leadership. It was successful in no small part because it was a rebellion rather than a revolution.
Democracies come about more often from gradualist reforms than from revolutions. Revolutions have a distinct tendency - though obviously this is not a hard rule - to produce strongman governments whose primary claim to legitimacy is that they ended the chaos of the revolution.
Glad you liked them! They're in the Library of Congress, so you can get high quality digital copies from their website for free[0]. Yeah, the shots are really great and well beyond my personal ability for sure, particularly given the less advanced metering options he would have been working working with. Great learning examples though.

[0] https://www.loc.gov/photos/?fa=contributor:delano,+jack%7Clo...
I suspect most of HN hasn't ever worked in a compliance-driven, regulatory environment. They've never had to deal with the possibility of audits by government, insurance, or financial regulators.

This is the world I live in - building pipelines for financial and health care giants. I agree with this article 100%. Not only can continuous delivery provide regulatory compliance consistency, but also more traditional human-bureaucracy approaches cannot provide it. There are too many potential leaky spots, and far too much potential for human error - in particular, people signing off on things they don't understand. And this includes compliance auditors!
I'm hitting full-encode/decode realtime-factor in the ballpark of <0.01x on a quad core CPU with a tuned wav2letter
This isn't exactly what you're talking about, but I found this blog post to be an interesting exploration of some related ideas: https://eklitzke.org/the-halting-problem
Thanks samwight! What project(s) are you building on 8base right now?
Stupid question but what are you looking for when browsing Vanguard? I thought all the index funds were the same, just following the index.
Because malloc does not throw exceptions (in C++), in C there is no concept of exceptions at all, so there is no objection being raised. The developer is treated as responsible for verifying the memory and overflows themselves. The only thing you are promised is that if the malloc operation itself fails you will get a result of NULL;
I grew up listening to Click and Clack every weekend. Their rapport and playful sense of humor was very comforting.

They got to make a cameo in a relevant Pixar film and I remember being so delighted to hear their voices the first time I saw it.

https://www.youtube.com/watch?v=kYcEalfFbhY
They're not - its clickbait sensationalism.

They're changing how extensions can access web requests, in order to increase user privacy and prevent phishing. This requires all extension devs to change how they handle web requests. ublock is making a stink about how it's "targeting them", despite it being a change that all devs have to make, and you can still block ads with the new version. Adblock plus works fine with the new changes, for example.

More here: https://www.xda-developers.com/google-chrome-manifest-v3-ad-...
Exactly right. Here's a runnable sample!
https://repl.it/repls/ShinyQueasyLocks
It is difficult to portray the French Revolution as a successful democratic revolution with a straight face. The result was chaos, terror, death, and then Napoleon.

Napoleon was, to put it somewhat mildly, not much of a democrat.
My understanding is that he was, what is your claim otherwise?
Microsoft almost definitely has a 30-year-plan with TypeScript that is only slowly being revealed.
There's a sucker born every minute, and we've done almost nothing to change that. The economy in its current form would probably crash if all the suckers disappeared.
Visual Studio Code – August 2019 (version 1.38) update
Hey Ian, I can't find your email in your profile. What is it?
Most index funds won't buy because they aren't in the relevant index. Something like Vanguard's total market index fund would be an exception, since they buy everything. But it's market weighted, so maybe not that much?
Have you tried WireGuard? I used ZeroTier in the past (and OpenVPN before that) but found that WireGuard seemed to perform much better (more throughput, less CPU usage)
"Hot" is meaningless in this context. People take "hot" showers and it turns their skin red, it doesn't cause serious burns that require surgery. You can absolutely blame someone else if the coffee you spilled on yourself was served at dangerous temperatures. Also, you can't "see" that it is dangerously hot before it's too late. A lot of things have steam coming off of them and don't require hospitilization if you spill it on yourself.
If you want clean git history, you must burn "git merge".

No commit should ever have more than one parent.
There are multiple control planes for Envoy (e.g. Istio) already; I wouldn't punish them for modularity.
Precisely, the successful business may be him acting as vendor to which WeWork outsources various things. So he's the CEO, and uses company resources to outsource some of his responsibilities. It's just that he's also the person that is receiving those outsourced responsibilities. I'd like to try that myself-- "Hey boss, I can't do all of this work. I think we should outsource it, and I know just the person for the job, he's already familiar with the work, has free time, and is standing right in front of you!"
> A second concern is the collateral effects of a bubble bursting: the inflated assets are tied into many other assets/instruments, and untangling the mess caused by a rapid bubble burst may cause a financial crisis.

This is really the main concern. The indexes these funds are based on include names that don't have any liquidity. This means 1) the price of the security is less likely to reflect its intrinsic value; 2) attempting to unwind any position may cause substantial issues.

Let's expand on 2) by examining an ETF (say SPY). This ETF is a fund that is meant to track the value of the S&P 500 (a weighted basket of securities). The value doesn't drift too far from the value of the underlying securities thanks to the creation and redemption mechanism, which allows for arbitraging the ETF against the underlying basket of securities. If constituents are illiquid, it becomes more difficult to perform this arbitrage, and the NAV of the ETF diverges from the market cap of the ETF.

This is a bigger issue with instruments like HYG or JNK, which track high yield (AKA junk) bonds. Many of these bonds are highly illiquid, and trading them directly could significantly impact their prices. Instead, many funds trade the ETFs, relying on the basket of high yield bonds as a proxy. These ETFs may then have greater liquidity than the entire underlying basket. This situation clearly undermines price discovery of the underlyings, as the implication is that investors don't particularly care about which names they have exposure to within the basket.

These concerns aren't merely theoretical. In August, 2015 there was a flash crash in which the values of a number of ETFs significantly diverged from their NAVs.
"Faux sophisticated" my ass.

EU was warning about Echelon since before 9/11. The Patriot act detailed everything Snowden "revealed" (we basically only learned the actual names of the programs).

There was genuine shock in Europe that Chirac, Sarkozy, Hollande, Merkel were all spied on by NSA. Yes, we were naive conspiracy theorists when we were saying "you know, they gave them the right to do it, so they are probably doing it". But it all fell on dead ears.
You're suggesting that hospitals would be allowed to sell patient info to anybody willing to pay, as long as they have a contract?
IMHO if you understand the history it makes sense why the theorem is both important and confusing.

In 1921, Hilbert had this idea, that mathematicians could create an algorithm that would automatically prove every true statement and disprove every false statement. Wouldn't that be neat? It's important that this idea predates computers. When Hilbert was thinking about an algorithm, it wasn't an algorithm as we would think about it in computer science today, because the modern idea of a computer hadn't been formalized.

In 1931, Godel proved that it was impossible for an algorithm to automatically prove or disprove true mathematical statements. Take that, Hilbert. The modern idea of a computer still hadn't been formalized. So a lot of stuff that nowadays we think of as simple, Godel did in a really weird and confusing way.

For example, as part of his proof Godel needed a way to algorithmically encode a bunch of numbers into a single number. Nowadays, that's pretty intuitive - any software program can be saved into a file, any file can be interpreted as a sequence of binary bits, which can be interpreted as a number. Back then, Godel used a really crazy encoding - encoding (a, b, c, d, ...) as 2^a * 3^b * 5^c etc.

So if you go back and try to understand Godel's proof, it is really just needlessly complicated. I loved the book Godel, Escher, Bach when I first read it, but once I understood the mathematics more deeply I started thinking that it really wasn't the best approach to actually understand the mathematics.

In 1936, Turing defined a Turing machine and also proved that the halting problem was undecidable. This is an equivalent statement to Godel's incompleteness theorem, and the proof is about 100 times more intuitive, especially for modern computer programmers who tend understand computers and computer programs pretty well, far better than they understand prime factorization.

So, personally I think if you are learning this stuff, you are better off starting by learning about the halting problem. Sometimes the historical sequence of discovery isn't the best way to learn math, just like we don't learn about the Greek method of exhaustion before we learn modern methods of calculus.
Difficult to extract the pertinent info out of that, but I take it you're saying that the player is compensated for speed. They can send more garbage and increase their chances of winning by placing pieces faster. In which case, that undermines the earlier point that bag randomizer is better because it rewards fast play. In reality, both kinds of randomizers reward fast play, as the net advantage of playing fast with the classic randomizer is still positive.
Right. Which begs a question... are the large-cap stocks that dominate the index funds overvalued relative to their fundamentals? That should be easy enough to determine, and we should see a lot of "hold" or "sell" from the analysts.

And if they're not overvalued, are index funds really a bubble?
Android has better sandboxing for apps (Java virtual machine + process isolation + user isolation + se-linux + containers & virtualization in some cases). But the permission system is so badly designed it's almost wide open.

The hardware you are thinking of is mainly used for secure storage and crypto.
[dead] comments are typically from banned/shadowbanned users. Articles/comments with both [flagged] and [dead] were flagkilled.
Why didn't they contact the authors of AES-SIV and AES-GCM-SIV to review their idea?
You need to be a bit more specific: no matter what kind of true, computable axiom-set you're using (this has nothing to do with 'how much mathematics generally speaking develops'), there will be objectively true mathematical statements that can't be proven by that axiom-set.

>a disconnect between what's knowable and what's provable

"what's provable [from a given axiom-set]" is a concrete, technical, unambiguously defined set of things. "what's knowable" is a vague philosophical set of things. Goedel's Incompleteness Theorem is a technical result about the former, and it's a common mistake to assume it says anything about the latter, except very tangentially.

For those who are interested in the misty area where the two things do overlap, I will shamelessly plug this 2-page paper of mine, "Mathematical shortcomings in a simulated universe": https://philpapers.org/archive/ALEMSI.pdf
Might work best when drivers are not staring at their smartphone while waiting.
Professor Ted is LAUGHING in his cell, I'm sure.

https://en.wikipedia.org/wiki/Ted_Kaczynski#Industrial_Socie...
I just wrote - How does your tool differ from Scrivener?

But I think I get it now. Is the idea that your tool lets you take blog-style posts from multiple authors and let you rearrange those?
(As opposed to a bunch of posts composed by yourself)
CCPA is already a mediocre privacy law compared to GDPR. It's basically DNT, an opt-out system. But at least it's an improvement from the status quo.

Anyone that competes with the ad-tech giants should be putting their lobbying efforts against their attempt to weaken it.
The Diffbot Master Plan
Monsanto is a good example. Paid internet shills: https://www.baumhedlundlaw.com/monsanto-paid-internet-trolls.... Influenced research about its Roundup products: https://www.nytimes.com/2017/08/01/business/monsantos-sway-o....
It seems to me that the safety cards in the seat pockets show the the masks correctly worn, and the cabin crew demonstrate the proper fit when going through the routine before takeoff.

But I agree with you about high-pressure situations and not ascribing idiocy.
Which requires a margin trading account, a non-trivial amount of trading experience, a non-trivial amount of capital, constant management, and is highly leveraged. The risk profile is totally different.
Honestly, if you are running on a single AZ in aws you are setting yourself up for failure..
Do you understand Turing's proof that the halting problem is undecidable?

Godel's proof of the incompleteness of mathematics is really the same thing. He just did his proofs before computers were invented so a lot of his explanations are needlessly complicated by modern-talking-about-algorithms standards.
Its pretty obvious you've not read up on the facts of the case and have jumped to a few conclusions. Nobody contests that hot coffee causes mild burns, hot coffee that causes third degree burns in seconds is another matter entirely.

https://segarlaw.com/blog/myths-and-facts-of-the-mcdonalds-h...

Have a read and then come back here and lets hear you argue that the lawsuit wasn't warranted.
> how _poor_ the experience was setting up an editor with autocomplete and type hints.

What? Merlin does all of these right out of the box, and supports emacs, vim and LSP [1]. The setup is basically `opam install merlin` and then `your-editor-package-manager install ocaml/reason-mode`

[1] https://github.com/ocaml/merlin
If you want to expand this greed-driven view to how absolutely whacky and double dealing this IPO is going to be add in the following:

1) If WeWork does NOT raise at least $3billion in this IPO they will be in default of a contingency with lenders that will WITHHOLD a committed $6billion credit line. (a)

2) This at first glance sounds sage, keeps the bankers honest in pushing the IPO right? When in fact the lending bankers ALONE will split a 3% up front loan fee - $180,000,000 - if their buddies down the hall can sell $3b of stock to bag holders in the IPO.

3) If you're lending $6b to a property landlord you'd want some strong guarantees right and again ensure the banks customers are being prioritized? Of course not - these WeWork loans will be "secured against cash and leases" NOT real property.

So the bankers, many of whom are involved in both the IPO and the unsecuritized loan, will FEAST on short term fees but of course believe in the long term viability of the business right?

This should all end well.

(a) https://www.bloomberg.com/news/articles/2019-08-01/wework-se...
> If you use the Django ORM like you would concatenate raw SQL, then it ain't gonna be pretty...

Depends on what exactly you mean here. The Django ORM fully supports some things you wouldn't initially expect if you hadn't seen it before, like passing one queryset into the filter args of another. It'll actually compose the queries and run it once on the database, instead of running the first and passing the result into the second.
javascript/typescript is great if you don't know what you're going to eventually come up with but you need to iterate fast and keep it high-level with lots of TODOs and uncertainties which would otherwise have been hard to type.

if there's anything I really, really hate it's when I'm just trying something and keep getting compiler errors for things I'm not even interested ATM.
No different than tech debt at places where shipping code is more incentivized than cleaning up code.