skysight-inc/HackerNews huggingface dataset:
I mean, that's fine. I think the government's take on the video is that they don't know what it is. I'll assume you don't buy that. What's your take? They got the pilots to go on lots of news interviews after they got out of the service and say they got their asses handed to them by a tic-tac craft they couldn't identify? What's the interest in that for them? Just curious, cause I don't get far taking the ultra skeptic position in this. I don't get many answers and most of the things I come up with don't seem to make much sense for the government to want people to think. Like, what would be the point of making people believe there is something buzzing around that they couldn't handle? In my experience, they want you to believe they can handle absolutely anything, no matter what, even when you know deep down they couldn't.
I have plenty of friends who are ex-Amazon engineers, and for all of their (valid) complaints about the place (management, incentive structure, culture, etc.), one thing no one has ever complained about was the efficiency and quality of Amazon’s engineering work. The stuff i heard about their internal build systems alone is straight up awe-inspiring, and that’s even compared to other tech giants (which is where i met most of the ex-Amazonians in the first place).
> In general, I don't think you can ad-hoc "fill in the details" of a particular piece of a simulation and have it make sense because you weren't simulating the inputs in that much detail.

It's well documented that the human brain ignores or fills in inputs for things that mostly match its expectations. You're already ignoring vast swaths of your sensory input at this very moment by focusing on this text.

A simulation of a world of minds, rather than a simulation of its physics, would be many orders of magnitude more feasible because the simulation itself would have knowledge of each mind's sensory input. Therefore, it would know exactly how much fidelity it needed at any given moment, and where.

Furthermore, such an advanced simulation would have knowledge of what its simulated objects are, rather than the constitution of their matter requiring a simulation of its physics. This merely requires a simulation of the interface with the outputs having the right kind of noise. You wave this away via some absurd "sensory deprivation" remark, but this is explicitly the possibility discussed in the Simulation hypothesis.

Whatever science simulated people do, they simply cannot violate the simulation parameters. Advanced humans with knowledge of what algorithms constitute a human mind would simply need to track the inferences minds make in order to avoid seeing through the simulation.

And I don't find your analysis of Bostrom's argument complete. His argument is airtight:

1. Simulations cannot be built: simulations are impossible, advanced civilizations go extinct before they're built, etc.

2. Simulations will not be built: future humans have no interest in ancestor simulations, they have ethical qualms against doing so, etc.

3. We are almost certainly in a simulation: the number of simulated people far outnumber the number of non-simulated people, so you are likely a simulation.

You simply can't be unconvinced by this argument.
This wouldn't work for D. D doesn't constrain return types to something less than what they are. A Range is not just an Iterator, it has optional pieces that depend completely on the given type.

For example, the return of map could provide indexing, or it could provide forward and backward iteration, or it might have methods that are completely unrelated to the type.

There is no good reasonable and non-confusing way to describe all the things map could return depending on the input. It's much better to just describe it conceptually in the human-readable docs, and let the person understand the result.

I'll note that just above the function map in D's source is the documentation. You just need a little more context, and it will describe what map returns in a much more (IMO) useful fashion than a return type that might be several lines long and consist of various static conditionals:

"The call map!(fun)(range) returns a range of which elements are obtained by applying fun(a) left to right for all elements a in range."

This is the difference between duck typing and generics.
YouTube removed a viral video of two doctors calling for an end to quarantine
Heh, families in India have started doing haircuts at home. Some people get it right, and some people don't ... it's not even funny anymore.
Tagged Union
That's the salient point of this thread though; Rust doesn't have type inference in any position that shows up in API documentation. (The closest thing Rust has is return types of `impl Trait`, but even that imposes a contract that the caller must adhere to and that the callee cannot see through.)
4. Simluations necessarily consume more resources than they emulate, as a matter of computational theory. Therefore, some simulations can be built, but every simulation loses fidelity, and below a certain threshold there are no longer any bits being conveyed. We would only be in a simulation if there is a pool of resources greater than that of the observable Universe, and by definition of the latter, we cannot model the former other than to say "yeah, it's big". So (3) doesn't grant any predictive power at all.

