skysight-inc/HackerNews huggingface dataset:
>If it's possible to afford housing and food without working, some percentage of the population that would otherwise be working will choose to stop working.

Fine. Those are the people who don't actually care about their jobs beyond the bare minimum needed to get a paycheck - the people no employer actually wants to hire. Not having to work to live means having more flexibility to choose the work you want, and the labor pool consists of people who want to work. If you want to live in a meager apartment for subsistence, then you can do so on UBI. If you want a better place to live, more stuff, etc, then you can work.

There would be fewer people working, yes, but let's not forget that all industries are automating as much labor away as they can, regardless.

Capitalism and socialism exist on completely different axes - it was never the purpose of employment to provide employees with enough means to live, or a sense of purpose or the "dignity of honest labor." So let's stop pretending capitalism can or should provide for the social welfare.
By “hacks” I mainly meant that they don’t play that nice with type inference... type annotations are sometimes needed. Also that they were added to the language later, in order to make the type system more powerful.
The more relevant improvement is that it's better-integrated with the browser; Java and Silverlight both had pretty horrendous user experiences (and the latter wasn't even usable outside Windows without hacking Wine/Mono into a browser plugin, e.g. Pipelight).

The sandboxing story also seems to be much stronger with WASM than either of those (where sandboxing felt more like an afterthought at best).

In other words: WASM still relies on a runtime/VM, but the difference is that the runtime/VM is astronomically better for the intended use case (and also, incidentally, a presumably-unintended use case) than most existing runtimes/VMs.
munk-a’s question was more along the lines of “why would the language allow a signed int to be silently converted to an unsigned int” than “what should malloc return for negative input”.
The problem arises because doing a signed comparison is just fine, but when you call malloc it gets converted to an unsigned integer and allocated.

Meaning -1, which passes the signed check fine, becomes 0xFFFFFFFF as a 32 bit unsigned integer...

Now, theoretically a well configured compiler that complains about one would also complain about the other, catching the signed value going to malloc as a warning.
"Breach of Fiduciary Duty" sounds like one of those things that you're supposed to do, but which is almost impossible to prove (after all you just have to claim "I thought it was a good idea" and you're covered), and so is basically never enforced. It's the kind of rule that ethical, good CEOs worry about, and the kind of rule successful CEOs don't waste energy on.

BTW, I notice that commenters often have wildly different views of what rules mean. To some, they mean something intrinsically, and it's the players duty to understand and abide by them. To others, rules mean nothing unless they are enforced, and even then you have tons of wiggle room (roughly proportional to the money you spend on your defense). (And these days there's a vocal third crowd that says the government shouldn't enforce rules against businesses of a certain size "because it makes us vulnerable".)
> The correct fix is to cast the input to unsigned, I think.

I think the correct fix is rather to check the input (e.g. assert()). What you suggest means reinterpreting what the caller wanted, and that leads to nasty surprises down the road.
So do wifi connected microwaves and refrigerators. But when you open the door to that, or more generally "technologically differentiated hardware," you're essentially talking about anybody. Fancy lightbulbs, for example. Or hook them up to wifi and now they're software differentiated, if 'technologically differentiated hardware' is a step too far.

I read it as the author saying "oh by the way these other companies that don't fit are their own (massive) category, not counterexamples to the criteria I've laid out."
Rebound to inflated values? Reminds me of the housing market in my area now. It's "rebounded" to higher than 2008 levels on the basis of speculation and gentrified neighborhoods being hot. Seems like another bubble. I need to do more research, but I'm curious what the long term viability of these index funds are as more and more people gravitate towards them
Django-rest-swagger to have a Swagger / OpenAPI spec on top of Django REST Framework, and then OpenAPITools/openapi-generator to generate Typescript code.
Having not gotten to TFA just yet, the author could easily follow up with "...and before Christ himself, we have the Hindus of India, Confuscians of China, and so on. Regardless, dreaming of a better, more just world is hardly a modern invention."

