skysight-inc/HackerNews huggingface dataset:
> anyone who even thinks of defunding the police should visit a country with no police (for example a favella in Rio at night)

Rio has police. The fact that they choose not to act against crime in certain cases in certain areas (and are extremely likely to act brutally against suspects from those areas in other cases) is, actually, quite parallel to the problems that underly the defund/abolish movements in the US.

But neither the defund nor even the abolish movements want there to be no law enforcement, they just want (in the defund cases) resources and peripheral responsibilities stripped from law enforcement agencies and given to more appropriate alternative agencies, or (in the abolish case) local community services, especially law enforcement, to be redesigned and radically restructured, with no 1:1 replacement for the existing main law enforcement agency (but, in virtually all cases, with the law enforcement function retained in new entities.)
The continuum hypothesis is more like Euclid's parallel postulate than a Gödel sentence - assuming ZFC consistent there are models with CH true and CH false (the cardinality of the continuum doesn't have to be the first uncountable cardinal).

Everything gets qualified with "assuming ZFC consistent" or "assuming Peano consistent" because any inconsistent theory proves any statement. More of a proof technicality than anything too profound.

There is a construction of a model of Peano arithmetic, so it is consistent, as long as you accept the system used in the proof: https://en.wikipedia.org/wiki/Gentzen%27s_consistency_proof

Not sure if this sheds light on the parent commentator's question ... the terminology can be quite tricky.
It's just milky drinks in general. I always found it weird to see people having milk with lunch in American TV shows. Its sweetness doesn't pair well with saltier lunch and dinner time food.

It's not a lactose intolerance problem at all.
It's a marketplace business, all internet marketplaces are tech companies because they simply aggregate buyers and sellers while owning none of the assets/inventory/risk being transacted on the platform. Airbnb is just a website with a ToS. There is zero marginal cost to Airbnb for servicing a new listing.

Do you also question whether Ebay is a "tech" company?
That is... naive. The incentives for journalists don't necessarily align the the interests of the general public (transparency, thorough research, etc. etc.).

The point is that DKIM can be abused to lend undue credibility to falsified data... not that it can credibly attest true data.

These is absolutely no way you're going be able to educate the general public on the nuances of this. I mean, there are lots and lots of people who doubt the efficacy of vaccines and masks...
But does it automatically include ads for mattresses?

That seems to be the reason podcasts exist to begin with.
Yeah you can search for Ballmer's chair throwing online. It was fucking hilarious.
> There is zero need for a multinational between hungry people and food delivery. Inserting them raises costs, lowers service quality, and lowers revenue to restaurants.

Nonsense.

Everyone I live with went from not ordering any food to using UberEats weekly because it's so much more pleasant than interfacing with every restaurant directly, having to carry cash to pay and tip, having on easy way to answer "what's open right now?", etc.

All these restaurants are getting money they would have never received from me had the app never existed. And everyone I know uses UberEats and will sheepishly admit they use it way too often.

You should talk to people who use UberEats before you assume it provides zero value to anyone, not sure what else to say. Maybe you can do the same for Uber as well.
The D765 was a D765B, probably a shrunk version, hence the different die size.
My experience is that you have read the listing extremely carefully trying to devise what is it about.

