skysight-inc/HackerNews huggingface dataset:
>Again, people may use it trying to say something else, but slogans do not exist in a vacuum. Saying "from the river to the sea" means that all people should be free is akin to saying "arbeit macht frei" is a call for the financial independence of working people.

Their "2017 charter" rather dramatically toned down the language. The original version makes no attempt to be politically correct.
anti-Zionism is the proposition that Israel must be destroyed. Zionism is the movement to ensure that the Jewish homeland in the form of the state of Israel be created and sustained, anti-Zionism is its antithesis.

This is not the same as being critical of that state, being anti-Israel isn't antisemitic (except when it is, obviously), but nor is it anti-Zionism. Saying Netanyahu should be dragged before the Hague, that the international community should demand an immediate ceasefire or force a two-state solution, that Israel must uphold the right of return: none of these are anti-Zionism, nor antisemitic.

If your position is not that Israel must be destroyed, good, don't call yourself anti-Zionist though. If it is, then yes, that's antisemitic, or the word is meaningless.

Similarly, find another slogan besides "From the river to the sea", because that is, in fact, a call to ethnically cleanse all Jews from Israel. It has meant that since the establishment of Israel, and you don't get to wander in and say it means something different at this point. If you don't mean that, don't say it. Find literally any other way to express yourself.
>even have an RJ45 connector anymore?

Yea, every one I've seen recently. Of all devices they are the number one device to put on a network drop as they will use more bandwidth more consistently than any other device in your house.

On my TV wall I had a singular network drop to the TV wall. When I built a faux fireplace for it, I put a switch there in the access hole and now have it split out between the TV and all the consoles.
7B models are so exciting. So much is happening with those smaller models.
I get your point, but at the same time dragging anti-semetism into the argument weakens the voices of those who really are not anti-Semitic at all, but genuinely question the Israeli government response to the Hamas attacks.

Which is, I suspect, the point - to weaken those viewpoints.

And to address others in this thread around US actions around the world, I am critical of the U.S. war on Afghanistan and the second Iraq war as well as the Israeli attacks on Gaza.

One can be critical of a government without despising it.
What is happening now worldwide in terms of anti-semitism is absolutely irrelevant in comparison to the mass murder in Gaza. I come from people who were the recipients of anti-Semitic violence in Europe for centuries. What Israel is doing has only and will only make it worse.
There are FRED charts elsewhere in this thread answering both your demands. But again, I don't care if you "believe" me or not. My point is precisely that your belief is decoupled from data. It's not my job to give you the data, it's yours. And by your own admission you don't want to do that. That's the problem.
Please go and look at the ethnic makeup of the government of Israel. Please go and look at the stated policies of the government of Israel.

The non-Jewish populations are only allowed to exist so long as they provide labor and are second-class citizens under the law.
Given that algorithm design is very much a field of mathematics, it’s in principle (and probably in practice) not too difficult to adapt the infrastructure you mentioned to support a workflow where you say “I want an algorithm that on input x computes y” (more formally, ofc), and the tool outputs exactly that for you
As a solo dev, "slow is smooth, smooth is fast" coupled with ruthless focus and prioritization has resulted in the biggest increases in my productive output.

None of the OP’s tips for increasing product velocity apply to my company. The essence of product velocity reveals itself when N=1.

Focus on a few things.
Don’t rush, do them well. Say no to everything else.
No I think his comment implies Gazans see how Israeli settlers treat West Bank Palestinians (sometimes burning their homes while families are inside and laughing at whosoever dies) and think that they'd rather support strongmen who attempt to fight back against Israel.

It's the exact same mentality that drove normal Afghan people to support the Taliban.
how so? what assumptions are you making to reach that conclusion?
The majority of the world is against Israel's occupation of Palestine, a stance that is reflected in numerous UN General Assembly votes. Holding a pro-Israel position in this context represents a very US centric view, which is not similarly echoed in the rest of the world.
Darn, I was hoping the RWKV people had finally obtained reportable results. This is still interesting, though. Maybe we will see more alternatives to transformers soon
As a mathematician, I see everything wrong with using “=” for something other than equality. Especially when writing something like x = x + 1.
Well, yeah. The point is to give free access to free projects that don't make money because they don't make money and can't pay for Enterprise.

If you have a commercial offering, you can probably afford to pay for your tools.
Most people don't need help with this.
I too find it odd that TLS implicitly relies on DNS (ACME from letsencrypt). If someone controls your DNS they can get signed certificates.

I’m optimistic letsencrypt validate dns via multiple streams (to prevent BGP hijacking) but I’ve got no evidence or proof. But that also doesn’t solve a breach of your nameservers (Godaddy has been breached) among other things.

