skysight-inc/HackerNews huggingface dataset:
Because engineering consumer media to be robust to a Stuxnet-level attack vector is ridiculous?

The switch as-is prevents the file system from becoming corrupt when you don't "safely remove" the device, and that's plenty enough for the average photographer.
My subjective experience is that since Elon Musk visited Israel and met with the government a week ago, Twitter has started heavily promoting pro-Israeli accounts.

Of course, Elon Musk decided to visit Israel after he came under criticism for agreeing with a blatantly anti-Semitic Tweet,[0] so some may question how sincere Musk's sudden change of heart is.

0. https://edition.cnn.com/2023/11/27/tech/elon-musk-isaac-herz...
> We should instead make wasting the other party's time cost money.

How do you prove that, though?
I'm not a fan of civil asset forfeiture!! That's only a fraction of what makes me registered libertarian though hah.
As a non-circumcised man, I am completely certain that circumcision is completely stupid and abusive, because the skin that is removed is one of the most sensitive parts of the body and losing it would be as bad as losing any other senses.

Nevertheless, I find it hard to believe that someone circumcised as an infant would be traumatized in any way by this, because they would never know what they have lost, like someone who has been born deaf or without the sense of smell.

Regarding the pain of the procedure, even if it could be somehow remembered, there seems to be no way how it could affect development, because many children may experience even more painful accidents from which they can recover perfectly without any long-term consequences.

As you say, there may be only some indirect correlation, e.g. caused by the differences between the parents who would choose to circumcise their sons and the parents who would make the opposite choice.
Hey, this is really awesome work, thanks for making it available.
I would have updated if it wasn't for Windows 11 having the option to ungroup tasks removed. I heard the rumor they would bring it back one day, but this day hasn't arrived yet.
My Israeli brother-in-law is afraid to join a pro-Palestine rally because he looks too Jewish.

Life's ironies I guess.
I tried to solve today's Advent of Code problem in full generality
Unrelated to the article, I could immediately identify the image used as definitely AI-generated. But I can't identify any reason why. It's a normal picture of a stone brick wall. Yet I'm 100% sure it's AI.

No shame to the author for their choice; replacing stock images with generated ones is a great use case. It's spooky to me that we've been so quickly trained to identify this subconsciously.
About to?
Stacked diffs sound like what I sometimes do with PRs, where I branch off a previous branch. merging/rebasing from main would cascade through. It's a drain on QA though if they feel like they have to manually qa each PR, as opposed to testing the entire bundle of PRs at once.
> Oddly absent: an over-rehearsed professional release video talking about a revolution in AI.
“generally a less damaging version of what is done to men”

This is untrue. Male circumcision involves the removal of the foreskin (not the glans) while female genital circulation often involves not only removing the clitoral hood and inner labia, but the clitoral glans as well.
Apple cuts off Beeper Mini's access
People tend to support David against Goliath. I've never been there, and I had no idea what was happening. All the information I have (and most of what you have) is propaganda, from both sides.
Do SE classes teach debugging skills? I hope they do. So many times I have seen people try random things rather than follow a systematic approach.
Conflating nazis and children does not seem to be the logical masterstroke you think it is.
Perhaps an LLM could produce a plausible-looking proof that is completely and utterly incorrect.

As a party trick.
The agenda is an overtly racist one, it is to support:

* Bibi's racist amalek "genocide the palestinians" trope.

* Ben gvir when he hangs a portrait of Israeli terrorist Baruch Goldstein up on his wall.

* Isaac Herzog when he calls race mixing a tragedy.

(To give an example of 3 people who obviously represent Israel, all of whom are proudly racist).
Or Iran, for that matter.
That said, the 2nd Gulf War was started by the US.
Are they? There’s interesting statistics about UN human rights committee resolutions by country. Israel alone gets most resolutions.
As always, the branding of formal methods sucks. As other commentators point out, it isn't technically possible to provide a formal proof that software is correct. And that is fine, because formal software methods don't do that.