The author simply chose to use but one example. Nothing to get lathered about, I suspect.

EDIT: having now RTFA, meh, you could be on to something. OTOH, it's a book review of a book about Christianity and (from what I gather) its influence on Western thought. Given that someone capable of writing such a book is not that naive, I'm willing to give an out-of-context quote the benefit of the doubt.
I agree that it's an excellent time to visit Hong Kong if you do not mind the risk of travel disruption (airport delays or trouble getting around on public transit). This is not a violent society even now, and travelers are not at risk in my opinion.
That is exactly what I'm talking about. The Halting Problem has to be able to solve every problem in mathematics (and by extension everything else in the world) even ones that we don't know the solutions to. Even ones that we have not yet discovered.

The formal counterexample is completely correct, but absolutely useless in enlightening students as to what the halting problem is actually asking. If anything it drives them further down the wrong line of thinking.
Don't know about ads but I know Google has this feature where when something new about a particular keyword comes up it will email you with the links. I use it to track new research on my own health issue.
RX100 series from Sony is generally pretty well received and definitely matches the "small and decent" criteria.
There's a certain type of personality that sharpens their pencil over everything and anything. They are often zero-sum thinkers, who reason that if they aren't taking the maximum on everything, somebody else is taking advantage of their "generosity."
First time I saw a sudoku, was so intrigued, I wrote a solver using simulated annealing. Solved any puzzle in a couple second.
Mark me down as a person who considers it a frivolous lawsuit. And yes I've read the background.

She balanced the cup not in a cupholder, but between her knees. Even normally hot coffee is going to be bad news if it spills like that - the only difference the increased temp made was that the burns were more severe. But the coffee would not have spilled at all if she was not negligent in handling it (i.e. she should have given it to a passenger to hold or put in a cupholder).