And before anyone mentions it, dnssec is dead, at least as far as I can tell.
A formal spec isn't just ordinary source-code by another name, it's at a quite different level of abstraction, and (hopefully) it will be proven that its invariants always hold. (This is a separate step from proving that the model corresponds to the ultimate deliverable of the formal development process, be that source-code or binary.)

Bugs in the formal spec aren't impossible, but use of formal methods doesn't prevent you from doing acceptance testing as well. In practice, there's a whole methodology at work, not just blind trust in the formal spec.

Software developed using formal methods is generally assured to be free of runtime errors at the level of the target language (divide-by-zero, dereferencing NULL, out-of-bounds array access, etc). This is a pretty significant advantage, and applies even if there's a bug in the spec.

Disclaimer: I'm very much not an expert.

Interesting reading:

* An interesting case-study, albeit from a non-impartial source [PDF] https://www.adacore.com/uploads/downloads/Tokeneer_Report.pd...

* An introduction to the Event-B formal modelling method [PDF] https://www.southampton.ac.uk/~tsh2n14/publications/chapters...
My (current, possibly misinformed) understanding is that "from the river to the sea" refers to a Palestinian state that stretches from the west bank to Gaza. Under the current reality, I don't see how this would be accomplished without a mass genocide of (Jewish) Israelis.

I'm open to the suggestion that (some?) people chanting this hope for this to be accomplished without violence, but speakers at such events have also glorified the actions of Hamas on October 7th.

For what it's worth, I don't support the actions of Israel, or the occupation of West bank and Gaza. I support a free Palestine in the sense that West Bank / Gaza should be left alone. There's a good chance that without the blockade, those territories would better arm themselves and it would result in a war which would impact Israel much more significantly as West Bank + Gaza would likely move to reclaim Israeli land. But at this point I don't see an alternative without Israel continuing its egregious human rights violations and genocide of the Palestinian people.

Kind of a shit situation all around.
This is all very interesting but it seems that we're just taking different views on what is the instance size. If it is the length of the theorem statement in some suitable encoding and the goal is to find a proof, of any possible length, then yeah, this is way too hard.

I'm taking the view that the (max) length of the proof can be taken as a parameter for the complexity because anything too long would not have any chance of being found by a human. It may also not be trusted by mathematicians anyway... do you know if the hardware is bug free, the compiler is 100% correct and no cosmic particle corrupted some part of your exponential length proof? It's a tough sell.
> It's much harder to hide incompetence in a Linux environment, at least in my experience.

curl | bash enters the chat.

Seriously, though, junior sysadmins (or devs pretending to be sysadmins) are gonna do what they do regardless of the underlying substrate. For Windows sysadmins it might be clicking-around doing one-off "fixes". For Linux admins it's shitting-up production boxes with compilers and dev tools or adding sketchy untrustworthy package repos.

> Honestly my biggest gripe boils down to how easy RDP makes it to form bad habits, and how there is little (short term) consequence for operating in reactive ways which lack reproducibility because "I'll just pop into the server and click around for a sec"

> Windows with RDP is faster, and it is easier. System admin that way (mostly) works. Best of all, for the majority of those who grew up in the PC age, it's familiar.

It's the same w/ SSH on Linux machines, though. Junior people think it's easier to make one-off changes. Senior people realize that every one-off change is a gamble with the future. It's part of the culture and maturity of the individual and of the organization they're working in.
Israel has a land, air and sea blockade on Gaza. The residents of Gaza are second generation refugees from the cities that Israel ethnically cleansed in Nakba in 1948. Israel also bombed Gaza's only airport. Israel has routinely murdered, sniped, arrested and abused all forms of non-violent protest such as the March of Return.
Irish-Americans outnumber Irish-Irish nearly 10:1. For a very long time Jewish Americans outnumbered Israeli Jews, if not as lopsidedly.

Around 1AD, the greatest concentration of Jewish people was Alexandria, Egypt, where they made up 1/3 the population, not Jerusalem. The actual history of the Middle East defies simplistic narratives.
I wonder what Apple will do with the number registrations that came from Androids.
I'm not sure if software engineering classes in particular do, but at my university, they teach C++ in the second required course, and they teach you about using GDB and Valgrind on Linux there. They don't explicitly teach you about systematically debugging, though, beyond knowing how to use those two programs.
If I'm Hamas I see zero incentive to concede anything when Fatah has been infinitely more diplomatic and in return has received squat.

Israel's policies caused Hamas, they have plenty of options that don't involve a giant starving ghetto but they choose not to exercise them. In particular: negotiate a resolution with Fatah, then provide Fatah with military support in ousting Hamas from Gaza (e.g. providing them with guns and access to the Gaza strip in the first place). Israel starving Gaza and keeping their economy permanently dead will only feed Hamas's victim narrative and enrage off Gaza's population more.
Are Jewish citizens of Israel routinely the subject of indefinite administrative detentions?
R7RS is readable because it's small; you could read it in one sitting.

