skysight-inc/HackerNews huggingface dataset:
Again, you are not differentiating between targeting and collateral damage. Hamas broke a ceasefire and targeted civilians. Israel went in to destroy Hamas with the unfortunate result of civilians dying as collateral damage. When you say 50k, there are several problems. For starters you are quoting the Gaza Health Ministry which is Hamas and is provably unreliable. On top of that about 40% of those are Hamas fighters, which you are failing to differentiate between. If you take the time to look at urban warfare statistics, you can see that the IDF has put more effort into preserving civilians than any other army. If you don't believe me just reference John Spencer who is the head (and founder I believe) or urban warfare studies at West Point. You're also ignoring the biggest point, which is that Hamas attacked Israel, which pulls Israel into a war they did not want. During the ceasefire, why was there not a push for peace by Hamas? Why did they think murdering innocents, raping teenagers at a music festival, and kidnapping families and babies is the right course of action? It's amazing to me you are defending this in even the most remote sense? Why did Gaza not build itself into a productive economy and instead elect Hamas, a totalitarian religious regime into power? It's a ridiculous argument to even begin to try and make excuses for this.
Not just that, but it also appears to be stretched vertically!
Maybe I'm naive? But I thought its if you need stateful, use websockets. Else, use short/long poll or SSE.
Interesting package and likely powerful but the very first 'basic example' fails and the API is rough. Not a fan of passing rules as strings.

Using google colab as of 2025-04-12:

import pyreason as pr
pr.load_graph(g)

# RecursionError: maximum recursion depth exceeded
It read that as: "In September, RFK Jr. will officially announce that vaccines cause autism."

It's all "Not The Onion" these days, with these bits from the article the most hilarious/horrifying:

"leading autism organizations have not been consulted about the planned research."

and

"The Department of Health and Human Services has hired David Geier, a man who was once fined by the state of Maryland for practising medicine on a child without a doctor's license and has repeatedly claimed a link between vaccines and autism, to lead the federal research effort."

A Kakistocracy is a government run by the worst, least qualified, or most unscrupulous citizens.
This seems like an add-on feature people should have to purchase. I don't understand how Microsoft can keep shoveling shit at us that we don't want to buy.
Htmx and datastar use backend rendering. So you write the html in the backend and serve that. In the case of an array, you render them as Todo ítems.

You might be using a template system for that. E.g. Jinja2, moustache, askama, templ, etc depending on your backend language and libraries.
...which is so much harder than actors.
Everything I need can get done in python, so I don’t even need to deal with rust and cpp. Adding language interop between r and cpp is now just another thing on my plate, so just stick to Python and pay the cost of less elegant code for data manipulation which I am okay with because now I just need to read it and not write it.

There’s a ton more python code out there so the LLM reliability in python code just makes my life easier. R was great and still is, but my world is now more than just data eng, model fitting, and viz. I have to deal with operationalizing and working with people who aren’t just data science and most org don’t have the luxury of having an easy production R system so I can get my python code over the line and trust a good engineer will be okay smeshing that into the production stack which is likely heavy Python. (Instead of saying oh we don’t work with R we do Python Java so it will take 3-5x longer).

Another sad truth is the cool ml kids all want to do pytorch deep ML training / post training / rlhf / ppo / gdpr gtfo so you are not real hardcore ml if you only do R. I know it’s stupid but the world is kind of like that.

You want to hire people who want to build their careers on the cool stack. I know it’s not all the cool talk the hackers here play with but for real world application I have a lot of other considerations.
It’s better to just assume neither conductor can be touched.