But right from the outset the approach is doomed to fail because its proponents write like they don't know what they are talking about and think they can write bug-free software.

It really should be "write software with a formal spec". Once people start talking about "proof" in practice it sounds dishonest. It isn't possible to prove software and the focus really needs to be on the spec.
With Debian, the key thing is that you usually have to install the non-free-firmware package to make things like WiFi work (anything that needs a proprietary blob). This isn't done automatically.
Gen AI for customer support I have seen so far
What does the support of fractional scaling or touchpad gestures have to do with the laptop you're running on? Either the OS supports them or not, no need to buy a new Linux laptop for that, that's crazy.
def decider(_): print("idk")

Done ;)

---

More seriously, the benchmark would be something along the lines of "and it is better at finding proofs than humans are", like how chess engines haven't solved chess, but they are so much better than humans that they always win in a competition between the two.

There's no good reason to think that humans are capable of finding proofs that are hard to find algorithmically.
> only cost $125k to buy and maintain. That’s cheap enough that middle class people

do you actually know any middle class people? what do you think a middle class income is?

and given the current trend in robots, why do you think the middle class will continue to exist?
Open conjectures are usually solved by inventing new mathematical frameworks that embed the context of the existing question. Inventing new definitions is trivial, but there's no rules that constrain the space of moves. And inventing _interesting_ new definitions is extremely hard. I wouldn't bet on LLMs doing this ever.
I have often used a Java utility class of static inferring generic constructors:

public static <E> ArrayList<E> newArrayList() { return new ArrayList<E>(); }
public static <K,T> HashMap<K,T> newHashMap() { return new HashMap<K,T>(); }

So code can look simpler, but just as clear:

import static GenericConstructors.*;

...

ArrayList<String> names = newArrayList();
HashMap<String, List<int>> hashmap = newHashMap()

The "x := 10" example is one reason it feels safer to me to declare the variable type, and infer the constructor types, than the other way around.

--

What would resolve this whole issue is standardized editor/IDE visualization support for showing all inferred types, just one toggle button/key away.

Inferred types simplify writing code. But when reading code, why should we have to mentally emulate the language's inference algorithm? It is, by definition, supposed to be automating that for us.
People are also willing to die for all kinds of stupid reasons, and it's not indicative of _anything_ let alone a clever comment on the online forum. Show some decorum, please!
It has the difference of not having been around for as long and accruing reputation. That's nothing inherent, and will come with time of course. Of those, the only other difference is that github actions has the advantage of being first party; if you use github, then there's no increase in security exposure by using their own actions.
If Hamas were entrenched under an Israeli school or hospital, the civilians would vacate the area so the IDF could take care of it.

In Gaza, Hamas may be preventing civilians from leaving (but I’m not there to verify). It would help to have civilian corridors into the south and into Egypt, but again that’s not in the best interests of Hamas.

I’d like the IDF to do their best. They are indeed responsible for trying not to kill civilians. There’s only so much they can do, short of a so-called “ceasefire”.
> chants like "from the river to the sea" (meaning destroying Jewish country)

What is the truth of that? I've seen Israeli advocates make that claim and many repeat it. I've also seen an explainer in legitimate source (maybe the NY Times?) say that it means both Palestinians and Jews should be free. Does anyone have some actual, authoritative information? Something from before October 7th might be good.

> saying Israel shouldn't defend itself against Hamas attacks

Who has said that?
Your comment implies that Palestinian civilians can't have peace until Israeli territory is ceded back to them. This is in the context of October 7th and a the current Gaza seige. It is reflective of the loudest echo in the war zone.

There won't be a single outcome but the most negative one for radicalized Palestinian civilians as a result. Hopefully, morally clearer voices will be raised higher.
> Or that it looks similar to a "0"?

