skysight-inc/HackerNews huggingface dataset:
The way you've been wording things is less "benefit of the doubt" and more like there isn't doubt.

And it's not character assassination when it's such a vague anonymous anecdote.

Your wording strongly suggests that you took it personally and were defending yourself and them together. If that's not what happened you need to work on how you phrase these things.
This is true is all you need is a cheap compute box. RPis give GPIO pins, compact size, and relatively low power usage. If you want something comparable, maybe an old mobile phone + a USB GPIO breakout board would fit the bill better.
> what kind of savage puts spaces on their paths? Failing in such cases is a neat feature it would seem.

windows noobs (as in embedded development), but more likely grabbed music.
Right now, there is nowhere else in the world where so many civilians are being killed. Nothing else even comes close. 20k deaths in just two months is a massive death toll for such a short conflict. For comparison, it's more than the civilian death toll in the nearly 2-year-old war in Ukraine.

The other thing is that the Israeli-Palestinian conflict has been going on for decades, and many people have formed strong opinions on it. The United States is deeply involved in the conflict, as it is Israel's major international backer. There are both Palestinian and Jewish diasporas all around the world that care deeply about the issue. There are many reasons why this conflict captures so many people's attention.
Only insofar as legal precedent has established it to mean that. If someone sues you for a use that hasn't been found in court to fall under this clause it will be more difficult to win that case.

IANAL, and my jargon may be off, but I think that in the scenario where you get sued for something that's been litigated to fall under this clause in the past, you can basically say "even if we assume the evidence and claims are accurate, it's obviously in the clear based on prior cases", if the judge agrees, you win without going to trial, which is a "summary judgement" I think.

On the flip side, if someone is trying to apply the clause in a novel, not previously litigated way, you're way less likely to get that summary judgement and it will have to be argued in court.

It works the other way too, if I wrote a eula that used different phrasing than what's been established prior, say to make it more obviously cover just the normal stuff for user uploaded images, summary judgement is less likely to succeed because no court had ever weighed in on my novel phrasing as covering those actions in that way.

There's also the risk that if you make the phrasing too narrow (specifying resizing of the image) then when a new tech comes along that's reasonable to apply (e.g. some ML process to derive a 3d scene from images, or make them) exactly zero user uploaded images you store at that point could benefit from that until you go back and ask the user to agree to that too. The question then becomes how worth is narrowing the wording when you can accidentally paint yourself into a corner.

Or how about if it had been phrased "display on a monitor" had been used years back pre-smartphone era? You could be sued for making user uploaded media available to view on phones since that wasn't in the license granted to you by your users!

When you cover all the little edge cases, you end up with the seemingly overbroad clause most companies use.

An important thing to remember is that the legal interpretation of a text can differ almost arbitrarily from the plain English meaning of the text as written.
Seemlessly here means actions suffered neither an increase nor decrease in the frequency of incidents
The default subreddits are truly awful. r/worldnews is the first one that comes to mind. They were accusing the murdered Reuters journalist of being a member of hamas.

I decided to never look at those subreddits ever again.
Settlements are of course wrong, but I don't really see any concrete action that Israel could take other than removing settlements. Even if they did that the fundamental facts on the ground wouldn't change. I don't see how they lift the blockade and any 2 state solution seems a nonstarter.
> I'm not sure about this part...

If you want to know what a university will teach your kids, ask them. They'll even tell you without asking them - it was pretty obvious to me as a dumb high school kid on campus visits what the emphasis of one program or another was going to be.
> Those "studies" have been thoroughly debunked. Give people soap and condoms.

Source? The CDC has a very thoroughly reviewed set of literature and studies that support up to a 50% reduction in STI transmission.

https://www.cdc.gov/hiv/risk/male-circumcision.html
I believe it's actually quite a bit harder to apply the "principle of least power" in practice than it is to recapitulate Fortran in some fashion. Programming languages boil down to type system + syntax + runtime + libraries, and many libraries could be generalized to languages if we wanted, but languages themselves have trouble supporting other languages because you're reinventing the tooling, so you lose track of types and syntax and ability to debug the runtime, and that produces a cliff of negative productivity that makes it hard to justify anything but the "big" language.

Although, if we had first-class support for "runtimes talking to each other", that might change, and the whole spectrum of protocols along those lines from the OS-level pipes and sockets up through SOAP or REST suggest that we are trying really hard to come up with a right way of doing it.
What software are you running that gets less then 100 usages before it gets retired?

>Great aproach

Unironically better, then trying to make prescriptions as broad and general as possible, because those usually are too generic to carry any actual value
If we're all being postgres-specific, isn't there presumably a grammar somewhere in postgres's code that is used to parse the query SQL? Wouldn't you all want to use that same file as a source so it's 100% identical to what Postgres is actually doing?

