skysight-inc/HackerNews huggingface dataset:
I found these thought provoking:

The Power of 10: Rules for Developing Safety-Critical Code[1]

Assessing the Relationship between Software Assertions and
Code Quality: An Empirical Investigation[2]

Cyclomatic Complexity and Basis Path Testing Study[3]

[1]: https://web.eecs.umich.edu/~imarkov/10rules.pdf

[2]: https://www.microsoft.com/en-us/research/wp-content/uploads/...

[3]: https://ntrs.nasa.gov/api/citations/20205011566/downloads/20...
Tried to respond to this before maybe the site will let me now. There's a redwood that was thought to be extinct that thrives in east coast conditions of the US. The dawn redwood is a fast grower, and while being the smallest of the redwood species is still quite a large tree. It was discovered in a valley in China I guess back in the 40's, previously only known to the fossil record.

We have one here planted in the 1970's that towers over my house and had one next to my childhood home. It's amazing they do as well as they do, but the concern now is genetic bottleneck since most of the seeds planted worldwide were from a few trees, so the successive generations I guess don't do as well as the ones in that valley do.
Incorrect meme, almost no one is on whatsapp in Hungary for example. We use Messenger, Viber mainly and other social media apps that have a chat feature.
No, I have been, at various times, taught about a number of different techniques that are used in the endeavor to build quality software, along with lots of discussion about the tradeoffs between them and when they may be more or less appropriate.

It certainly is not something with a single easy answer, and I certainly agree that it remains a fruitful thing to continue researching, but that doesn't mean that there is nothing to be taught about it. There is lots to be taught about this, and lots that is taught about it, to lots of people.
I wish they were a smidge smaller since 7B LLMs just barely run on a 16GB VRAM GPU (like a T4 server GPU) without quantization shenanigans.

Fortunately the learnings from finding better 7B models will trickle down, or more will be done with distillation (e.g. Gemini Nano)
I agree with you that they have reason to believe that accepting refugees would play into Israel's hands. However, that fact alone is telling: they consider it more important to hurt Israel than to help Palestinians. If Arab nations actually care about Palestinian life as much as they say they do, they would prevent Palestinians from dying.

By way of contrast: Poland took over 1.5 million Ukrainian refugees, despite the fact that most probably won't go back to Ukraine, and that depopulating eastern Ukraine helps Russia.
I've been wondering about this for a while now: Does F@H actually still have a real purpose, or is it purely a vanity project at this point?

