skysight-inc/HackerNews huggingface dataset:
The problem isn't using Cat5E, specifically - as long as they run conduit pulling new cable isn't a big deal. It's the complete lack of planning and design around home networking, which is just as important to our daily lives in 2023 as plumbing and electrical is.

When my aunt moved her custom sewing shop last October I put more effort into planning the network infrastructure for her modest storefront than homebuilders do for half a million dollar homes.
I don’t use Mac, nor care what browser people use on it. I use safari on iOS because I too don’t care enough to install another browser.

It’s absolutely baffling that you could read my post as saying safari sucks or that people who use it are idiots.

Let me try to be more clear… there are two reasons someone uses Safari on macOS, in my experience:

1. They like it better. Usually, the reason they like it better is because it feels more “native Mac”. This term is in quotes because it’s not a technical term and my understanding of what it actually means is vague, but I by no means dispute that it’s real.

OR…

2. They don’t care, so they use the default.
> it has been designed for verification from the ground up.

It has a lot of places where you assume things work in a certain way and a lot of ways to assume it (and you can prove `false` if any of those assumptions aren't correct). I'd say it's a lot more geared towards formalizing math than verification.

There's some more things, e.g., the `Expression -> C-code` "compiler" isn't verified and neither is the C-compiler. Those could be fixed with some work (that nobody is working on currently, as far as I can tell). But the first issue seems pervasive. I don't think Lean will become a standard tool for software verification or significantly advance the discipline. Of course, I'd love to be wrong.
> Probably the more compelling answer is that the industry doesn't' really want them to for the most part.

This is it. Everyone is making money hand over fist despite not doing it. You might want it, but you don't need it.
I also have some s7 but the version of android won't support the latest banking apps so it's becoming rapidly obsolete. What are you doing about app support on the android on s7?
No, not in the slightest.
About the last part - Israel is not friendly to the Kremlin. It merely doesn't actively attack due to the Kremlin control of Syria.

If Israel goes against Russia, then Russia will prevent Israel attacks that prevent Irans control of Syria and Lebanon.

life is way more complicated than you presented it
Electronic Pill Monitors Health
My domain has a caa of letsencrypt, how is that a moat?
Guess you’re right.
It’s surprisingly difficult to measure.

“Installs” are muddied by the fact that everyone with a Facebook account has a Messenger capability, and every Apple user has an iMessage app downloaded.

“Messages received” is distorted by group chat dynamics and commercial messages.

“Messages sent” is distorted by the unequal value of relationships.

For example, I generally communicate with FB marketplace sellers & acquaintances from high school on Messenger, but use WhatsApp for talking with overseas family members.

More generally, there are social dynamics which make messenger apps radically different from one another. Even when the feature sets of the applications are very similar.
I’ll give a fuck one way or the other when shifting capital markets don’t make it a Wozniak moment to participate at all.

Ranking how much it’s all captured and handed out to buds and pre-IPO AirBnB stock funded. Snooze.

Call me when you want to knock this thing over.
See also PK Dick, Clans of the Alphane Moon (1964)
Apple is adopting RCS, but as far as I can tell your reply has nothing whatsoever to do with my comment.
(You already know this but for the general audience)

The train doesn't make you immune to malaria but it does increase resistance after infection.
Show me a single Meltdown or Spectre exploit that has affected real users.

Can't? Then you're just selling tiger-proof rocks. Expensive ones.
The difference between "Antisemitism" and "anti-Semitism" is merely stylistic. Both have been in use in English since 1880 when the word was borrowed from German.

It refers exclusively to hatred of Jewry not because Zionists, but because the term was was popularized in Germany in the 19th century by people who hated Jews prior to being brought into English.
PixelExpert: Front End Journey in Photography Mastery
Explore the frontend magic behind Pixelexpert, a photography learning website. Your star fuels the journey!
I think of this more as a distinction between exercising "platform power" versus "real world" power. #freepalestine is not an issue like #metoo, in that the court of public opinion does not really matter for the former, since Israel is a sovereign nation. The state of Israel is not going to get cancelled for toxic behavior. I think this was the argument framed in the article: despite popular support for the Palestinian cause, you are more likely to lose your job for stating pro-Palestine views. This is one probably reason that those without even enough clout to get fired for an opinion are even more rabid and vociferous. I understand your doubt of the organic pro-Palestine content, and I'm agnostic about it, but it is an easy train to get on right now regardless of the actual depth of your beliefs.
Full text mirror: https://web.archive.org/web/20231208225306/https://www.nytim...
You're making a good point about the symbiotic relationship with the Israeli right. This reminds me of a recent interesting discussion on the Skeptics StackExchange: https://skeptics.stackexchange.com/questions/56315/did-netan...
For some reason I'm afraid to check if that website exists :)
Verizon fell for fake "search warrant," gave victim's phone data to stalker
Wouldn’t it be the users, rather than Beeper Mini, that are doing the accessing?
If you mean RCS, end-to-end encryption is not part of the standard, it is a non-standard extension supported only by the google messages app https://support.google.com/messages/answer/10262381?hl=en
Hagari was not speaking about massacring civilians. He was talking about damage to Hamas/military targets. He did say that Israel is biased towards more damage vs. accuracy.

This is very propaganda. I've been following the conflict pretty closely and I speak Hebrew. The parent is correct, there is and was no order to massacre civilians.

It's probably safe to say that protecting Palestinian civilians is not Israel's main priority, but there's a big difference between that and painting a picture of Israel trying to massacre as many civilians as possible.
Signal does allow third party clients, Beeper is one. I agree about other things, and would expand on the list.
> What limits AI creation is not base creation but creating things that satisfy people. And determining what will satisfy people is much more the domain of influencers than AI, and this sounds like jobs that filter AI outputs for market success.

https://benconrad.net/posts/230610_influencingScarcity/
If you go to http://warrior.archiveteam.org/ rather than https, it won't hassle you about the warrior. subdomain not being an altname for the SSL certificate. Warriorhq. is on the cert though.
Btw I can totally understand your point. If I wasn't happy with the choices that Apple "made for me" I'd be on your side here. And getting blocked for that gmail address is ridiculous! Just trying to find common ground—I think you're reasonable for disliking Apple for blocking an other-platform iMessage clone, but I also understand some logical reasons for it and am ok with it. I hope that we can all have our preferences without hostility (not that I'm accusing you of it, but these convos often degenerate into it imo).