If the coffee had been incorrectly sealed and it spilled out during normal operation of the cup (for example, drinking it) then I'd blame McD. But I don't see why it's reasonable to blame McD just because the coffee is 10 or 20 degrees above normal temp.
A lot of eCommerce websites will only ship to/operate in the U.S. for a variety of reasons (business registration requirements, consumer protection laws, currency exchange, international shipping, etc. Hence websites like newegg.com and newegg.ca.
Haven't read the article, and don't know how this relates, but it triggered a memory of something NN Taleb has said before: Western Atheism can in many ways be considered an offshoot of Protestantism.

Basically that in the same way that the reformation stripped away a bunch of the pomp and circumstance from Catholicism, Atheism was just a further step along that path, while retaining the underpinnings of the Christian world-view.

Don't really remember enough about it to go more in depth than that, but thought it was interesting.
I didn't think you could short immediately after IPO.
Thankfully we're not constrained to only consider it the way Godel did, but are free to extrapolate it to philosophy...
For those wondering how this works:

In C, like most languages, all binary operators on numbers – including arithmetic as well as comparisons – 'natively' require two operands of the same type. When you pass operands of different types, the language usually converts one of the operands to the other's type. (Sometimes it converts both operands to a different type instead.)

In this case, without the cast, the comparison will be performed by converting the `int` to `size_t`. The dangerous case is when `num` is negative. Since `size_t` is unsigned, the conversion will turn negative numbers into very high positive numbers, so `num > limit` will be true, and the function will safely reject the allocation. On the other hand, with `num > (int)limit`, no conversion occurs; the comparison is performed between two signed integers, and `num > limit` will be false if `num` is negative.

It would be better to be more explicit. Perhaps use two comparisons (the compiler will optimize them into one if possible):

if (num < 0 || num > limit)

Or, better yet, make `allocatebufs` take `size_t` instead of `int` in the first place. Taking `int` is risky even without the comparison bug: if someone calls the function with a `size_t` on a platform where `size_t` is larger than `int` (i.e. 64-bit platforms), the upper bits will be truncated. For instance, if the passed-in value is 0x100000001, it will be truncated to 0x1, causing allocatebufs to return a much smaller buffer than expected.

If you're wondering about the exact rules for what types get converted to what, they're very complicated, unnecessarily so. It mostly boils down to "larger type wins; in case of a tie, unsigned wins over signed". But there are exceptions. Here's the spec language:

- http://c0x.coding-guidelines.com/6.3.1.8.html

- http://c0x.coding-guidelines.com/6.3.1.1.html
FWIW, it is very easy to setup the athens proxy and run it. You could even have it route traffic through Tor if you were so inclined. We use it and are a fan as is works nicely:

https://github.com/gomods/athens
DRM Broke Its Promise
Ballroom dancing – the easiest way to approach a lady
Either way, it's still true that he used his position as CEO to outsource trademark creation to himself, and has now reversed that move. Also, other self-dealing.
Thanks very much for posting that, was very informative. My favorite tidbit was when Molly Wood was saying that she heard from a financial analysis firm that specializes in obfuscation that this was the most unclear S1 they had ever seen in terms of hiding basic financial metrics, and the other guest said he couldn't even figure out what the GAAP margin was after reading the S1. That to me is more damning than any other shenanigans.

Why wouldn't they clearly state the most basic financial metrics if this was anything else besides a steaming, raging dumpster fire?
Whether I agree with a video-heavy web or not (I don't), I have to commend this for explaining the <video> tag in very clear steps.
Which Platonic Solid Is Most-Spherical? (2011)
Oh, perhaps I misunderstood the intent then.
I went to a bunch of meetups when I first started out. Some co-working places too. They aren't as fun as you think. That's why I could have used something like this.
I think that serverless tech will continue to take over bigger and bigger companies, not only is feasible for startups, but companies and products like 8base are pushing this forward!
Your issues with ORMs are indicative of bad ORMs.

Try a good ORM (eg Django).
Impossible for me to say how to find meaning in your life. It's a path each of us is on. But you can't find that path in front of a monitor or at work. Turn it off and go for a walk. The Buddha said that the purpose in life is to find your purpose in life. You don't have to know what it is....you just have to look for it. Start searching (and not with Google). If you can't find anything else and can't bring yourself to plan something...take this cruise:
https://www.celebritycruises.com/destinations/alaska-cruises
I will try to interpret, but obviously it is just my interpretation (and personally I mostly agree with many theses Burry gave). First, he does not really talk about being a "good citizen" or not. His points are for "greedy citizens" who, in his view, should be worried (about his pocketbook) if he is heavily invested in passive index funds.

This is due to his "bigger and bigger crowds, same exits" analogy: individuals easily move through doors at will; but if a crowd rushes out through the same door, injuries happen.

His premise is that many stocks that index funds invest in have low liquidity (small door): half of stocks in SP500 trades less than $150M a day. This is tiny (he quotes total market cap of indices of $150 trillion). What happens if there is a small, but synchronized outflow for any reason? If customers ask for 1% of index funds to be sold, index funds have to sell 1% of their holdings in the exact ratios defined by the index, including stocks with low trading volumes. Which is a problem, as there may be no one to sell them to, so prices of those stocks may crash and create a big panic causing additional sales of index funds bringing down bigger chunks of the market.

That is the gist of it I think.
"noun is gonna verb" comes to mind (where noun ≈ verb)
I think the biggest one is some bad wording on the marketing around the "share your wifi" feature, where it mentions that you can share "secure" passwords with QR codes now but doesn't mention that the QR code has the plaintext password encoded in it.

Other than that, it seems that privacy controls have been generally improved in Android 10.
The effects of Portal 2 and Lumosity on cognitive and noncognitive skills
Companies that operate in multiple regions sometimes use these buttons to make language-specific or region-specific content available. For example, some cars may only be available in some regions or may have different branding. Another example is how the Apple Store has region-specific editions. Also Netflix filters the library by region.
Certain product lines or pages will be missing, or the details will be less informative on the Canadian/International regionalized website. Not to mention most online shops will only ship to the US.
This comment makes a lot of assumptions about what people are thinking and saying behind closed doors. Do you have deep sources in Beijing? Are you close friends with Carrie Lam? Or are you just making up what you think happened?

This news has been censored in the mainland press, so no one there is reacting to it either way.
This is pretty much exactly the algorithm that https://www.ioccc.org/2005/aidan/aidan.c uses, except obviously much more clearly expressed. There's also a reasonably straightforward extension of this technique that can test for solution uniqueness, and so generate random valid puzzles; I can't remember how it was implemented exactly but it involves continuing the search after finding the first solution and seeing if it succeeds.
So is it like base jumping? There are plenty of nice places to visit which are not very dangerous. Why would you want to go where the chances of violence are much higher?
CMU Quietly Hosts Project Maven Offshoot Through Army AI Task Force
Oh I see what you're getting at. I think what you're trying to get at is, "If you had a halting-solver, you could use that like an oracle to answer arbitrary mathematical questions." Unfortunately, this isn't true, you couldn't use it to answer arbitrary mathematical questions, just certain questions.

For example, even if Pi happens to be rational, and the algorithm to list its digits eventually starts listing a periodic repetition (possibly the all-0 repetition even), that still doesn't mean it halts. So the halting-solver doesn't directly help you determine whether or not Pi is rational. You would instead need a "determine-if-given-function-eventually-has-periodic-output" solver, which is stronger than a halting solver.

I'm not sure if there are any really slam-dunk examples of what you seem to be looking for, that don't involve proofs in some guise or other. An example which does involve proofs might look like this: "Let x be a program which attempts, by brute force, to find a proof that P<>NP, and immediately halts when it finds such a proof, if ever. If you had a halting detector, you could plug x into it and based on its output, you would know whether or not there is a proof of P<>NP." [Which is subtly different than whether or not P<>NP is true. That would require something stronger than a halting solver to obtain.]
URL hashing is annoying. It ends up transferring to someone else if you copy+share the link, and it disappears if you leave the site and come back later.

Better to just save to a cookie.
Right, deleted comments are still hidden even with showdead turned on.
That's exactly what I do with Apache Cayenne.
[Here is the link to the repo][0]

[0]: https:github.com/ihabunek/toot
That's because not everyone agrees that observational data is something that can (or should) be owned by a person.

When a human looks at another person, are they "collecting data without consent"? Most would say no. So at what point do you "own" observational data about yourself? When it's observed by a machine? So then CCTV should be illegal too then, and indeed any sort of security system that records audio/video without consent.
TGM2 doesn't have a hold.
What i understood was all investors are buying basket of tasty cookies and no one is buying meh cookies' basket or cookies. So tasty cookies are overvalued and meh cookies are under valued.
> Californians can't get pre-filled tax forms because the program to provide that service was lobbied against by tax firms.

Do you have information on this? From what I heard California cancelled it after implementing because there was not sufficient use. I think its less lobbying and more that people sticking with what they are familiar with... Turbo Tax or an accountant.
Rails-style, ORM-centered, frontend+backend web development? No.

Something different than that? Yes.
But a lot of jobs aren’t that necessary. What’s your definition of productivity?
This is an observation on the politicians and theorist that proposed UBI, I'm not an expert but I imagine the problem would be that they're not fully independent individual, and you don't want to simply reward parents for having more kids.
> The phone originally sold for $400. Is that really not enough money to fund software development for 4 years or more?

No, not really.

First comes the reality of retail pricing. The "leaving the factory door with everything amortized in" unit price of a $400 phone is likely around $250 or less. The rest of that is markup for the store, shipping, warranty returns, marketing, and a bunch else.

A good chuck of that $250 (if it is even that high), pays for the actual hardware, patent licenses, carrier testing, and a bunch of other stuff.

That doesn't leave much left to actually pay for development.

And since most consumers aren't thinking about operating system updates a couple years down the road, the lower selling price will generate more profits than long-term support will.
Nonlocal quantum erasure of phase objects
It's true that some constructions that work under normal/CBN order will go into an infinite loop under CBV order, but this is easy to work around, typically you just need to add an extra lambda to prevent it from evaluating too eagerly. For example, instead of translating

if b then e1 else e2

as

b e1 e2

you can translate it to

(b (λx. e1) (λx. e2)) tt

where tt is any value (it doesn't matter what).

Similarly, you can make a CBV-version of the Y combinator by eta-expanding some subexpressions to prevent it from evaluating it too eagerly [0].

The exact details of the encoding don't matter too much, because when you actually write programs you want to use some syntactic sugar like "if then else" or "let rec", so you just care that it can be translated into lambda calculus in some way which preserves the operational semantics.

[0] https://en.wikipedia.org/wiki/Fixed-point_combinator#Strict_...
Sudoku solvers are near and dear to my heart.

They’re my go to problem when learning a new programming language because they’re just complex enough to exercise a whole bunch of different language features.

I built this when I wanted to learn Swift and dip my toe into machine learning: https://twitter.com/braddwyer/status/910030265006923776?s=21
India's Swiggy has a new service that will deliver just about anything
Their meetings must be like Phillip Morris or whatever it's called now:

"This advertising method work great! What other markets can we apply it to?"

"There is this a market it works even better on, and keeps them coming back for decades."

"Decades? Great! Let's do it."

"Well, that market is kids. Are you sure we should?"

"Hmm... didn't think of that. Well, too late to stop now. Besides, the government set up rules that when you do it, you just pay a fine. It's like a toll road. We'll follow their rules and everything will be fine."

"It's decided then. Project Kids is on."

When some people in Google saw the temptation for such outcomes, they proposed publicly committing to avoid being evil. When push came to shove, they backed down on the public commitment.

With each situation, they can choose to return to their public commitment or what they're doing now.

They seem to pick this option many times and the public commitment keeps getting relegated to more minor places. Last I heard "Don't be evil" was buried in an HR document.

The shareholders are happy, though, right?
Surprise!

It turns out that although we employees are fêted as "Masters of the Tech Universe," Adam is a member of the Owner Class, and we are members of the Worker Class, and the two classes play by different rules.

The first of such rules is that Owners make the rules, and consequently those rules benefit Owners over Workers.

I'm ok with that, obviously, but being ok with something is not the same thing as being blind to it.
Which disappears cross device or cross browser, making users flood your inbox with support emails asking where their progress went.
A minor quibble I have with Firefox's Dev Tools is that in Responsive Design Mode, there's no way to simply select "Fit to screen" as a Zoom level. If you're on a laptop, you'll have to scroll to see the full emulated viewport.

I think touch recognition is better on Chrome too, as sliders and other touch-sensitive UI elements feel a bit more laggy in FF.

On mobile, I'm happy using Brave, which is Chromium but allows you turn off scripts if you want to (goodbye autoplaying videos). On desktop, FF all the way. Except when I need to use Dev Tools.
That quote is vague fluff, not “practical consequences.” What actual change was brought about by those protests? As far as I can see, there was none: no democratization or other political liberalization happened, just a bunch of dead or disappeared people.
I'd like a USB cable with a flat right-angle low-profile soft connector. Like a USB mouse/keyboard wireless dongle, but instead of the hard plastic hardware, that's just the start of the cable. Starting with a slight angle, so it works with a row of inline USB ports. For always-in on-the-go USB cables, without the socket-destroying mechanical advantage lever of traditional connectors.

I use laptop USB ports for hand tracking cameras, an HMD, and related cruft. Frequent mobile use, and unfortunate ThinkPad port placement, has those port sockets mechanically distressed. I now have sticks which slide onto the laptop to brace the cables, but... a cleaner solution would be nice. A new laptop might have better placement, but would still need protective sticks.