Crucially, we have simulated our own ancestors, but the simulation did not appear to us to contain any sort of inner experiences from our ancestors. Is this because we aren't modelling faithfully enough, or because there are fundamental limits on the ability to model inner experiences?
Lot of people have been raving about these new Apple product pages but really they're at the point where some of them are basically just video trailers that you scroll through, and that comes through in terms of information density too.
Here's a great video review by one of my favorite presenters: https://www.youtube.com/watch?v=aMKgWMO3fu8
Type inference systems generally have crumby error messages, and are harder to reason about all around. The best type inference systems are those that allow inference within a function definition, but the function signature requires explicit annotation. This keeps the inference local, which is easier for humans to read about. Good tooling can make either system easier to work with, but tooling is much less important in the type annotation case because the cost of adding annotations is trivial (contrary to your "torment" vocabulary) compared to reasoning about (non-local) type inference.

In general, this reduces to the principle that concrete is easier to reason about than abstract. The type signature of an unannotated function in a type inference system is maximally abstract, while (especially in practice) the signatures for functions that are manually annotated are more concrete if not fully concrete. There are still problems in non-type-inferred systems with programmers who try to be egregiously abstract, but these are fewer and farther between.
>I wish they’d all agree to just stop trying

I don't need all site owners to stop trying, I just need one usable browser that ignores the attempts.
I don’t think Amazon is inventing anything new in the space of driving out competition using a technique derived by gilded age industrial revolution
Of course it does. It's called the infinitesimal. It's common definition for real number is 1 / infinity: https://en.wikipedia.org/wiki/Infinitesimal

If you've taken Calculus, you've already worked with math that requires the infinitesimal to exist.

It's not a value you can meaningfully write out, but you can't write out pi, e, phi, root 2, 1 / 3 in base 10, root -1, etc. "I can't write it down" isn't a particularly unique property for numbers.
> People might not care if they are knowingly buying a counterfeit item, but they certainly do care if they think they are getting a legitimate brand name item and then receive a different (especially inferior) product.

I personally would be very cautious if I saw a $1500 Gucci handbag on sale for $45 and expected it to be genuine.

Have I come across a $1500 Gucci handbag on sale for $45 and it was genuine? Yes, at an auction because a colleague of mine flips these as a side business.

Would this pricing be available retail? No.

If you're saying someone was sold a $1500 Gucci for $1500 and it turned out to be counterfeit - I feel for them.

Solution: Return it and file a chargeback if the seller does not take returns.
Not a mystery at all. Multiple factors work in India's favor in likely order of impact:

- Young Population

- Non-obese population

- Heat and Humidity across a lot of the country

- Widespread deployment of anti-malarials to combat malaria

- Wide spread deployment of BCG vaccine

- Tumeric heavy diet compared to the rest of the world

The top 3 are non-controversial. Young, skinny people are less susceptible, and the spread of the virus slows with sunlight, heat, and humidity.

Anti-malarials like Chloroquine, etc. are more controversial, but there is significant anecdotal evidence, as well as in vitro studies indicating they may be helpful. Furthermore, countries that widely deploy anti-malarials for malaria have so far shown lower death rates than expected (Brazil in particular should be on fire with COVID-19).

BCG vaccine for TB appears to help with COVID-19, through a heightened general immune response. Big studies going on right now to test this theory. There are six different formulations of the vaccine and it is unclear if the different formulations effect its potential efficacy against COVID-19. This is even more "on the edge" of science than the anti-malarials, but the BCG vaccine has shown long lasting resistance to all kinds of respiratory ailments in populations where it is deployed.