Hope you're having a great day :)
I suspect you ignore the history of terrorism by Irgun and the bombing of the King David Hotel, which house the British military command. Menachem Begin was a key player in that attack & was extremely proud of it. Who are the modern day parties following in those footsteps? Why Likud, & Begin was a co-founder of that very party— now led by Netanyahu.
To add to the list.

- Amichai Eliyahu, Israel's heritage minister: "that "there are no non-combatants in Gaza," adding that providing humanitarian aid to the Strip would constitute 'a failure.'" [8]

In the same interview: "When asked by the interview whether a nuclear weapon could be used on Gaza, Eliyahu responded: 'That's one way.' " [9]

[8]https://www.haaretz.com/israel-news/2023-11-05/ty-article/ne...

[9]https://www.businessinsider.com/israel-minister-suggested-nu...
If you don’t trust Apple, then obviously you don’t use it. If you do, then it shouldn't be possible for a 3rd party client to break that trust. Users only see iMessage vs no-iMessage and have no other way to identify the client to decide for themselves whether to trust it.
It's not `noncomputable` in Lean though. Lots of computable functions use it.

I've read Bauer's paper before btw. I think topoi are cool, but I don't think it's a complexity worth thinking about for everyone else who isn't concerned about these things.
Nautiloids are canonical although smaller usually

I don’t know what you mean by your gay comment. Appearance of the character creator??
It seems to me a more fundamental assumption is: there are two groups.