Is it a whole flat, or a room in a property with the landlord living in, or a room in a property fulled rented on airbnb (how many people?), or a bed in a bunk of beds (yes that's a thing). There's listings for everything and quite a few are misleading. It doesn't help that you have no idea what is the normal price range when traveling abroad and may not speak the language very well.

If you're interested by the way. My counter experience renting a flat on airbnb over the summer, is that guests are evaluating everything they could use including beds and couches and ground space. The guest renting a one bedroom could be anything from a person or a couple to a family (maybe with extended family/cousins joining in) to a group of many friends. It's always a surprise whether there will be 1 or 6 people showing up.
There's a game called Rocksmith that has been on the market for many years that basically does this in real time on live guitar playing with far more than enough accuracy to make the game fun.

And that is doing it basically per-note! This task (aligning sheet music with MIDI) would allow for global optimization approaches which should be far easier and more likely to work.
Study Finds Motorcyclists Happier Than Motorists
In my view, AirBnb made the travel pie substantially larger. More people can afford to travel when rooms in far away places can be rented for small amounts. If the choice is not traveling at all vs. putting up with the friction of finding the property and getting the key, reviewing the house rules and then stripping the bed and taking out the trash before you check out, many people will choose the convenience hit and take more trips. Such as 260 entire place stays in London for under $60/night.

Put that together with some ridiculously low international air fare, like, RT SFO LHR for $700, pre-pandemic, and many more people will travel.
My favourite feature of logical is to push some data from master to partial replicas for closer geo-proximty on read queries.
Why NASA wants to put a nuclear power plant on the moon
I'm not sure that's quite fair to what the video is saying.

For one, he didn't say anything about coffee, but rather cappuccino (and other milk-based espresso drinks) specifically. A quick google seems to show that this holds up — I found a number of other easy sources that say the same thing.

They also mentioned wide variation in lactose tolerance, including between the north and south of Italy. You'd probably want to make sure that Albania is expected to have a similar lactose intolerance as Italy's population. Even within Europe the variance is very high — head a country or two north and you suddenly get up to _huge_ population-level tolerance levels of 75-80%+ in Scandinavia.

You mentioned butter/cheese and the video covers that specifically, saying that especially hard cheeses only have a tiny fraction of the lactose content that milk does (~5%, but varying by the type of cheese). So there's no reason for cheese to be treated with the same level of care.

Who knows, but I found the video to be as convincing as any other rationale for the taboo.
When websites interrupt people reading mid-way through to ask for an email address, does that actually work? To me it's an obnoxiously needy behavior to want associated with a brand, but I assume someone has crunched the numbers.
The source of all the supposedly funny videos some of my 'friends' just love to share...

Though to be fair, TikTok seems to be the only one stamping shared videos with its logo, which is why I hate them in particular. I suppose most of the stupid videos I get without logo come from other sources which I would hate just as much if I knew what they were :P Here in the Netherlands there was a similar thing called "Dumpert" actually which I also hate (but people usually link to it instead of reposting videos so it's easier to avoid)

God, I must have had 20 people sending me one with those coffin dancers involved in some shape or form.. Really don't get why people think that's funny. And no, I'm not all grumpy :) Some videos people share to me I do like but they really never come from TikTok. The app seems to always generate the same kind of slapstick humor. Someone having an accident and then the coffin dancers.. Hahah fun lol.. Or whatever.

If they'd just remove the feature to share videos to other platforms I'd like TikTok a lot more.
Wow, crazy to see Cordova on here.
These sort of sales have to be planned in advance and as long as they aren't done in a blackout period are legal.

It would be very stupid financially for them not to exercise some sales at this point.

https://www.investopedia.com/ask/answers/08/blackout-period....
Nice. The voice sounded completely real. Are you using AI on the back-end or real humans? If real humans how long is the turnaround time?
Same with me. It really does improve speed (although writing web pages without JavaScript also helps), and has many other benefits like you mention too. It can also save memory. Sometimes they add scripts to do things that some users want but I find it just gets in the way, so I disable it.

CSS is less problematic, although I do sometimes disable CSS too.

I also set meta refresh to manual; if a web page contains a meta refresh command, it will not refresh until I tell it to. I disabled other things too, including all third party cookies (even if they are already present).
> Map<String,Object>, Object, a few other things you may need are standard Java, so not sure how this is 'jumping through hoops'

When you put various things into this map and then later get them out and want to work with them, you will have to cast them to be able to do anything useful with them.

> the point is you CAN write shitty JS-style code if you want, how is that an argument for why JS is somehow better than Java

For the sake of our discussion: I have never said that JS were somehow better than Java. I much prefer statical type systems and would always pick Java over JS for a personal non-browser projects. But that's not the point of this discussion, so I'm playing "devil's advocate" here. It's important to understand and accept the shortcomings of statical type-systems - that's what I try to explain here.

> What doesn't make sense is saying that Java's type system makes it a worse language than JS or Python

You need to re-read what I (and the others in this subtread) have written. It is completely valid to criticize one part of language X compared to language Y without implying that this language X is worse than another language Y overall.

> [Java Either implementation]

> Yes, it's longer and slightly more complicated

And not only that, it is also not equivalent to the F# / Java examples. Or if it tries to be equivalent, it is buggy.

E.g.:

Either.left(null)

Now I have an Either that is neither left nor right. Compared to the Scala example (because Scala also has to deal with the existence of null):

Left(null)

This will create an instance of the type Left which contains a null-value. As I said, if I add a `.fold` method, then it will fold over the null. E.g.:

Left(null).fold(left => "Left value is " + left, right => "Right value is" + right)

This would return the String "Left value is null". You can't do this with your example implementation in Java, because the information is lost.

It is _not_ trivial to do that in Java, even when relying on already similar functionality like the built-in Optional type.
High Performance Individuals and Teams
What a horrible, drive-by comment. Why barf on someone else's birthday cake adapting to economic conditions? I suggest you try living in the Bay Area or LA, work an average job, and then talk about sustainability. There are plenty of satellite areas to live around Austin where houses are in the 300-400k range.
How I would change Section 230? An unedited feed keeps you immune from editorial choices. You can allow a user to sort by likes, retweets or time. Anything else is considered publishing.

One more thing. We can in fact read the things we want to read by using a “Where” clause. This functionality can be exposed as well and you can retain your Section 230 rights so long as no magic happens in the “Where” clause.
Unfortunately filing complaints in Chicago doesn't result in discipline towards on officer. If a complaint is sustained by COPA (the agency responsible for accepting and investigating complaints) then COPA gets to make a "recommendation" to the Chicago Police Department with how to discipline the officer involved. It is then up to CPD whether they want to actually follow that recommendation or not. A separate but related issues is that officers also don't always oblige to requests for their identification in the event of an altercation.

Source: Chicago resident who has filed complaints
True, in perf per watt M1 does an incredible job I'd wager. But I'm not interested in that. I simply want the highest performance in a 13 inch formfactor. Apple marketing material said the M1 would blow everything out of the water with a HUGE margin.

Now it turns out it's actually slower then their own laptop would be with a refreshed intel chip. That's what dissapoints me.
I think OOP is great, but one weakness is that a lot of abstract concepts don't really map to objects. And then people have flamewars about where to put those concepts.

In the real world most employees would never fire themselves and HR would update things like payroll which the employee isn't allowed to change. Your example makes more sense as a justification for keeping a service layer.
The "new ownership model" seems to be "timeshare".
Devop tool to launch a multi-vendor marketplace
Hello Everyone,

My name is Mahmood, founder of Workhint. I joined the community aiming to connect with great developers and exchange creative solutions. We are building a Devop tool to launch a multi-vendor marketplace in minutes. If you are interested in collaboration, let me know.

Thank You
I think the distinction between legally backed lockdowns and government recommendations is extremely relevant and at the core of the entire US response debate.

There is a large portion of the population that will fight tooth and nail against an order, but will follow a recommendation.

Obvious hyperbole alert!: I love my wife, but I would be furious if I were ordered to kiss her at gunpoint.

In this case, the public reaction all ties back to how individuals view their relationship with laws and the government.
It's bollocks, it's just a taste thing. Like I said on another comment, cappuccino works for breakfast because it's sweet (mostly because of the milk), which pairs well with a 'cornetto' (jam croissant). Personally I'm not a fan of milk and much prefer espresso, and I'm not lactose intolerant.

Lunch and dinner are salty food, and there's no place for milky drinks. In fact, drinking milk in general is just a breakfast thing for most Italians - perhaps as an afternoon snack with some Nutella when you're a kid.
You reverse causality, you shouldn't use a downvote when you disagree with someones opinion to begin with.

I took a karma hit of -4 on the comment above just because people disagree with an idea I proposed.
> After all, the shortest distance between two spacetime events isn’t a straight line any longer.

That's wrong. It's still a straight line, just along the geodesic of the local spacetime. It looks curvy if you bend and flatten spacetime into a Euclidean space, but that's because you bent it! Light in a vacuum always travels in straight lines. Gravitational lensing isn't gravity bending the light, it's the light traveling in straight lines through highly curved space.
AFAIK, JDs are awarded only by law schools. (But I take your point.)
Bad for so many reasons (including abuse of GitHub issues, spam, and the ability to change the URL the short link points to)

If you want your own private shortener, I have a better idea:

Use GitHub Pages and create a `/1/index.html` (where 1 is the short link name) and add a “refresh” meta tag in it. Completely static and no build/JS necessary.

This could be opened up to others by combining it with issues and GitHub Actions, but who wants that?

Another better idea for a private URL shortener is hardcoding a list of URLs in a CloudFlare Worker. Much faster and with real 301 redirects.
There have been good open source projects in this area for ages now.

DICOM itself is baroque but at least some of the complexity can be managed by easily available libraries. If you want to play with this stuff 3DSlicer (see the fine article) is a good starting place - access to a lot of ITK filters etc. without direct programming.

For example, you can fairly easily do your "diff" idea there (usually called a subtraction image) directly. It turns out this is not as useful as you might first think, although CT images are much less problematic than, say MRI. Still it's mostly used for contrast pairs (i.e. images taken in the same session, one baseline and one with a contrast agent). With much time between scans you often need to do more work.
Mathematica is a language. The implementation is proprietary, but anyone could create a new implementation, similarly to what Octave did to MATLAB.
> None of the items you mentioned cost much

The average private driver salary's in NYC is about 60k a year according to Google btw[0]. The average yearly -household- income in the US is 68k.

It's a massive luxury to be able to afford such a thing.

[0]: https://www.quora.com/How-much-does-a-full-time-driver-cost-...
Considering they’re borrowing at 10%, they could pay good interest on that money and both sides would come out ahead.

https://www.businessinsider.com/airbnb-paying-10-percent-int...
Does the Netherlands have a rule that you register with the local public security bureau for wherever you are staying? I really don't see AirBnB working in China because of that.
I once traveled from the U.S. to Italy with a colleague who insisted on ordering cappuccino after supper. I think he mainly did it because he enjoyed scandalizing restauraunt staff.
how did this get to top 10?
I just did, and I have less than 15 related results in the first 4 pages, only two of which are sources I've ever heard of before (washingtonexaminer and nypost). I'm logged out of google, but it's been a while since I deleted my cookies.

I've read literally hundreds of pieces on the hunter biden laptop, about half of them from republican leaning outlets, (I try to keep a balanced diet....) and none of them mentioned DKIM validation.

(For the record: I don't live in the US, I don't watch television, but I do try to keep a balanced news diet)
I’m sure there are broad market Vanguard ETFs out there that won’t have Tesla in it and will make no changes based on this announcement. This is really just ETFs that track S&P 500.
Admission is fairly selective and focuses on interest, ability, and accomplishment in math and science.

There certainly are significant differences between individuals, but nearly everyone is smart and scientifically motivated.
Thanks, I already did 20 years ago but I'm vegetarian. My mom's family is from north TX and my folks met in San Anton. Earth Burger in San Marcos is crazy good but 2-3x more expensive than regular fast food.
Regarding biz model.

-Redpanda (free) - comparable features to Kafka, no limits
-Redpanda Enterprise (paid) - Additional features (security, WASM, tiered storage, support etc)
-Vectorized cloud (Free and paid tiers) - Hosted in AWS+ GCP
Let's hear some specific predictions of things that the Trump administration has been behind that you believe those who opposed him will support if the Biden administration does them.

> People will accept anything as long as "their guy" is doing it.

There's probably a heavily nerfed reformulation of this statement that's true, but as stated it's wrong enough I'm tempted to ask for market tips or what domain you consider professional expertise so's to short whatever you're long.
i was hoping the article would focus on pure[0] rather than mathematica - term rewriting is very interesting, but symbolic mathematics seems to be the default use of it, and i never see anyone talking about other applications.

[0] https://agraef.github.io/pure-lang/
Whereas I appreciate the (terribly unfortunate) point made in the excerpt, the link didn't work for me. If anyone else wanted to read more, I found a working archive.org link:

https://web.archive.org/web/20140122141413/http://www.shirky...
The general idea here is that there will only be one major winner who will capture the market due to network effects.

So scaling as fast as possible is the #1 goal, because if you don't someone else will and you'll go out of business.

Therefore sales and marketing is a huge factor in growth. Then the idea is, once you've grown as much as you can and it's too hard for others to compete because of your entrenched network effects, you can reduce sales and marketing to a a reasonable, highly profitable level.

That's it in a nutshell and it works in any market with strong network effects, which AirBNB strongly fits into, in facts it's a poster child for the concept. Yelp is another good example -- sign up all the restaurants before a competitor does.

There are a lot of different business models out there, which you can study (and MBA programs teach you). This is just one model, and it's a legitimate one. Google, Facebook, Microsoft and Apple all have different models from it (and all drastically different from each other as well).
Yes. Just don't use twitter. Over time their numbers will dwindle and they will become a dead social network.
This is why: https://www.theverge.com/interface/2020/7/15/21325708/twitte...

See also:

https://www.kcl.ac.uk/csss/assets/10957%E2%80%A2twitterconfl...

https://www.getrevue.co/profile/caseynewton/issues/a-catastr...
You are correct, static binary translation is what Rosetta does first. That, however, is what I called niche technology in another post, most of the research so far had focused on dynamic binary translation.

Furthermore, SBT, even for user mode binaries, can rarely reach the performance levels that we see with Rosetta2. There are many issues in determining what is code, where are the branch destinations in case of indirect branches, etc. What we have here is certainly a feat of engineering on its own.
They probably didn't understand. People drink macchiato all day long.
Erykah Badu tests positive for Covid-19 in left nostril, negative in right
Everyone please be careful buying puts if you're not doing it for insurance against current holdings. If you're buying anywhere outside of the .30 delta and less than 21 days until expiration (even then) you're probably buying a lottery ticket.

The average person would be better off buying 10 x $5 scratch off lottery tickets tomorrow and accepting the result... than buying a far out of the money short dated put.
I should have been more clear. This is what I meant be "correct encodings". I would be surprised (but am welcome to being wrong) if a large amount of sheet music hadn't been encoded somehow.