Yes, that's why. It's a tradition in cryptic crosswords. Similarly, duck (from cricket) and love (from tennis) can also be used for letter O. It's one of the things you pick up when you start doing cryptics, along with other things like doctor (used as a verb), criminal, and nuts (meaning crazy) suggesting an anagram. If you think things like that are ridiculous, perhaps cryptic crosswords are not for you.
The legal code and constitution also guarantees equal rights under the law. Can you cite an example of an Israeli Arab being denied any legal right due to that law?

Don’t get me wrong, I wish that law didn’t exist. It’s a mistake, but it’s mostly posturing by the Jewish nationalist faction.

The nakba was an appalling catastrophe. It shouldn’t have happened. But then the Arab invasion with the explicit aim of killing and expelling the Jews shouldn’t have happened either. Nor should the expulsion of 800,000 Jews from Arab countries. They were all terrible disasters. The world would be a better place if they hadn’t happened, but they did. Now we live in the world of today.

Are the Arab countries going to let the descendants of their Jewish populations back, and return the property and land confiscated from them? Are they going to grant them citizenship and let them serve in the police, army and judiciary with full democratic rights?
All of this has been done for a long time. There are numerous such attenuated vaccines that consist of an artificially bred non-virulent version of the illness, for example the oral vaccine against Polio.

Yes, there is a risk that these attenuated agents cause epidemics by themselves, thus vaccination campaigns employing them require close monitoring. Actually, most remaining cases of Polio originate from such attenuated vaccines, while "wild" Polio is nearing extinction.
I hear what you're saying, thank you for clarifying for op. I think there is a logical jump from coordinating to controlling in this instance. The article doesn't say "The Jews control the media", but rather "Here are documented instances of pro-Israeli people in positions of power coordinating to do X Y or Z".

I can understand that it might seem like an attack on Israel itself, and that an attack on Israel might actually be the intended purpose of the reporting, but it's hard for me to prioritize that over the importance of honest reporting of this sort. It's journalism that is informative and relevant, and that seems to be angering powerful people. I would like a companion peace on the propaganda war from "the other side", but this is the only one available to me at the moment. Fostering an environment in which this sort of journalism can safely be done is critical.
> so if there's something going on online, it's not in favor of Israel.

More people live outside the United States and Israel than in them, and they use these platforms. Many of those people have been out are descendants of subjects of colonialism and Imperialism, whether at the hands of Europe or America. Many of those people view Israel as a colonial project.

And yeah, as you mentioned, a large portion of the world is Muslim.
I've done the same. I've used Linux for 15-20 years for various things, but never on my main desktop because of games. But now Steam on Linux makes running games very easy. Not every game works, but there are a lot that do, and I rely on Windows less and less for gaming. Hopefully one day I can blow away my Windows partition.
Maybe for commercial-grade optical media, but last time I burned a lot of consumer media , I found a decent amount of failures even just a few years out.

Admittedly this was almost 20 years ago at this point so maybe some things have improved since then but my understanding is that consumer media uses a different, ink-based technology to write data to disk, and that ink can degrade pretty quickly. This is in contrast to commercial optical media in which the data is stamped into the disk in a manner more akin to a vinyl record.
I don't really have a dog in this fight but in case of a cult of personality, "toxic" and "loyal followers" are not contradictory.
It’s the megaplastics I’m worried about. Big ole Indiana jones boulder hits ya and you’re toast.
Hence my annoyance.

As always, everything just works on Linux with the caveats that as long as you stay on the very fixed beaten path, never stray from it, only use X,Y,Z and avoid A,B,C, then everything just works, sure, but I'm not a college student anymore and my time is too valuable to tinker and find that new specific Linux path where everything just works in order to get the same desktop usability that Windows has out of the box with zero time investment.

It is what it is.
Cool idea, wish it was open source.
Everyone is reading so much into this, when it sounds like a personal conflict between Helen and Sam that blew up and turned into a board coup by Helen, packed with vague justifications no one bought because they weren't given any reason to believe them.

Why would the employees buy the coup leaders pitch when they barely explained why it happened in the first place?