I believe breaking things up into "us" vs "them" is the root of much evil in the world.

Would it be more meaningful to say "dads killing dads" or "this specific person killing that specific person" ?
I find it hard to imagine a future in which Israel allows a Palestinian state to have its own army of any reasonable capability. Almost as much as I find it improbable that such an army wouldn't be mobilised against Israel as soon as it was sufficiently established - regardless of any pretext of peace.

However, my point was based on the situation today. The import of building materials into Gaza is strictly controlled because those materials could be used to build and fortify military positions.

It is contradictory to prevent the creation of military positions and also complain about civilian structures being used for military purposes.
Wait, it's 2023 and there are still builders that don't run structured cabling through conduit? Given what they charge to do this as part of a build, putting smurf tube in should be a requirement, not a luxury.
I just checked and it looks like most of them are in UTF-8 now, but not all of them for some reason like SekaijuView.cpp
Can the US (or Europe or Japan) compete with China today?
You always hear "the map is not the territory". Which is to say, names are applied, models are asserted and all our fine ideas about the world are our own contrivance, not the world's.

But how close could we get?
Does iMessage allow third party clients? No? Then why the double standard?
I'm sure, and I'm not one to launch flame at those who do love. If it works for them, great! I'm glad those find pleasure in them. They have pros/cons, as does cloud services which stems off for me in to another dislike. I'm used to my own ways, as everyone else is.

There's not much else I can say to the discussion but just wanted to reiterate my point that I'm not hating others for the reason but just disliking for the reasons. I've never been a laptop fan.

With awkward hands, handheld consoles, controllers, laptops have never jelled for me. Yet constantly disappointed for that they've have never been taken catered for. As VR with glasses, Netflix non-continuing content I enjoy; everything I seem to enjoy just vanishes. Sad, as after experiencing tech at such a young age with so much potential; for it to be regurgitated to how it is, singular devices makes it depressing.

I must be a niche but I just assume companies have to cater to the majority, for which I'm not one.
> Hamas was wrong to attack Israel.

I am against all violence and murder of civilians, but per international law, Hamas resistance fighters[1] had every right to attack Israel, the occupying power, but not civilians. And, as more comes out, there are more questions about who is responsible for the majority of the civilian casualties in the Hamas resistance fighter's attack. E.g., hundreds of the 1400 originally reported Israeli victims of the Hamas attacks have now been identified as Palestinian Hamas resistance fighters "burned beyond all recognition" [by Israeli forces]. And, the majority of Hamas targets were military. Whereas nearly 100% of the Israeli targets in the current massacre are civilians (including literally babies in incubators); the majority of the murdered have been women and children.

And, per international law, Israel, as occupying power, does not have a "right to defend itself" against the occupied Palestinians.

The International Criminal Court was investigating Israel for past crimes against humanity, but the Chief Prosecutor was replaced with one more friendly to the Zionists (no doubt under US pressure). Past Israeli activities and especially the current massacre is textbook genocide per international law, and while Israel refuses to sign onto the the ICC, Palestine has (which provides jurisdiction), but even if it hadn't, universal jurisdiction for crimes against humanity such as the genocide being perpetrated by Israel allow for the prosecution of Israel's crimes. Israeli leaders (and hopefully soldiers) will eventually be brought to justice (as well as those who facilitated the genocide like Joe Biden, Anthony Blinken, Ursula von der Leyen, Nearly all Democratic members of congress and all Republican members of congress and many many more).

[1]There is also a lot of confusing Hamas the political wing with Hamas the militant resistance fighters. These are distinct, and there is good evidence that the political wing of Hamas was unaware the attacks were going to happen until after they had occurred. Think of it as Sinn Féin political wing of IRA vs. IRA resistance fighters, fighting the English colonizers, in Ireland. The political wing Hamas, is the democratically elected government of Gaza.
> In order to be able to live together we need to learn our history