The writing style isn't particularly better than the one in the TXR manual.

Both are specifications, and not tutorials.

The Scheme world depends on R7RS for giving the requirements for the portable, common language core.

Since TXR isn't a fragmented language family of incompatible implementations, there isn't any need to have a small document laying out what is common.

Where is the hyperlinked, HTML version of R7RS? Every time I need to look up something in that, I have to use a clunky PDF.

A search "HTML R7RS", shows mostly old posts in mailing lists and forums asking the same question. That and someone's github repo containing what seems to be source for generating a HTML-ized R7RS.

The TXR manual is available in usefully (though imperfectly) hyper-linked HTML, PDF as well as a man page: just "man txr" and /search. When you type (doc 'symbol) in the listener, it jumps your browser to that section of the manual (the externally hosted version, easily retargetable to a local copy by changing the value of *doc-url*.
It doesn't help that early CS courses cover stupid examples like a recursive implementation of fibbonacci when the obvious solution is a loop. Tail call optimization is also another thing that should be reconsidered.

Plain imperative structured code is usually the cleanest and easiest to understand. Introducing abstraction too early I think confuses people and encourages complexity where it's not needed.
To have no bugs, which is extremely unlikely for a program of any real complexity. Having bugs, and being functional, are fairly self-explanatory and independent of each other. No need to try to conflate them.

Not sure what your quote is supposed to mean. That's a textbook example of someone who doesn't understand software at all making laughable requests of their engineers.
You understand that your illogical and immoral death pact works both ways, right?

Who is dominant militarily? Does it look like the U.N. is going to be able to continue the theater of pulling the reigns on Israel?

There is a logical reason as to why civilians shouldn't be used as pawns in war. It green lights all civilians and tragically opens the door to ethnic cleansing.

And yet here you are arguing that the war can't end until Israel is removed. Literally demanding the terms, and guaranteeing the results, for the removal of Palestinians. Crazy talk, from someone who pretends to have the interests of the Palestinians at heart.
openai doesn't respect your privacy at all
> is that something a university should strive to be?

Universities taking public money (including students government grants/loans) should strive to make society better. Part of that is getting kids into good jobs that society needs done.

There are a few "retired" people taking classes that they are paying for on their own just for fun. If those people think they are getting value despite taking subjects society doesn't value I'm fine with that. The majority of students though are young people that society is trying to invest in to make a better future, and so the more universities prepare those kids to make a better future the better.
It is a disgusting waste of my tax dollars to send it to an imperialist group trying to settle an area that was never theirs. Journalists are killed more by Israel than the rest. Why, if they were satisfied and confident they are correct? Those are the actions of guilty souls. Same for the ADL; they hide behind accusations of anti-semitism if you criticize them at all. They have weak positioning and simply want to genocide other groups. No better than ISIS and the Taliban as far as I'm concerned.

Money sent to Israel could have gone to Ukraine. Instead, Americans sponsored the massacre of innocent Gazans. I didn't vote for that, most of us didn't vote for that. Why should we accept it, or approve of Israel's genocidal war? The least they could do is be honest about how much they hate people showing the world the truth.

I truly have no respect or love in my heart for human beings who are comfortable killing to cover up their war crimes. As an American I'm sick of my tax dollars going to a bunch of desert conflicts that won't improve life for anyone.
> Can you cite an example of an Israeli Arab being denied any legal right due to that law?

Here you go, 30 seconds on Google: https://www.cnn.com/2023/09/08/middleeast/israel-arab-citize...

Will you stop spreading misinformation now? Or will you start splitting hairs, "Oh it's not due to the law, probably a coincidence haha"?
I wonder if this means they’ll finally make the iphone air that a vocal minority has wanted forever. I assume men with giant hands or tiny egos are still in charge so it’s not all that likely but there’s always a chance!

Edit: downvotes are from the tiny ego camp, I suppose.
Nothing is bug free.

Not buildings, not bridges, not cars, not airplanes, not software. There are mistakes in every field of engineering and the best we can hope for is to minimize them as much as possible.

Engineering is knowing (among other things) how to categorize the potential mistakes, develop procedures to reduce the chance of them being made and in the case that some slip through (and they will), estimate their impact and decide when you're "good enough."

Software engineering is no different.
That is my observation as well. In Germany many right wing groups who have deep seated antisemitic prejudices („they control the world, they want to exchange our white population“, etc) now fully express their hate against arabs / migrants hiding / excusing their behaviour with philo-semitism or support for Israel. They apparently do not have a iota of compassion for the dying civilians in Gaza.
I run fishnet[0] to help Lichess[1] analyze chess games.

[0]: https://github.com/lichess-org/fishnet
[1]: https://lichess.org/
That's true, however I've spent 17 years in a countryside and I'm regularly visiting it. Also, urban population rate in Russia is quite high (at 75%) and 1M+ cities are around 30% to 40% of total pop.
> Regarding mathlib, could you say what in particular you're talking about, since it's not ringing a bell, and I follow the changelogs.

There's been several commits where general appeals to classical reasoning in some development have been replaced by more fine-grained assumptions of decidability for some objects, or marking uses of classical reasoning in some specific proofs. This has not happened throughout mathlib of course, just in some specific places. But it might still show one way of making the development a bit friendlier to alternate foundations.

> ...but avoiding the law of the excluded middle doesn't make any of that any easier.

Constructivist developments are not about "avoiding the law of excluded middle". They're more about leveraging the way we already structure mathematical proofs (and mathematical reasoning more generally) to make it easier to understand where simple direct reasoning has in fact been used, and a theorem can thus be said to be useful for such purposes. If all we did was proofs by contradiction and excluded middle, there would be no point to it - but direct proof is actually rather common.

> Why does the proof in the sigma type have to be constructive?

It doesn't, if the constructibility part has been stated separately (e.g. stating that some property is decidable, or that some object is constructible). That's in fact how one can "write the program/algorithm and the logic separately" in a principled way.

> I am looking to be convinced that constructive logic is worth it, but this mathematician hasn't seen anything compelling beyond work on foundations themselves.

This paper https://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016... provides a reasonable summary of the relevant arguments. It's notable that a number of mathematicians are doing work that involves, e.g. the internal language of topoi, which pretty much amounts to invoking constructive foundations despite starting from what's otherwise a "classical" setting. That they go to all this trouble to do this certainly suggests that they find that work compelling enough. And indeed, it has practical implications wrt. e.g. alternate foundations for analysis, differential geometry etc.
> Few days ago I've seen an ad for a realistic looking extra finger, you attach it to one of your other finger so that you have an extra finger sticking out. Then when someone makes real incriminating photo of you you point out that extra finger and say it's ai generated.

Link?
The sentiment of a portion of a country doesn't mean the governing body agrees. Even a majority portion doesn't always mean that their government is pro or anti refugees.
The fact that it wasn't Americans on the ground but other Iraqis is a gigantic difference.
Yep, here's an article [1] describing the process. Here's some youtube video I found showing the various steps [2].

They don't have to use any chemical solutions more exotic than water and air. I bungled the explanation with "centrifuge", it's more complicated than that, but the fiber content is removed in that step.

[1]: https://gogood.co.nz/blogs/news/how-is-pea-protein-manufactu...

[2]: https://www.youtube.com/watch?v=wbX_w0ZIunM
>No issues with sleep running Ubuntu 22.04 with GNOME; I never shut down my PC.

Ubuntu, and most other distros don't natively support hibernate. Sadly, that's a no go for me until they fix this (probably never) as I put my laptop in hibernate on longer journeys or over the weekend.

>I can't comment on fractional scaling because I use two 24", 1080p monitors.

Also need mixed DPI fractional scaling for my laptop and monitor combo.
Now that I think of it, there have been two times relatively recently that I've not had something work "out of the box".

One is for a WiFi dongle: it needed a driver that wasn't in the non-free-firmware package, and the manufacturer's Linux driver was too old to work with modern Linux. Fortunately, someone had written a replacement driver that I could get from github. That involved compiling the driver code, though, and the process wasn't something a non-geek could be expected to do.

The other wasn't for a laptop at all, but a tower. I'd installed a WiFi card in it that didn't work out of the box -- I had to copy the firmware from the CD that came with it onto my machine to make it work. That was easy enough to do, though, that my grandma could have done it without a problem by following the readme on the CD.

That said, I run an abnormal number of Linux machines, and two hiccups out of a dozen or so seems like a decent track record to me.
Thanks. No, I don’t hate Jews or Israel. I am very critical of the Israeli government at the moment, which is hardly a unique view.
The New Essential Guide to Electronics in Shenzhen
> I'm not trying to deflect, but I do find it interesting that just 2 months ago, >100K Armenians were permanently displaced from their homes in Nagorno-Karabakh where they've lived for literally millenia, and I saw essentially no coverage of this in Western media

Strange, I saw a lot of coverage of it in Western media when it happened (and a kot today, because of an apparent diolomatic breakthrough.)

Its true that a lot of the coverage during the event was colored by relating it to the ongoing Russo-Ukrainian war, Armenia’s status as a CSTO ally of Russia.

> So my question is, given that ethnic cleansings are not uncommon in the recent past, and that the Palestinian Nakba is not even close to the worst case, why is it basically the only one that anyone seems to care about?

In the West and the US specifically, the role of Israel and the local governments degree of positiive engagement with Israel creates a rather different context to most ethnic cleansings elsewhere in the world.
There seems to be a new model every single day. How do people have time to keep track with everything going on in AI?