Tumeric is flat out a stretch. Curcumin has come up over and over again in studies of compounds that may help. But, there is absolutely no testing or real evidence at this time. It is merely a supposition based on molecular models and meta-studies of other studies on the compound. I included it for discussion, since Tumeric consumption is likely higher in India than many other countries. I also wonder if it plays any role in traditional medicine in the country.

People look for a silver bullet, but there are many factors at play here.
Using Amazon for reviews seems ironic to me. Product reviews highlight Amazon's single biggest weakness: trust. You can't trust any Amazon review. Many of Amazon's other failings also center around trust.
Kinda like why 5 rounds up instead of down
Show HN: The Open Source Deep Learning Glossary
>But more importantly, India has been contact tracing like a greedy algorithm on steroids since case #1.

How is what you're describing a greedy algorithm? The behavior is based on self-interest, but that's not what a greedy algorithm is. https://en.wikipedia.org/wiki/Greedy_algorithm
Yes. This is damn weird. I am not able to promote my chrome extension because it will decrease the chance to get reviewed. :(

Is there any announcement about when it will get lifted?
I'm learning about database design, and I'm learning that this might not be that easy if the relationships between users and other data on the site are ill-defined. There may be multiple tables in their design that will require knowledge of that flag, and it might legitimately be way easier to just add junk to the end of the user account than it is to introduce a new flag.
The Free Will Theorem has nothing to do with anything. It doesn't even say that people or particles have free will, it says only that experimenters and particles have the same amount of freedom. That could still be zero, because deterministic interpretations of QM exist.
If by mute you mean cut away, then that's not implemented yet. You can achieve an inverse cutting by adding the same clip twice though, with cutFrom and cutTo.
0.00...1
> There's no group of people up in the sky listening to our complaints.

Yeah, no. They're at 950 Pennsylvania Avenue, on the Blue & Orange line: https://www.justice.gov/atr/about-division

Problem is they've mostly decided not to do their job since about 1997 or so.
Video on youtube: https://youtu.be/eYNoaVERfR4
I know, I know :-)

I was just venting my frustration.
In tech entrepreneurship, goals are growth metrics that indicate the chance of for the business to have "an exit" in a year or two.

A startup that dies quickly after proving itself non-viable is a good thing, because it doesn't take money or attention from investors anymore. And if the founders were any good, they've learned things that will be useful on their next venture.

A startup that shows large exponential growth is the best, because the investors can sell the hot potato to a bigger fool before it implodes or gets gutted by the buyer. This kind of company is the whole reason behind tech investment.

The worst is the sustainable, slowly growing business. Such company isn't going to bring home 10x return for the investors. And it stubbornly refuses to die. The people running such company are more proven than random first-time founders, so it would be better, from investor POV, if they just killed their company and get back to the startup game.

Hence failing, folding and starting anew is admired and encouraged. Because it's better for the investors than succeeding, but not succeeding big.
I think a lot of people would argue that many C++ features, like OO, are not strictly improvements. Also C++ is a massive language, and part of the beauty of C is it's simplicity.

I think what a lot of people would want is something which maintains that simplicity, but mainly delivers on basic QOL lessons we've learned in the past 40 years, like that it's nice not to have to pass around array lengths as separate variables.
Spear Probe
Dog tests positive for Covid-19; first known case in a dog in the US
Where are you starting your product search? For everyone claiming they have found the better amazon, the more ethical amazon they never seem to be actually willing to NAME these great places so others can use them - if you are going legitimately would be great to get the name of these product search starting points.

And I've tried google's shopping - blah. If that's your starting point we are going to be with amazon for a while.

Recently tried to avoid amazon - got some stuff from a name brand retailer. The return process required a 40 minute hold time, and because it was one order they only give one return label even though order came in two large boxes. So now it's around and around to try to figure out the second label. It's apparently an outsourced return provider (is that a thing) so the logic / communication related to the original sellers product is terrible.

The last time this happened they ended up giving a store credit for sale price, a refund and never sent the label! Ended up giving away a pretty expensive item ($150). I mean it's just a totally unintegrated system