Strong disagree. History is important, but we need to solve present problems. It is possible to live a good life without returning to grandpa's home from 80 years ago.
And while Israel did shitty things in 1948, I don't think Jordan or other Arab countries did better. It's impossible to say, but if the proposed borders were accepted, I'm pretty sure there would be much less suffering from both sides.

> I personally just want to be able to go to the beach and travel from an airport nearby.

But other Palestinians want more. You could get your beach in Camp David, any peace attempts included as much, and the disagreement never was around freedom of movement of Palestinians.

> Why not?

Because that would mean to displace people currently living there. Two wrongs do not make a right. And Jews were minorities in many different countries, and it turned out not that good many times. Specifically, Jews had to flee multiple Arabic countries not that long ago. How can we be sure it won't happen again?
I think they don't like being spit on and excluded by iphone users. Iphone users don't like when there are android users in group chats.

The reason the iphone users don't like it is because Apple specifically and artificially makes the experience annoying and shitty in several different ways, for the iphone users not just for the Android users.
This is what monopolies (or duopolies) usually do. Basically, they can do whatever they like in the market. I think that the antitrust enforcement is critical in a “free” market. But neither parties would do it. I am guessing Democrats think that they can get some benefits from Apple’s control. And Republicans are simply paid off. The consumers end up bearing a brunt of it.
> The similar but black input weight was
not in use.
> It did buy them a whole lot of attention.

Ding ding ding! We have a winner!
Can you show us some first-hand sources of what exactly did happen in 10/7? If not suitable for TikTok (though gore and violence upon Palestinians are readily visible), there must be available somewhere on PeerTube or blockchain platforms.
Even better, if one n100 is out of stock, you can buy one from a different vendor and it will work fine. Good luck running your raspberry image on an orange pi.
I seem to remember exchanging e-mails with kuzu. But I can't find any of them!?

Not even my bugfixes were upstreamed and I'm not mentioned in the contributors page anywhere.

I had to fix things just to make it fully usable. It had issues opening devices, and a crash also.
Yes, I didn't mean a one-state democracy (though I see how it could be interpreted that way). I agree about a two-state solution.

> As it happens, the Palestinians are slightly outnumbered in the area between the river and the sea, which means that when it crops up in the Hamas charter it's difficult to imagine that democracy is how they would seek to maintain control over the region

It's long been a basic assumption of experts that Palestinian's higher population growth would result in them having a much larger population in Israel than Jews. That's been a reason and incentive for the two-state solution: Israeli Jews would not want to be a minority in the 'Jewish state'.

The fact that the Israeli right wing has abandoned the two-state solution raises the question of what they intend. Clearly they don't intend being a minority; what other plan do they have?
So I have not done research any software engineering field and have not read all that much either. One example that comes to mind from one of my courses that I took in software engineering is research around mutation-based testing. That form of testing is where you generate random variants of your test by doing things like deleting a statement, adding a statement, changing a less than sign to a greater than sign, etc. Then you check to see that at least one of your tests fails for each variant. If it does not, you either add a test or mark that variant as being effectively the same program. I forget what the term is for it. At any rate, I think there is still research being done on this topic, for example how to effectively generate programs that do not generate as many functionally identical programs. Software testing in general is a big part of software engineering, and I think there is still a fair amount of research that could be done about it.

In my opinion, the intersection of cognitive psychology and software engineering is also ripe for a lot of research. I feel like we as software engineers have a lot of intuitions about how to be productive, but I would love to see various things that could indicate productivity measured in a controlled lab setting.
> My understanding is that there needs to be some kind of upgrade on our grid so everyone can charge their cars. This would likely involve increasing its capacity to handle the additional load from widespread EV charging.

It might help that most home EV charging will likely occur at night, when home power use tends to be at its lowest.

A home level 2 charger has a load comparable to an electric clothes dryer plus an electric water heater, and so is comparable to someone in an all electric household doing laundry. The average such household even does laundry for about as many hours a week as a typical EV in day to day use needs to charge.