Genuine question. But maybe the tooling is incompatible.

Also, have you looked at Azure Data Studio? I'm wondering how much you can reuse from the work they did.
I just wanna be able to digest plastic
This May Be the World's Stinkiest Cheese
It's still not necessary to have bilingual data

https://news.ycombinator.com/item?id=38574712
No, the signers begged others to sign for them.
Getting an offer through the pipeline this time of year is very difficult. Everyone is leaving for holidays in random patterns and trying to get approvals and signoffs is hard.
I'm going to guess that Amazon.com will be one of the first to find all of the limits.
> Haven’t numerous studies shown that they reduce sti risk and are medical standard practice for African countries with aids epidemics?

Yes.

https://www.cdc.gov/hiv/risk/male-circumcision.html
Insurable risk as in charging someone an appropriate premium that is based on their specific expected loss. Property and casualty, term life, etc.

Non insurable risk as in charging someone a premium unrelated to their specific expected loss (which is what health “insurance” is).
Seattle biotech hub pursues 'DNA typewriter' tech with $75M
Thinking about products is hard. Just count to 10 and follow the sound of my voice.
How does this work out? Let's say Israel admits defeat and gives Hamas everything it wants. How does this remove Hamas from power?
You can change things, yes, but not in a way that keeps the disc usable.

The issue here is that you can't "unburn" a bit that has been burned. Since you burn 0s, not 1s, all you can do is make more bits 0 -- which would then be corrected by the error correction mechanism. You could alter the EC codes, but that would render them useless and eliminate the ability to correct errors, causing the data to be unreadable by a normal drive due to EC failure.

So, in practice, they're pretty safe. The worst thing that an attacker could do is to render the media unusable.
It's almost as if Israel has defensive technology (Iron Dome) to protect their citizens from Palestine's rocket attacks that target civilian areas (which is a war crime)
that's a problem with tons of laws, I can cook meth at home but I'm unlikely to get caught until I start distributing
Discussing ideas and making up hypotheticals are two distinct activities.
>but everything else works excellently, especially with KDE

Everything else? Including Wayland, fractional scaling on non-Qt apps, sleep, hibernate and HW video decode?

Yeah, I know if you have very common HW and restricted use cases, like track-point, USB mouse, display without fractional scaling, not using sleep/hibernate etc, then everything just works but those also "just worked" on Linux for the past 20 years.

I need linux to work on modern HW with modern quality of life features enabled that all the other OSs have out of the box, not to have to go back in time on how we used PCs 20 years ago just so Linux can feel at home.

If stuff like hibernate or mixed-DPI fractional scaling is still a foreign concept to it, then it's not year of the linux desktop for me.
And doordashers had room to double park.
Kind of overdoing it there aren't ya bud?
I think person A was calling person B (who had write access) to write person's A name, since person A was unable to do so because the google doc "broke?"
Don't be facetious. Parent was obviously referring to medical debt, which most first worlders never have to think about.
Yes, if you strictly view it from a short time horizon. If you think of it as an individual's risk over their whole lifetime, then it looks a lot better. A young person is "paying it forward" now, in exchange for having their own expensive treatments covered once they are old. This is the bargain that any social security or old-age pension system strikes.

The trouble is, as social cohesion breaks down, and demographic cliffs approach, people lose faith that long-term programs will still be there for them as they age. Perceptual time horizons shrink, and the arguments that you have made begin to resonate.

I don't have a good answer for either of those problems. Immigration solves the demographic cliff, but appears to threaten social cohesion. We can get into tedious and repetitious arguments about why that is, but let's please not?
> Math proofs are of NP complexity.