There is no use case touching neutral conductors or neutral connected metal cases. No functionality is lost by having devices be double insulated, and in practice most if not all devices on the UK market are made to also be marketable in countries with non-polar connectors.
This reminds me of Dwight from the office in the episode where he doesn’t tip the delivery driver and says: I never tip for anything I can do myself. I can deliver this if I want to.
You're not buying "a year's worth." Adobe can't roll a truck up with all your future project rendering hours on it and dump them on your lawn, such that they would have a valid legal argument of "you can't cancel, we already gave you the whole thing." What Adobe are giving you, each month — each second, even — is the DRM licensing functionality built into Photoshop continuing to spit out a "valid" signal. Because that activation is a continuous online process, you receive that service on a second-by-second basis (or maybe at most on an online-activation-check-granularity basis.)

That being said, maybe we're talking past one-another here.

Where I come from (Canada), even if you prepay for a service that charges annually (no "annual charged monthly" language needed), as long as that service can be common-sense-construed as delivering value on a finer granularity (by the month, by the second, etc), then if you only use that service for some fraction of the plan length, and then cancel it — you are then legally obligated to a pro-rated refund of the remaining plan length. So if you cancel an annual-billed service after a month? You get 11/12ths of your payment back. If you subscribe to a monthly-billed service on January 1 and cancel on January 2? You get 30/31ths of your payment back. Etc.

Under such a legal doctrine, there is no difference in the total amount owed between "billed monthly" when subscribed for one month, vs "billed annually" when subscribed for one month and then cancelled, vs "annual, billed monthly" when subscribed for one month and then cancelled.

If you're curious about the set of countries where this doctrine applies, here's a page from the Microsoft Store support outlining the set of countries where they will give out pro-rated refunds for subscriptions: https://support.microsoft.com/en-us/account-billing/countrie...

(And if it isn't sickening to you that in general, corporations will write logic into their billing systems to support this, and then only activate that logic for countries where they're legally obligated to do so, while — now with intentionality — continuing to squeeze everyone else for services they've knowingly already cut off... then I don't know what to tell you.)

---

And yes, if you're wondering, there are a few exceptions to this pro-rated refund doctrine.

One is real-estate leasing — because chancery courts are weird and make their own rules; but also because a lot of the "work" of being a landlord is up-front/annual. (Though, admittedly, we also have laws here that force real-estate annual leasing contracts to revert to month-to-month after a low set number of years — usually 1 or 2 — with the month-to-month lease rate carried over from the "annual, paid monthly" rate.)