Compared to amazon (walk into Kohl's / UPS store even unsealed / drop in a locker / give to mailroom to give to UPS guy, stack item on UPS box in garage etc etc) it's night and day different.
The proposed NUBI ABI[1] for MIPS was interesting here in that for call by value if a struct was register sized, it would be passed in a register, but if larger it would be implicitly passed by reference. See section 3.4, Arguments.

It was then up to the callee to make a copy if necessary, say if it modified the struct contents.

Hence it would have been possible to elide the copies, on a per function basis, depending upon how the function used the structure.

[1] ftp://ftp.linux-mips.org//pub/linux/mips/doc/NUBI/MD00438-2C-NUBIDESC-SPC-00.20.pdf
- guaranteed to be endemic in countries that have not taken the necessary public health measures. Consequently there will be very tough restrictions on travellers from those countries. Maybe the world will divide into green and red zones?
Human nature to reconnect with Nazis? I dunno--if I had a friend who was self-avowed hostis humanis generis they would by definition no longer be my friend.

But this is your schtick, so continue to perform it.
This looks great! Two alternatives if you are interested in doing similar things in python are moviepy (https://zulko.github.io/moviepy/) and vidpy (which I am working on, and still has many issues: https://antiboredom.github.io/vidpy/)
Pretty sure that breaches GDPR and maybe CCPA. Maybe they can get away with anonomyzing the data but that doesn't sound like what is being done.
Photoshop doesn't support webp, barely anything supports webp.

Although I'm not trying to defend Safari but webp is not a widely used format and absolutely shouldn't be being pushed at this point until I can save an image from a site and actually be able to use it in applications.
> Can we please just get a state government

No.

How about you give your business to a company that accepts credit card, like any gas station, instead?
What are the primary protocols that you envisioned this would be most useful with?
Nearly half the world lives on less than $5.50 a day (2018)
> So why try to fake that you do? If you want the visual effects of large glass then shoot with large glass.

Apple is trying to carve a chunk out of the market of people who would have bought a real 35mm full-frame system camera - if a phone can "look like it" for the photos of the latest vacation I send to Grandma or post on Instagram, why invest the thousands of euros that a good kit costs?

Most people aren't gonna shoot pictures at night/lowlight scenarios or with extreme zoom... I do though, so I chonked out some money and got a Sony A7S2. Now, if only Sony's software quality was better... sigh.
You can’t always dictate responses to your watch, and trying to respond with anything that doesn’t fit on the screen is really inconvenient.
In 2019 the NLRB said no, overruling a 2014 ruling that said yes.
That is fantastic news! I was curious when they added it and it looks like: https://github.com/intellij-rust/intellij-rust.github.io/com...

So yeah - nevermind about CLion! I do think it works better than IntelliJ, but it's a subtle, not-easily-quantifiable thing, and it's probably not worth buying it if you're just dabbling and also have IntelliJ Ultimate.
I'm Still Peter Bogdanovich: Seven Episode Documentary Podcast
I am pretty sure that international travel will stay banned for quite some time more, maybe the end of the year? But the current lockdown is supposed to be "eased" on May 3, and we are already seeing lists of districts with zero new case, where things will become really easy. But at the other extreme, there are "hotspots" where the lockdown will not ease at all for some more time. The lockdown won't just end on May 3. Some states intend to continue the lockdown on their own beyond that. Local shops have been allowed to open already. Some travel will become possible, probably within city limits or state limits. Restaurants and malls are unlikely to be opened any time soon. Everyone is still waiting to see what the official policy is.
I pick up my phone and read the news. I don't see why that would be any more harmful than a magazine or newspaper.
> "Direct connections to the KKK" ? Did you read the article or his statement? He was 17 and fell in with white supremacists after/during an abusive childhood.

"Claiming?" Maybe you didn't read this sentence properly with a pair of glasses:

In the article:

> Patton revealed that, as a 17-year-old, he was involved with the Dixie Knights of the Ku Klux Klan.

That is a solid indisputable fact written in history. If that doesn't sound like a "direct connection" to the KKK, then I don't know what is. Some may say he was still responsible for his own actions at the time during the Navy in his early adulthood even when he was still involved with white supremacists. With his statement on this, he has just taken responsibility for his previous actions and 'apologised'.

> If you want to claim Banjo is otherwise an evil company, OK, it may be, but that's a separate point. But claiming that this episode as reported constitutes a direct connection to the KKK, and implying it's ongoing, is off the mark.

Well I just stated a fact and didn't imply anything. Mind you, I think Option 3 is likely to happen because of his apology, but there are those out there that can be less forgiving... What do you think?
Show HN: Music Livestream Aggregator and Zoom Party Coordinator
If you want to work with the real numbers intuitionistically (or constructively), you quickly find out that infinite decimal expansions are not what you want.

In classical mathematics all the usual definitions of real numbers (decimal, Cauchy sequences and Dedekin cuts) are equivalent. If you overthrow the Law of Excluded middle, these are all different.

Infinite decimal expansions are bad intuitionistilcally for several reasons. The first one which come to mind is that you cannot add numbers together. Imagine your numbers started 0.33333 and 0.66666. OK, so far it would seem that the sum would start 0.99999, but somewhere down the line one the firs number could contain two 4s, making a 1 carry all the way up and leaving one behind, so that it should in reality be 1.00000000001…

On the other hand there could also show up a 2 later, making it 0.999999998. Thus, you cannot decide weather the first decimals should be 1.00 or 0.99 without looking at infinitely many decimals. And the fact that 0.999… = 1.000 will not help you out, since 1.00000000001 ≠ 0.999999998.

Being able to define addition on decimal expansions is equivalent for constructivists to solving the halting problem. It cannot be done.

It turns out Cauchy sequences are better behaved, and (with a bit computational improvement) you can make a lot of things work out. See Bihshop's book, Foundations of Constructive Analysis, for details.
> 4. Simluations necessarily consume more resources than they emulate, as a matter of computational theory.

That's part of 1: simulations cannot be built. A simulation that loses fidelity is not a proper simulation is it?

Also, you're assuming a simulation of physics, but simulating a world of minds is more feasible.

> Crucially, we have simulated our own ancestors, but the simulation did not appear to us to contain any sort of inner experiences from our ancestors.

We haven't, we have crude models compared to "post-humans" which would have a proper understanding of the algorithms at play in the human mind.
Audio jack isn't outdated. It's still the wired format for audio and that will never change. You will always see wired cans in studios. The only thing that changed is that Apple wanted to get into the $200 disposable bluetooth headphone game, and based on their sales this play was enormously profitable.
I'd love to have wasm2assemblyscript!

AssemblyScript: A Subset of TypeScript That Compiles to WebAssembly

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

https://github.com/AssemblyScript

https://github.com/AssemblyScript/assemblyscript

https://docs.assemblyscript.org/
I Norway I ended up with 6 different apps to charge various electrical cars that I rented. Surely it is annoying when I need to install yet another app. But after that it does not bother me. I just select the logo matching the the charging station and that is it. All those apps have similar GUI and use GPS to preselect the charging station. So there is very little friction in usage.
Unionization is work related.
There are already two very successful "Fixed C"'s in wide usage: C++ & Objective-C.

The remaining C usage is a mix of existing domain expertise, existing large codebases impractical to migrate to anything else (eg, Linux), or a rejection of anything more than what C provides.

In all of those cases anything that's not exactly C is unlikely to motivate any changes. The users that could change to a "Fixed C" already did decades ago.
> Please Google, just because my browser is in Berlin, that doesn't mean I speak German. I'd like to look at your product. I might even be interested. But I can't understand what you're telling me.

Interesting. I'm in the same situation but I do speak German (as a third language) and it didn't even click with me at first the website is indeed in German.