This is only true for very specific kinds of proofs, and doesn't apply to stuff that uses CiC like Lean 4. This is because many proof steps proceed by conversion, which can require running programs of extremely high complexity (much higher than exponential) in order to determine whether two terms are equal. If this weren't the case, it would be much much easier to prove things like termination of proof verification in CiC (which is considered a very difficult problem that requires appeal to large cardinal axioms!). There are formalisms where verifying each proof steps is much lower complexity, but these can be proven to have exponentially (or greater) longer proofs on some problems (whether these cases are relevant in practice is often debated, but I do think the amount of real mathematics that's been formalized in CiC-based provers suggests that the extra power can be useful).
> [W]rite a program/algorithm and then (with classical logic) prove correctness. What would constructive logic give them?

Compared to the usual case of writing the "algorithm" (i.e. the construction/decision part) and "proof" separately, it basically offers better structuring and composability. Imagine writing an "algorithm" that itself relies for correctness on non-trivial preconditions, or must maintain some invariants etc. Proving correctness of a complete development that might involve wiring up several of these together is quite possible if you can use constructive proofs, but becomes quite tedious if you have to work with the two facets separately.

> Where are you getting the idea mathlib is being refactored for constructive proofs?

It's not being refactored for constructive proofs, but proofs that do use classical reasoning are being marked as such in a more fine-grained fashion rather than leaving it as the default for the entire development. Which makes it at least possible to add more constructive content.
Huh. I was taught this in Software Engineering (2 semesters) in my CS degree, which was a required "capstone", so to speak, and focused on how to build real world software.

Some of it can't be taught though, any more than a craftsman or artist can teach a novice how to produce what they do with the same result.

The processes and steps can be taught, but only through experience can some things be internalized.
Spray and pray.
Knowing that, maybe is it worth make the drafts in an external text editor ?
It was a late one
I never wrote what they should or should not do. I wrote what I would want to do (assuming other countries would accept me as a refugee).
Testable software usually has a better quality because you can automate some parts of the quality assurance.

Sacrificing quality assurance to favour other aspects is common, but the quality usually suffers.

A company favouring time to market over testability is likely to release buggy software. They can get away with it.

Adaptability is a common quality, but you can find counterexamples. WordPress and SAP are successful software that may not check all the quality boxes.

Some architectures are for sure worse than others, and there isn’t one good architecture for all kinds of problems.
Strongly disagree with this. If a class (at any level) is strictly teaching "the subject" then that is a very good issue to raise by a student or anyone else. Great teachers don't just teach the subject though, they teach the skills necessary to engage with the subject and then apply them to said subject.

Unfortunately many programs are not designed this way and learning the appropriate skills is left as an exercise to the student usually in a sink or swim approach. So some students come out with the meta skills that a university education is touted for and others do not.

I do agree that "I'll never use this knowledge" can be a miserable attitude to have or engage with - especially when it's just a proxy for "I'm not interested in learning, just in getting good grades" but the idea itself is valid.
Musk is farthest from a smooth talking founder/ceo
> the Zionist aspirations

What has the current conflict to do with Zionist aspirations?
> appetite for risk and a slightly lower work-life balance

So it's difficult and rare and less/not available to those without safety nets and unhealthy (and, therefore, less/not available to people with disabilities).
If it works within specs it is bug free. It doesn’t matter how it is made if it works within specs, which is one of the real unfortunate truths of software.

The other is working out the correct specification is far harder than coding is.

For example it is trivial to write a bug free program that multiplies an integer between 3 and 45 by two.
It also is a good reminder to revisit a lot of ideas and to contextualize many works appropriately. We've seen that __in general__, independent of architecture, model output quality increases as model parameters scale and data scales; under the assumption that data quality is sufficiently good and does not degrade with scale (quality of data is exceptionally important).

I find that this a common misinterpretation of a lot of papers and works done in the research community, especially by but far from exclusive to practitioners. There's a trend that big companies will simply out compute other models/methods and those results will be taken with the premise that the architecture is better. But if your model is only better because you out hyper-parameter tuned your model compared to another work, is your model actually better? We've seen extremely strong evidence that even the research community buys into hype as we've still seen that CNNs, when using training techniques similar to ViTs and similar parameter counts, perform just as well as transformer based models.

We likely leave a lot of potentially valuable models and architectures to rot because we don't properly contextualize our reading of works. I'd love to see universities without big tech partners explore new generative models but it's hard for them to pass review when rejection is as simple as "performs worse than model 1000x its size that uses massive pretraining and cost $2m to train," "not enough datasets to be convincing," (different from "needs x,y,z datasets to properly explore x',y',z' domains") or "but does it scale?" These all are "pay to play" responses and I think if anything, we've seen that the big boom in ML has actually been from letting people "fuck around and find out." But my main concern is we're pushing harder towards playing around with pretrained models (which are often proprietary) rather than doing this but also exploring new techniques. Context is everything and there are big differences between a paper attempting to be SOTA and a work trying to explore different ideas (see NASA TRL). It's very easy to get caught up in the hype and lose sight, because evaluation is an exceptionally difficult task (if it were easy, we'd let LLMs review, but please for the love of god, no).
That's true, but usually if it starts adding up, and not progressing fast enough, you'll start hearing the judge say hey, let's get on with all of this. That is of course unless we're having problems with not having an attorney etc. Although there are cases where that doesn't happen definitely. Or one side chooses to waive way, way too much time, for some ridiculous reason.
Not the op, but "Jews secretly controlling xxx" where xxx is finance, the news, etc is a common, and very antisemitic, meme.

I think the article is probably just pro Palestinian, but the fact that it's examining only propaganda on one side and not the other, even though there will be the same kind of operation on both sides because there always is, make s me also a bit suspicious of it.
Strange, I thought Windows 10 was the last major version ever[1] and you'd never need to do anything but small updates from then on?

[1] https://www.extremetech.com/computing/205320-microsoft-windo...
This just not a necessary fact that making the heavier elements takes more time, and so the more recent stars cannot make such heavy elements?
To set the stage: European houses are different from US houses. Smaller, also a lot more concrete, brick and rebar.

With that in mind, when we built our house a few years ago, I went for a combination of wired and wireless. Heavy users, like the television and the PCs in the office have dedicated cables. But running cables everywhere just didn't make sense - so most devices are expected to live on the WLAN. Since WLAN doesn't penetrate between floors, there is a central plug on each floor for an access point (or mesh satellite).
There is also the likelihood that even those ratios are like that after the pro-Israeli factor.

They could very well be more than that but you can't shut them all up. So that 36 to 1 might be after the fact.

Just from the populations you mention, which is obviously a super rough calculation, if we assume all Muslims to be pro Palestine and all Jews to be pro Israel, we would be expecting something like 60 to 1 ratio.

So the existence of that 36 to 1 might even be the result of the bias.

I am not saying this is the case, I'm just saying don't dismiss the claim simply based on the ratio you see.
Without looking it up, how many people do you think Hamas terrorists killed on October 7th?
>Because otherwise it invalidates their opinion?

It provides some signal as to how “deeply” one (or a group) feels.

>So, are you ready to sacrifice yourself in the streets for Mr. Biden / Mr. Trump / Mr. Macron / Ms. LePen / etc etc, or to rehome the "victims" of their policies?

No, I do not deeply feel regarding this topic.
That won't do it any more. Now you have to invoke a command prompt on setup and run some commands to bypass online account requirement. Until they close that loophole also. Absolute turd of an OS. In only have it on a separate partition for games that wont run on Proton.
Extraordinary claims require extraordinary evidence. Can you back any of this up, or provide a reason I should believe what you’re saying? Because it directly contradicts decades of research on what is perhaps the most scrutinised and studied dietary supplement in the world.

Aspartame is safe, and very well tolerated.

You’re spreading misinformation.
> Updating an existing install on non compliant HW via the official update button
> do a clean install via UUP dump generated ISO or a Rufus modified ISO, then it bypassed the TPM check

I'll have backup my stuff before a clean install then, not ready yet but thanks for the guide! I'll do it when I get the time.
How is “files not visible unless you lick your fingers” a “self-destructing USB drive”?
You are lucky if they even take you seriously enough to do a simple lab test...
I've been using github actions cache to store build artifacts (object files) between builds. It takes a bit of fiddling but it's possible.
Steve’s overriding mission was to the customer. He used his own taste as a proxy for customer goals.
NextDNS have a checkbox labeled "Allow Affiliate & Tracking Links" for domains used in unsubscribe links -- I check it, and rely on uBlock Origin blocking them unless I'm trying to unsubscribe from something.
I supplement protein, filtered for vegan because my body doesn't like whey, and Pea protein is pretty solid. It's a "complete" protein and doesn't require any complicated processing steps, just drying, pulverizing, and a centrifuge step to spin out the fiber.
I can also vouch for the shopping list issue... It's the primary reason I bought a google home but lately asking it to put things on the shopping list has a 50% chance of putting it on the shopping list and 50% chance of saying something about "put on a list called 'shopping'" that doesn't seem to actually do anything. I think it's related to them shutting down the google shopping list app.

Getting hard to keep track of what is shutting down at any giving point...
So you're expecting 300 million people to take 30 seconds and look it up? Why should we have to collectively burn 1500 million seconds? While our "leaders" are feeding us "look all the sunshine" while we choke down a stack of bills and get slapped by inflation every trip to the supermarket. When was the last time anyone in W.DC did their own run to the supermarket?

*This* naive disconnect is part of the problem.

Also, you're presuming the source is trusted. When your gut feels like you're struggling, anyone who tells you otherwise isn't going to be met with trust and an open mind.
I am though.
That doesn't explain anything to be honest; what is "there"? why is there no "there" there? Can you explain it like I'm 5?
I use both. iA Writer is my definite writing app. It's where I write any bit of non-trivial Markdown, to the point I wince when I have to use an old-fashioned word processor. Drafts is exceptional for dispatching little bits of text to other apps through its ridiculously powerful integration and scripting. For instance, if I think of something I want to post to Mastodon, I press opt-F2 to open Drafts, write it, then press F2 to send it to my server.

Writer is a much better text editor IMO. (Drafts is really good, but Writer is stupendous.) Drafts is much better for interacting with or automating other apps. They're both in my dock.
Sorry you're being downvoted, HN has always been DJ'd by administrators (which is fine) but people here are under the illusion they're seeing everything there is to this argument and not a curated view by people who are pro Palestinians.