My lay impression is that AlphaFold (and now AlphaFold v2) solves the same problem F@H solves, but better, faster, and cheaper (at least, if compute power wasn't all donated).

Is that not true? Are they somehow complementary? Just how much did AlphaFold eat F@H's lunch?
It was for a while, but they reversed course:

https://arstechnica.com/apple/2023/12/imessage-will-reported...
Is spam a good reason for Apple to keep their iMessage garden exclusive? SMS is also widely used for spam.
That's assuming Europe is way more homogeneus that it is. I have never heard of anyone using whatsapp in Sweden
Additionally, didn't they just announce that RCS would be a first class citizen in '24?

Feel free to use the open standard but don't be iMessage.

I'm a long time beeper user. It's been nice to sign up with my email, and at least be in a few of the iPhone only chats.

When I saw Eric's post the other day, my first thought was 'what an arrogant dumbass.' My guess was that they though they have an anti trust case, and my guess is that apple may have thought the same, and so they enabled 'iMessage' access to RCS.

This was so predictable, especially after the RCS announcement, that I messaged my group threads and said they'd be borked by the end of the week, please switch back to signal.

So, I think I'll ride that train until RCS is a thing and be done with beeper. I honestly think they just shot themselves in the foot.

https://www.theverge.com/2023/11/16/23964171/apple-iphone-rc...
They were never given half the chance, so you don't really know.
this - basically a backdoor trick/hack
Israel absolutely had incredibly specific intel [1] of the attack plans a year in advance of the attack, yet chose to do nothing out of arrogance

[1] https://www.nytimes.com/2023/11/30/world/middleeast/israel-h...
Oh man this brought back memories. I had forgotten those words
They have a home in Gaza and the west bank - most of Palestinians today have never been inside the 67' borders so how exactly is it their home?

I'm pro a 2 state solution based on the 67' borders, fighting over some "right of return" to a place you've never been for generations just seems like a waste of life.

And if you even take the very long term view, a 2 state solution could eventually lead to open borders, and an implicit "right of return" (after decades of peace and building trust).
Apparently it is not possible to automatically backup your message on iOS. (I run Android.)

Source: https://support.signal.org/hc/en-us/articles/360007059752-Ba...
Where do you suggest they go?
As someone who never studied computer science formally, I find this perspective fascinating - for me, programming is the tool to solve the problem. It often feels like folks study the tool. And the problem is important too.
At least on the Israeli side, this is wrong. An enormous majority of people are convinced that the war is justified. 1200 dead; that would be the equivalent of 40,000 Americans. 240 kidnapped, with 137 still there. Hamas have proven their capabilities and determination. And then they say[1] that they intend to do it again. When someone tells you that they want you annihilated, and intend to attack you, believe them.

[1] https://www.memri.org/tv/hamas-official-ghazi-hamad-we-will-...
The idea works longterm. You take aspartame, which has a sweet taste but no energy. Your body starts all kinds of digestive functions and gets confused. After a lot of aspartame it doesn't know how to respond to sweet food anymore.
That's probably why Apple will get away with keeping iMessage closed (unless the US government pushes them), probably not enough European use to count as a gatekeeper.
A title so cryptic I dare not look into it
Understanding Multi-Signature Wallets and Signature Thresholds
I did not! But Elbit tests its war machines in Gaza for R&D “in their backyard” and then sells them as “real world battle tested,” so I’m not surprised.
China to break 5nm barrier – Huawei lists 5nm processor, defying U.S. sanctions
I'm writing from memory so I could be wrong, but based on (IIRC) two articles and some comments I read in Polish:

- The 10 days limit was their initial attempt, no GPS involved

- After it turned out the trains were immobilized in the "wrong" location, they added GPS geofencing

- The compressor failure was supposed to happen every day till the end of the year, starting on the scheduled maintenance date. (This might as well be bad coding.)

Again, I could get some details wrong, especially that the articles I read were kinda all over the place (subjectively, IMHO).
Pity. I had hopes.

When i was little, we had a neighbor who had a few American Chestnut trees of bearing age. He had an annual business collecting and selling the nuts; he wouldn't let anybody know where the trees were.

still fondly recall the flavor of the real chestnuts.
Mastodon tackles the problem of 'reply guys' with its latest feature
That could be a smart move actually.
> There is a difference (an important one) between policies-bad-for-a-group and being motivated by an unreasonable hatred of a group.

Sure. You don't have to have anti-semitic views to say anti-semitic things. The thing doesn't become less anti-semitic if you weren't motivated by hatred. It is also an unobservable difference because I can't say what your motivation is, only what is the meaning of your words and actions. Someone may want to ban black people from attending universities so that white people have more spots, the fact that they are not motivated by unreasonable hatred doesn't magically make the ban not racist.
The assumption that output distributions don't violate the no-signaling from the future principle may be a useful abstraction, but it seems a little too neat for real-world quantum interactions. It's a model, not physical reality. Also, the necessity of knowing specific graph parameters in advance could limit the usability of these algorithms in unpredictable distributed systems.
So basically you are making my own argument: we use tons of different apps. What would be the selection screen useful for?

Going further: if we download different messengers, it stands to reason we can download different browsers, therefore if safari is the most used it's because it's the one we choose.
Did they disclose the training compute/token count?
Relying on the App Store to distribute your app is more than a little different than building an extension to iMessages. Apple and Google want you to use their app stores in this way. Apple does not want you to bridge iMessages to other platforms.
Rape and torture were not featured [1] in the recent propaganda movie Israel screened to select people in the West, so there's no reason to believe such footage exists.

1. https://twitter.com/OwenJones84/status/1729487180630786219
WhatsApp and Telegram (varies by country)
There was no reason so far to believe that "Palestinian resistance" will end if Israel leaves the occupied territories. In fact these territories were occupied during an attempt by Arabic population to destroy Israel - which didn't include West Bank back then.
Evidence exists that, with regards to a messaging platform, this has already been achieved.
Threads is counting down to an EU launch next week
That’s cool. A couple hours on a single GPU or like 8x a100s?
pypush uses the old binary pulled from macOS. Beeper Mini uses another workaround for the device UUID/serial/etc. requirement.
I mean, if everyone is using Whatsapp, that is effectively a monopoly. I am curious as to what the runner ups are in the EU however.

Meanwhile, wait until Mr. Zuckerberg looks for new ideas to monetize their messaging ecosystem.
ArchiveTeam Warrior, help preserve internet history: https://warrior.archiveteam.org/

Granted, the Warrior is probably more network-bound than CPU-bound.
maybe because the scale isn't even close? Crazy idea I know.
> Monero uses randomx, an ASIC-resistant and CPU-friendly POW algorithm created by Monero community members, designed to make the use of mining-specific hardware unfeasible.

https://www.coinwarz.com/mining/monero/calculator?h=54.00&p=...

https://xmrig.com/benchmark
> it's important to get attribution correct.

Really? Says who?

Or perhaps you'll prove it from first principles. Although if turns out to be difficult, that's okay. Somebody mentioned something about systems being either complete or consistent but never both. Some things can be true but not proveably so. Can't quite remember who it was though.
You're once again taking a western/American view. Israeli jews largely look exactly the same as the Palestinians in gaza because guess what? Many come genetically from the same place. Gaza

Lets also not pretend that 141sq miles is tiny. It's small sure, but there are many other countries that have and do make do with it.

Beyond that, "ancestral homeland" is stupid. Jordan is their ancestral homeland and the Jordinians keep them in camps as second class citizens. The impoverished city thing is self inflicted too. They receive bilions in aid.

The real issue is that the Palestinians cause has been hijacked by Iran and other governments that hate israel in order to engage a proxy war. Other than that, other muslim countries want nothing to do with the Palestinians
Unless the refugees are guaranteed a right to return, then you're just asking for Jordan and Egypt to facilitate ethnic cleansing and finishing the job.
Let's think higher than that. Let's just get rid of megacorporations: let's mandate that any company with more than amount of X employees should be broken down into smaller divisions, with a separate board and CEO, and make it that no one can be on more than one board at the same time.

Make X low enough, 250, and all of this would go away: no more corporatism, no more monopolies, no more special groups interests paying for government lobbying, no more abuse of power from a handful of companies...
Antitrust isn't a panacea. Sometimes you have to deal with the fact that certain companies are natural monopolies or monopsonies.
> "if Apple truly cares about the privacy and security of their own iPhone users, why would they stop a service that enables their own users to now send encrypted messages to Android users, rather than using unsecure SMS?" - Eric Migicovsky

1. If Apple sees this as a gap, it is very obvious that they would address that themselves, rather than by allowing a hack to exploit loopholes in their architecture

2. Since Apple has no control over the Beeper mini client, they would not consider it safe, it could easily be spying on users without their knowledge.
> more complexity and stuff to maintain

Yes, with the current state of the art, adopting formal methods means adopting a radically different approach to software development. For 'rapid application development' work, it isn't going to be a good choice. It's only a real consideration if you're serious about developing ultra-low-defect software (to use a term from the AdaCore folks).

> it doesn't even eliminate bugs because the formal proof could include a bug too

This is rather dismissive. Formal methods have been successfully used in various life-critical software systems, such as medical equipment and avionics.

As I said above, formal methods can eliminate all 'runtime errors' (like out-of-bounds array access), and there's a lot of power in formally guaranteeing that the model's invariants are never broken.

> I suppose it could help in trivial cases like sanity checking that a value isn't null or that a lock is only held by a single thread

No, this doesn't accurately reflect how formal methods work. I suggest taking a look at the PDFs I linked above. For one thing, formal modelling is not done using a programming language.
God I really wish we Americans would get on whatsapp
Then maybe the Palestinians should oust whoever fires thousands of rockets into their neighboring country forcing their neighbor to respond in self defense.
Misinformation as a Symptom
Imagine you've got an object you want to move by shooting water at it from a hose.

If the pressure coming from the hose is high, then you don't actually need a lot of water, and so you can use a narrow hose. On the other hand, if the pressure is low, you'll need to use a lot more water at once, so a wider hose.

It's the same thing for electrical components. If you'll excuse the mixed analogy, if you need to push an object with 480 watts of water to get it to move the speed you want it to, you can either do it with 48 volts of pressure with a hose 10 amps wide, or do it with 12 volts of pressure 40 amps wide.
Apples cares about the privacy and security of iPhones as a differentiator.
How many people are still using safari on Mac? Everyone I know uses chrome, but maybe that’s just in the states?
Lies, Damn Lies and Engineering Metrics
Dunno. There's a bunch of other optimisations you're overlooking (super-resolution, reprojection etc)
Due to being disabled, to carry the laptop without closing the lid, I must hold it under my armpit, with the screen locked.

Apparently my armpit's input often sends the screen locker process in a busy loop, taking 100% CPU. So I must go to a tty and kill the process to continue.
Nushell actually pairs really well with JC, given that nushell has a "from json" operation. I recorded a video some time ago that shows a few nice features of Nushell and I bring up combining it with jc at around minute 19: https://www.youtube.com/watch?v=KF5dtxVsn1E
What if they ask you: and you? Are you actually building high quality software?

What are your quality gates? How many open bugs are there on production? How often you close bugs with resolution: won't fix(because of budget issues)? How often do you have production incidents? What is your testing strategy? How are you testing your requirements before assigning them to the developer for implementation? Do you hire external professionals for security testing?
Well that explains a non-trivial number of employees signing a letter threatening to quit unless he returned.
A so-called "2 state solution" is an oxymoron. A state, by definition, has a sovereign monopoly on violence. Your 2 states already exist and they are inevitably at war.
Thanks! How do you integrate QA and merging with that? Do you QA and merge each subtask PR independently? Or do you leave all subtasks unmerged in favor of QA'ing the entire story, at which point you merge all PRs?
ZFNs are difficult and slow to engineer. There are certainly tradeoffs but the fact that almost the entire industry is using CRISPR-based approaches tells you where things lie on balance
We need JD protectionism to.... have a network of professionals that can repair tractors?

That's weird, cars get by just fine on having mechanics in every town.
Famously those default selection screens for browsers failed horrendously.
Black Hornet: Military Micro UAV
Yeah, it was just a quip that Zionism is not a good label to attach to what the EU and/or Ursula vdL has declared within this conflict.
What I'm saying is: universities are incentivized to mislead people (including themselves!) about this.

If you are a working class family with a kid who is very talented at math, and you go sit down with the counselors and ask them: If my child studies pure theoretical math, will that open them up to a life full of possibilities? they will say "yes, it absolutely will". But that's not true. It might be true, but it's a big risk. It's a risk a wealthy family can very easily absorb. But if this child from this working class family takes on this risk using student debt, it might go poorly. They might very well be good at pure math but not be good enough to go into academia. Then they might be unsure what else they can do with that degree, unable to get their foot in the door at the kinds of employers where just a general proof-of-being-smart degree is enough. And now they have debt and uncertainty about what to do.

It also might work out great! But it's a risk. And I know a number of people who feel they ended up on the wrong side of that risk.
It looks to me like there is an advantageous business relationship between Beeper and their customers. As a general rule, Apple is free to change their programs and how they work. However, I think there’s a plausible argument for tortious interference here if the sole purpose was to prevent interoperability.
This sounds like some utopic conjecture, that honestly, wouldn’t solve the root problem
> As it stands right now Israel is almost rewarding being more intransigent.

Not almost. The far right Israel factions (Netanyahu, Likud, etc.) have actually repeatedly encouraged and cultivated Hamas. They benefit far more from the polarization that Hamas brings than a mild and moderate PA who is willing to work diplomatically, because then that increases pressure on those far right Israelis to also be more temperate, which goes against their goals.
What's the pricing model? I would think that many people would not be potential customers because the vast majority of their networks are on a single platform (whatsapp or messages), or because they don't really care if messages live in 2 different places. I could imagine paying a one-time fee for something like this, but I assume the ongoing upkeep required would not work with such a model.
There’s a reason why Goldbloom charted “change in likelihood” instead of simply showing sentiments in the chart. The reason is that if you look at the raw data he made available[0], the differences in sentiment between platforms are statistically insignificant.

To say nothing of conflating anti-Israel sentiments with antisemitism.

> US views skew pro-israel, and GenZ is closer to 50/50

The latest Gallup[1] says it’s about 50/50 in the US across demographics and almost 70% disapproval of Israel in the 18-34 age range (so a little bit of Gen Z and a little bit of Millennials). No polls specifically and exclusively break down responses to the exact Gen Z age range, but I doubt that would bring it closer to 50/50.

Now, there’s, of course, the chicken and egg debate. Still, explicitly on TikTok, I’ve seen Goldbloom-esque studies that document that the algorithm is led by the user’s preferences instead of the other way around. I’ll see if I can find the URLs in my history.

0: https://github.com/antgoldbloom/tiktok_israel_hamas/blob/mai...

1: https://news.gallup.com/poll/545045/americans-back-israel-mi...
In a MoE model with experts_per_token = 2 and each expert having 7B params, after picking the experts it should run as fast as the slowest 7B expert, not a comparable 14B model.
My guess is Beeper calculated this was likely to happen eventually (maybe not this fast), but that they would get good press on the initial launch and on the shutdown announcement and that press would be worth the technical investment they made. They do have a different service they still offer and some percentage of people are looking at that now.
Because everyone called it heartbleed.

I still remember some of the big ones like MS03-026/031, MS08-067, CVE-2005-1042.
The next AI winter is going to be savage, especially with the backdrop of normal (i.e. non-ZIRP) interest rates.

Possibly AI might be seen as the 'hubris most high' of the current tech bubble, with a correspondingly deep societal 'come down'.

The painstaking, boring, and lucrative work of 'wiring the world' will continue of course, but perhaps with less fanfare.
I have nothing to add here, other than to thank you for expressing this so cogently.

It’s not always “right” to measure just action in terms of lives saved or lost, but it’s hard for me (and so many other American Jews) to see anything right or just about 10 dead Palestinians for every dead Israeli.
(alternate account for oh_sigh here, apparently posting 3 times 90 minutes ago means I can't post anymore today)

Yes, they had intel about the attack method, but not the dates, or even if it was real or aspirational.

This goes to my question about the person break into your home... What changes or adjustments could Israel have taken based on the intel? Like I said, maybe they could just place a bunch of battalions along the entire border, but then maybe Hamas would just lay low until they were gone.
Whenever the topic of water in Gaza comes up in /r/worldnews, there's an oft-repeated bit of misinformation that Gaza doesn't have water because they dug up the EU-financed pipes to make rockets.

It's not quite based on nothing: there is footage of Hamas (or maybe Islamic Jihad?) digging up pipes to use for rockets and a Guardian article saying that Hamas could use the EU-financed pipes to make rockets, but as far as I can tell there isn't any evidence that the pipes Hamas are using are from critical in-use infrastructure.

One reddit commenter posted that the video of the pipe being dug up was to supply an abandoned Israeli settlement. Israel shut that water off a long time ago. I can't verify that's correct, but it sounds plausible.
We must remember this: The credibility of both sides in a war is more than suspect. i.e., incomplete information, pure B.S., or propaganda. "The first casualty of war is the truth." This has been stated throughout history back to Aeschylus og Greece circa 550 BC.

https://www.societyofeditors.org/soe_blog/the-first-casualty...