The story of the next day's morning meeting was everyone was unsasitfied for the reasons they were given, they were as confused as everyone else, and then the next story is the employees all signing a letter and Ilya doing a 180.

Why would the employees immediately trust the new leadership by a board member not involved in day to day operations? I doubt it's all just about making more $$ under Sam. It's about trust and stability.

Everyone was talking about how it was about AI saftey vs reckless capitalism but tangibly we still have little evidence of that. What we do have is Sam critiquing Helen's paper, then suddenly half the board is moving against Sam and an interim CEO whose slow-AI-dev views on AI, which are 100% in line with Helen's paper, is replacing him. While the conviction of the other board members like Ilya seemed pretty thin.
Useful use of cat
Housing developers are really bad at doing large scale low-voltage work.

I used to work for an ISP here in the southeastern US and there were entire neighborhoods that had permanently shitty service because the housing developer decided to do the wiring on their own for the extra profits and did a terrible job of it.

Then the individual communities never want to pay to have the work redone properly -- they think the ISP should eat the bill, even though we gave the developers the opportunity to do it right the first time. Doing hundreds of reworks of the last mile of service at once is expensive.

Often we would come to some arrangement and heavily discount the wiring work down to like $30k from the community in exchange for exclusive contracts. The communities that wouldn't spend a dime were just permanently SOL.
Worth mentioning that SE isn't even a thing for the most part at non STEM-specific schools and/or outside very large colleges/universities
Podcast Addict is the #1 thing I miss from Android.
Then as a user the only sensible action is to assume that nothing else will ever work again and proceed accordingly.
Saw that coming. Just like Google did with the SEO heist a person bragged about a couple weeks ago, if you make big tech companies look foolish they are going to react quickly.
Their response should be to leave the occupied territories, which aren't theirs to begin with, and to recognize a Palestinian state. Israel has held millions of Palestinians under military occupation for more than half a century, and it's way past time that that ended.
They are geared towards education, in which they do want to not have to switch out products so quickly.
Given that 50% of all information consumed in the internet is produced in the last 24 hours, smaller models could hold a serious advantage over bigger models.

If an LLM or a SmallLM can be retrained or fine-tuned constantly, every week or every day to incorporate recent information then outdated models trained a year or two years back hold no chance to keep up. Dunno about the licensing but OpenAI could incorporate a smaller model like Mistral7B into their GPT stack, re-train it from scratch every week, and charge the same as GPT-4. There are users who might certainly prefer the weaker, albeit updated models.
Show HN: We've built an Open Source plugin to make using AI easier for VFX
Hi, I’m Bryan Lyon, the CTO of DeepMake. We’re making plugins for VFX software suites (Right now we have a pre-release of our After Effects plugin ready) that enable you to use Open Source AI tools without leaving the workflow. It makes all the AI tools work just like another plugin in the VFX software.

In the past, I worked on VFX adjacent AI and was more than once asked to make AI tools easier to use so the VFX experts could use them. In many cases my job was little more than making it easy to install and make sense to use. After writing dozens of “one-off” scripts that made an AI tool usable I decided there should be a better way. To that end we’ve simplified the process. Right now our public release is still not the easiest to install, but once you’ve installed one plugin and the backend, installing new plugins is as simple as extracting a zip file or cloning a repo (and we’re going to make it even easier).

Our target audience isn’t non-technical people, but rather people who don’t have the time or experience to go through installing an AI tool which may not even include an easy way to send your own data through the pipeline. We hope to make VFX easier for people who can’t really do VFX now due to either a lack of time or experience. We also want to make VFX more powerful for VFX experts.

We’ve built the backend to make plugins extremely easy to make and hope that the community will be able to take advantage of an easy way to integrate with VFX tools. IN the spirit of open source we’ve released our code as open source (We’re cleaning up the AE plugin side, but it’ll be released too).