The other is for commercial leasing of assets like vehicles, construction equipment, servers, etc. This is because corporations have much more predictable optionality, sure — but it's also because corporations don't "deserve" protections in the same way individuals do. (Same reason investment banks don't get the protections of savings banks.)
They didn't "prove the kernel is correct", they built a tool to prove that a single driver maintains an invariant throughout execution.
“AI” avatars. Totally gonna make the world a better place.

https://news.ycombinator.com/item?id=43626707
Given that the comment is talking about python he probably already has those 1.000.000 libraries.

The common thing to do for python programs that are not directly bundled with the os is to set up a separate virtual environment for each one and download/compile the exact version of each dependency from scratch.
> Why are you setting the bar at "exceptional"

Because that is how they are being sold to us and hyped

> If it means that you can write your git commit messages more quickly and with fewer errors then that's all the payoff most orgs need to make them worthwhile.

This is so trivial that it wouldn't even be worth looking into, it's basically zero value
You should blog about your experience and submit to HN. I am sure you can get lots of good advice to improve your chances.
It is more of a warning than an actual security mechanism though. Similar to Mark of the Web.
Windows is so horrifically slow now. Somehow they added input lag to notepad and Explorer. Microsoft got rid of all the competent people years ago so now every new feature or product is electron based and bolted on. No one there is capable of refactoring core apps like office.

It would have been better if they'd done nothing. I've switched to mac and linux.
https://en.wikipedia.org/wiki/Cape_fox
Came here for Gelerntner's work, it's what I first thought of when I saw Mac's Time Machine or MS's Task View it made me think of that.

Also - RIP Teddy K. (I'm a bastard that way)
A similar result was found by J. Gagné [0] five years ago, though I don't think he publishes his results outside of his blog (which is well worth a read by the way).

[0] https://coffeeadastra.com/2020/05/23/the-physics-of-kettle-s...
Israel authorised 20 civilians to be killed for every 1 hamas fighter at the beginning of the war https://www.businessinsider.com/israelis-military-idf-civili.... That's laughably inhumane. Not even russia comes close to this brazen disregard for human life. This is about recognising that all innocent human life is equal, and whichever civilian population is receiving the most suffering deserves the most aid and support consequently. 1 Palestinian life has the same value as 1 Israeli life.
Tpchgen-rs: TPC-H benchmark data generation in pure Rust
More tariff hermeneutics. Trump is not well, and he's never been economically literate, and he does not care about the USA as a whole. Nothing more to it than that.
You're only going yo get "AI art" in the future because artists will have get a second job at McDonalds to survive. The same old themes all over again. It's like the only music is Richard Clayderman tunes.
Ltsc is much better but the rot had spread to the core os, Explorer is laggy and artifacts when you scroll.
Certainly no stronger than the claim I was responding to. They are essentially pining for the return of careers that haven't existed for a century.
Tip: All highly industrialised, wealthy nations are the same. Central govt provides huge sums for academic research with the hope that it can be commercialised.
TIL that this is still legal in some states. (I grew up in New Hampshire, which banned lead fishing weights decades ago, mostly to protect loons from eating them.)
As someone who has tried to parse this crazypants as a side-effect of the old 1Password.opvault, please don't. The idea that one has to //key[text()=="firstname"]/following-sibling::string/text() because they're not nested they're siblings. Insanity
We all have access to chatgpt. If we want hallucination ridden bullshit, we'll find it ourselves.
AI could do it. Seems a good use of it.
GMOs in and of themselves are fine. It's just a technology. Banning something just because it's a GMO is stupid policy, and definitely over regulation. GMOs are a technology. One can modify a plant or other organism for many purposes. Furthermore, concerns over intellectual property rights over GMOs are a question for how to regulate this technology, not a reason to ban it.
I have the offline CS3 Mac version too, but it's 32-bit Intel so you can't run it on anything after Catalina. The Win32 version works fine on Windows 10.
But then basically no one would buy it.
* Fly.io dabs GPT-Brand Vibe Coder Attractant behind its ear.
What a confusing article about a trivial thing. I am surprised it has not been deleted yet.

Summary (because I've wasted my time on it, so might as well spare others pain):

1. Let's say you want to get unique IDs from database _before_ inserting data. This means you now have to do 2 transactions/database queries: first query to allocate yourself a unique ID value, and second query to insert an entry with this ID.

2. This is slow, so you decide to optimize: you allocate a unique ID value only every X rows (where "X" is a large number of 1000). So you allocate an ID, database gives you 123, and you insert records 123000, 123001, 123002, 123003... Once you get to 123999, you've need to ask database for another ID.

That's it, that is the whole algorithm.

Note I don't see it used widely - most of the time database can allocate the id number automatically during insert (sequence type or integer primary index). If this does not work, then there are plenty of UUID algorithms that can allocate record IDs without any database hits at all.
I think if you ever find yourself saying Erlang is about one thing, you've lost the plot. Erlang has a bunch of features that each would be powerful in their own right, but they aren't special--there are other ways to solve the same problems, and some of those ways even have merit. But Erlang chose the set of features they did with a very high level understanding of how those varous features would interact. I honestly think it's one of the greater achievements humanity has accomplished. It lacks the obvious elegance that, say, Lisp, has, but I think the sum of parts in Erlang was probably a lot harder to make.
How does the Germany of today reconcile itself with the iconoclasts of its past from mathematicians, physicists, chemists, explorers, filmmakers, and industrialists who set the stage for modern life during the late 19th and early 20th centuries?
> Uncertainty Avoidance Cultures

How do you explain all of the groundbreaking technologies and processes that have come from Japan and Korea? Both are at the extreme end of uncertainty avoidance.
Yeah, I was referring to this https://en.m.wikipedia.org/wiki/Era_of_Stagnation
Even if that's true the civilian to combatant death ratio is around 1:1, while in most urban combat scenarios it's 9:1. You are still overlooking what Hamas did on Oct 7. Don't forget that Hamas started this conflict. You can keep attacking Israel to try and keep me on the defense, that doesn't make you right or even convincing.
Sounds like my random Japanese company, except for the fact that here all the forms are created in Excel.
What's wrong with GMO?
What did Adobe possibly think they could gain by posting on a communist web site?

They really didn’t think this one through.
This reminds me of the terror that is the underbelly of JS.

https://jsfuck.com/
How will it help there? It will just make stuff up. In the meantime you already have tools for instant search by name and more complicated option with content search
Everyone is fleeing? Sounds incorrect. There are people still living in California, many moving in and even more who dream of living in California.
I'm ok with most EU regulations and I still consider banning most GMOs wild over regulation.

It's an ideological choice driven by FUD instead of being based on actual science.
At the risk of an unpopular view, and the inevitable downvotes, I think it's worth stating the following;

If your business model is raising money from VCs then doing things VCs want is important to getting paid.

All businesses tailor their output to suit their customer. Your customer is VCs. So you need to tailor your output accordingly.

In this sense your business partner is not wrong. There's no point on working on things that excite you, if it doesn't excite them. That's a hobby.

Sure, pivoting too often is also wrong. So you should try to improve that.

At this point it's probably worth sitting down with your partner with the fundamental understanding she is right; You need to find something to attract the next investor. However you need to stick with it, success or fail. You've thrown a lot against the wall, now it's time to choose.

Of course you'll likely fail. Most businesses do. VC based businesses at an even higher rate because your customer base is so small. But even failure is OK because VCs are looking for founders, not successes.

Make no mistake; founding a startup is hard work. Not fun stuff. Not interesting stuff. Mostly it's just work.

Being a founder isn't about coding. It's about business. You need to bring more to the table than just coding. Just like your co-founder takes an interest in the technical side, so you need to take more than a passing interest in the business side.

In any business, sales is the most important thing. Without them you will fail. Tech supports sales, not the other way around.

I'm sorry that this sounds harsh. I don't mean it that way. I wish you success. That success starts with you realizing the truth at the heart of your partners position. Start there. Fix your relationship.

Good luck!
Hard agree. 2000 was capable and never felt bloated.
It is revolutionary to say specialization doesn't apply to countries, no matter how many times someone on HN says it. Removing competitors in other countries doesn't add competition to the market.

> Ore isn't really specialization at all, it's resource availability.

You just made that up. What is it based on? Also, resource availability is definitely part of specialization - countries specialize in what they can do more efficiently than other places, which depends partly on resource availability. It also depends on infrastructure, capital, laws, regulations, skills, labor, and many other variables.

People haven't copied Apple and SV because it's very hard to do it. Nobody does it with any successful company. You just can't copy those things.

> Not be dependent on a single supplier

Again, by reducing suppliers - and essentially worldwide in this case - you reduce competition. Now the public subsidizes a local supplier who is not good enough to compete, and therefore the public also gets a substandard product with little hope of competition arising.
In case you didn't know, Tom Clancy has also written a lot of non-fiction military reference material: https://en.wikipedia.org/wiki/Tom_Clancy_bibliography#Non-fi...
But there are not 1000 programs being proposed. No one said every binary in a system. Only some binaries are a problem. That is silly hyperbole that isn't useful or any kind of valid argument.

What I said specifically is I'd rather a static binary than a flatpak/snap/appimage/docker/etc. That is a comparison between 2 specific things, and neither of them is "1000 programs using 1000 libraries"

And some binaries already ship with their own copies of all the libraries anyway, just in other forms than static linking. If there are 1000 flatpaks/snaps/docker images etc, then those million libraries are already out there in an even worse form than if they were all static binaries. But there are not, generally, on any give single system, yet, though the number is growing not shrinking.

For all the well known and obvious benefits of dynamic linking, there are reasons why sometimes it's not a good fit for the task.

And in those cases where, for whatever reason, you want the executable to be self-contained, there are any number of ways to arrange it, from a simple tar with the libs & bin in non-conflicting locations and a launcher script that sets a custom lib path (or bin is compiled with the lib path), to appimage/snap/etc, to a full docker/other container, to unikernel, to simple static bin.

All of those give different benefits and incur different costs. Static linking simply has the benefit of being dead simple. It's both space and complexity-efficient compared to any container or bundle system.
We still have much more raw materials, farm land and forests than the UK, and likely more of everything, even percapita.
Switching costs are a thing everywhere in the economy. Measure twice cut once. Planning on doing the work twice is asinine.
The archive sites appear to be down for now.

My summary: Americans have to stay home with their parents to save up for a long vacation from work, but they don’t have a job lined up and have student loans. Meanwhile, Europeans get to enjoy actual long vacations without any hassle.

The people who returned to work after their vacations valued their time off. They actually enjoyed their time away from work. One of them even became a freelancer. Most didn’t care what job they went back to.

I love that picture of the retirees sleeping in a gondola in the canals. It’s better to vacation before you can’t enjoy it anymore or are unable to. Some family members even work out deals with their employers to resign and come back after long vacations. Others get approved for unpaid time off, so they keep their job and take real vacations off.

On the other side of things some friends spend all their time traveling, paying rent, unable to save anything, and are very happy until they need to move again.
I see your point but this still strikes me as a weak analogy. The purpose of any watch is to accurately tell time more than the purpose of any dress is to protect from the elements.
No, you didn't. You automatically accused me of "lying" because the paper is "reputable and well respected". (among the conspiracy theorists. The actual experts rejected it, but got accused of being paid by the industry, and removed by force) That isn't how science works. That's authoritarianism, and religion.

I did get silenced again, the comment flagged and -14 "karma", which means my posts stay invisible. No arguments were ever given. Only on repeat, it is toxic and causes brain damage, everybody knows it, like a broken record.
Might this explain why Italians can’t talk if you tie their hands?
It makes sense when you value one innocent israeli life the exact same as one innocent palestinian life. And Gaza hasn't had elections since 2007, and the acting European Union policy chief Josep Borell has stated on record Israel and Netenyahu deliberately funded Hamas to hinder the credibility of the Palestinian Authority, and reduce positive sentiment toward the Palestinian people, which obviously worked.

https://www.politico.eu/article/israel-funded-hamas-claims-e...
Hell I would say the whole waifu crap is beyond absurd (people spend upwards to 10k dollars)
I think you're ducking the issue. The idea that it works so well is questionable.
Yes that is a very legitimate fear.

But the people doing the doxxing complain that any criticism of Ire* for their war crimes makes them feel like there is no place they are safe, I don't buy it but the complainants have a lot of allies.
Move on, you’re not married. If You can’t align on how to vet the problem then you can’t align on the dozen other things you need alignment on. Cut your losses and move. It’s not failure it’s pivoting. Take the learning and move on, and make sure you vet your next cofounder throughly along what you learned from this experience. I will say, she wants to work on something that she has data she can sell. Selling, users, and traction will make the fundraise much easier. So try and see where she is coming from. But it sounds like at this point better to go your own way.
Hamas was not created by Israel. Hamas was not voted in by Israel. Israel did not attack Israel. Stop blaming Israel for Hamas.
Weighted average? This is how stocks and other securities are shown in many (most?) brokers.

Seems over complicated for a scammy mobile game, but it's not particularly hard.