That suggests that at least the parts of the grid nearer the end users, which would probably be most of the grid in most cities, should be fine as least as part of the grid's maximum capacity goes. If laundry during the day doesn't push them over, then home EV charging at night probably will not.

There may not be enough total power available per week to handle the EV load, but at least for that where upgrades would be needed would be at the power sources and maybe at some long distance distribution parts of the grid.

That's probably good news if true. I'd expect "we need to upgrade or build some long distance transmission lines" and/or "we need to upgrade or build some power plants" is probably going to be more feasible than "we need to update most of San Francisco's electrical system".
It will end up like home IoT crap. Zigbee, Zwave, Matter, ten other shits… GL with this
TL;DR

"for many American businesses, this also has been a good year for profits, with some corporations notching record or near-record gains."

"a sizable 177 businesses have closed since 2021, although exit interviews suggest a multitude of reasons, including labor costs, but also inflation more broadly and challenges posed by leases, entertainment industry strikes and changes in consumer behavior after the COVID-19 crisis"

"the rapid jump in West Hollywood’s minimum wage came after years in which its pay rate trailed that of Los Angeles and neighboring cities."

"Many workers were already making $19 or more an hour"

"This year, more businesses have opened in West Hollywood than have closed"

"Mario Vollera and his partners are gearing up to open Southern California’s second Roosterfish bar in West Hollywood, in the space where reality TV star Lisa Vanderpump had once operated her restaurant lounge. 'I’m not that concerned,' he said of West Hollywood’s pay rules."

"This business owner was one of 21 employers who received a temporary exemption from the citywide minimum wage or paid-leave rules, after supplying proof that the rules would lead to a substantial cut in staff or work hours."

"West Hollywood’s City Council responded by giving employers relief on an annual business tax and parking and outdoor dining fees, totaling about $2.5 million"

"Low-wage workers have seen the biggest gains."

"experts say that the changes, on the whole, may not make a big difference for employment"
What is the point of asking what the point of someone’s comment is because it seems fanciful and impractical? Good grief. They’re not hurting anyone.

Also there are a lot of things people could say “You know what you’re describing is never going to happen.” That did happen.

I’m not suggesting this one is. I don’t think so either, but it isn’t a very productive attitude.
It absolutely works.

If you want to play join the dots from slogan to genocidal racism, Netanyahu's references to Amalak is what you are looking for.
A third party client in iMessage allows for spam attacks, and (worse) malicious payload attacks. It’s very much in the interests of security that Apple fence them out.
Why? Because they could!
A strike has a legal definition which is not open for debate.

Perhaps you are thinking of a general strike? This is a solidarity strike.
If an org has sysadmin(s) what are devs doing in production? I'm not referring to juniors or devs, although shit obviously rolls down hill.

My point is that whatever is done over SSH is at the very least repeatable with relative ease even if it's incorrect.

SSH has a command history. RDP means recalling what guis were clicked through and which options were selected. Neither is particularly scalable and both are imperfect but only one of those is faulty by default.

In the case of ssh at least I can copy and paste (then fix) some idiot's commands into a script as a starting point for automation. What are my options after a whackamole RDP session?
I sorta keep huggingface open next to HN now. Follow like “TheBloke” and a few others and you’ll know what’s up.
Not what he said. He said he doesn’t trust them (safe). The question you should be asking is why do you?
Prioritized in what exact way? You are fed what you are interested in and like, on TikTok. It is easy to read yourself of topics or content you are uninterested in or dislike.
i am just flabbergasted that we are living in a timeline where the phrase "proprietary protocol" is a real thing
Not sure what your link has to do with any "questionable content decisions" Disney has made, but it's hilarious that her alternative is to let her child play Minecraft and watch YouTube instead of "Wizards of Waverly Place". Thank goodness she isn't exposed to the adult sarcasm of Disney tween content, just the wholesome world of YouTube!