We plan on monetizing based on managing massive plugins across compute farms for big VFX shops and other features that benefit those larger teams, the core of the system will remain open source and freely available.

So far, we’ve released a Stable Diffusion plugin, and have more including Masking, Super Resolution, and more coming up in the pipeline.

I hope you like our software and look forward to hearing from you.
It would be interesting to see things like what you've delivered when LiveView Native is available. Congrats!
> Can a town support four competing grain elevators? Parts of the food chain are operated by agricultural cooperatives, owned by farmers, to get around such physical bottlenecks.

Yeah, but that's what solid antitrust policies, audits and enforcement are for - at least in theory. Someone has to play police after all, to make sure that everyone can reasonably participate in any truly free market. The problem is that most anti-trust legislation is more aimed at large, nation-scale corporations and even there, enforcement is lacking, but small, regional monopolies/monopsonies or other threats to a free marked are a complete Darwinist world.
No. There are plenty of things that can be proved, it's just that there exist true statements that cannot be proved.
I don't think the crusades are especially relevant to the current issues, other than they happened to happen in the same place. WWI and the defeat of the Ottomans is basically where the current situation arose from.
For trivial stuff, it might be able to even now (but those can probably be solved algorithmically as well). For more complex stuff, they are not even scratching the surface, I would believe — LLMs can’t really do long, complex thoughts/inferences, which are essential for coming up with proofs, or even just to solve a sudoku (which they can’t do — no, writing a program (which was likely part of its training set) and executing that doesn’t count).
Google shares sink following reports that some of their AI demo was faked
No. It merely prevents you from confirming every arbitrarily complex proof. Incompleteness is more like: I give you a convoluted mess of spaghetti code and claim it computes prime numbers and I demand you try to prove me wrong.
American chestnut was the redwood of the east. Its damn shame it is not thriving
There were lots of videos from ISIS, but there wasn't much, if any, coming from the citizens of Iraq or Syria. But we're seeing a lot of videos, photos, messages, etc coming from the citizens of Gaza.

We, as a world, are seeing civilian life and casualties during a war in near real-time. This is something that many of us have never experienced before.
Do a Yi 200K version as well! That would make my Christmas, as Mistral Moe is only maybe 32K.
Got my MS in SE at DePaul University in Chicago. Wrote more UMLs for those classes than I’ve done in 10 years of actual software development.
Okay, but that's not the framing of the argument I'm responding to in this thread. The title of the article and the people I'm responding to are framing the percentage growth as the problem.
Yes, Over the years I've been through that (and other distros versions), downloaded/built alternate drivers etc.

Last time I tried a few years ago, it still seemed pretty hardware dependant as to whether you could ever get it all working quite right.
up till now most ev‘s used 400v there are some with 800v and more premium models do get 800v
2023 has been a good year with regard to reading. This has been year of History, Memoirs and Mythology. Some books I liked and would recommend are:

1) Nothing To Fear - This book is about the Great Depression in the USA and how president JFK took steps to bring the economy back.

2) Digital Minimalism - This is one book I would like to revisit every two years. About digital distractions and how to minimize it.

3) The Odyssey By Emily Wilson- This was a surprising easy read with author's notes on the backdrop. Helps you understand Greek mythology and some unraveling of human emotions. Pretty deep. Highly recommend.

4) Long Walk to Freedom - Autobiography of Nelson Mandela plus a good history of events in South Africa during his time.

5) Lies My Teacher Told me - This is about lies that usually are represented in US high school history and the author debunks some myths. This is also a USA history primer, but all the tones associated are negative.

6) India After Gandhi - Sneak peak into some Indian History and political environment after Independence, events leading to formation of states etc.

7) Lend Me Your ears: Great Speeches in History - This is a great collection of speeches grouped by events. Highly recommend. Nice way to learn some history through speeches.
We accept this in all fields of engineering. Everything is "good enough" and the seems to work reasonably well. You should remember this next time you hear about car recalls, maintenance work on bridges, or when some component in your laptop flakes out.