MurphyA/hacker-news huggingface dataset:
by Aachen | 2025-05-06 11:36:37+00:00
China's WeChat certainly wouldn't like this yet there's a modified build of that as well, according to the article.

I don't think they asked Signal Foundation for permission, they just did it. Just because you're an Israeli government contractor doesn't mean you can't get rich from piracy and modding so long as you find gullible buyers

Also, how would Signal know this isn't the official app that's accessing their network? They do have a standing policy against it but if someone copy-pastes the APK and makes modifications in parts that don't talk to your server, how's your server to know that an illegitimate client is talking to it
by wrsh07 | 2025-05-06 11:37:58+00:00
For all of the skepticism I've seen of Sam Altman, listening to interviews with him (eg by Ben Thompson) he says he really does not want to create an ad tier for OpenAI.

Even if you take him at his word, incentives are hard to ignore (and advertising is a very powerful business model when your goal is to create something that reaches everyone)
by mritchie712 | 2025-05-06 11:38:03+00:00
Delta Lake is not catching on, but no worries, they bought Iceberg[0] (the competing standard).

I'm joking, but only a bit. Iceberg is open source (Apache), but a lot of the core team and the creator worked at Tabular and Databricks bought them for $1B.

0 - https://www.definite.app/blog/databricks-tabular-acquisition
by pron | 2025-05-06 11:38:44+00:00
> 'wrestle the compiler' implies you think you know better; this is usually not the case and the compiler is here to tell you about it.

Well, yes and no. The way type systems work to soundly guarantee that some program property P holds is by guaranteeing some stronger property Q, such that Q => P. This is because type systems generally enforce what we call "inductive invariant", i.e. a property that is preserved by all program statements [1], while most interesting program properties are not inductive. To give an example, suppose we're interested in the property that a program produces an even number; an inductive invariant that implies that property is one that makes sure that the outcome of all computations in the language are even. A program that satisfies the latter property obviously satisfies the former, but the converse isn't true.

Similarly, the way Rust guarantees that all programs don't have, say, use-after-free, is by enforcing a stronger property around ownership. So all safe Rust programs don't have use-after-free, but many programs that don't have use-after-free don't satisfy the stronger ownership property. This means that sometimes (and this is true for all sound type systems) you have to "wrestle" the compiler, which insists on the stronger property, even though you know that the weaker property -- the one you're interested in -- holds. In other words, sometimes you do know better than the compiler.

That is not to say that the approach where the compiler enforces stronger invariants is always right or always wrong, or even right or wrong most of the time, but that "wrestling the compiler" is something that even the most skilled programmers confront from time to time.

[1]: This is because inductive invariants are compositional, i.e. they hold for some composition of program terms t and s iff they hold for t and s and their composition operator, and type systems want to be compositional.
by YeGoblynQueenne | 2025-05-06 11:38:45+00:00
I followed the HN-targeted link at the top ("It gets exhausting") and Oh. My. Good. Lord:

>> Something Awful had a particular response to furries. After creating a subforum specifically for furries to post in, everyone who used it was marked with a custom yellow star avatar, then banned.

https://archive.md/fX8Jo

I used to think the early internet was less shite than the current internet. Maybe I've been mollycoddled, wrapped in the HN blanket where behaviour like that would never be condoned. Maybe I need to see more social media. But, really? Yellow stars? OK wow.
by diggan | 2025-05-06 11:38:52+00:00
95% accuracy VS 70% accuracy, both numbers are pulled out of someone's ass and serves little to the discussion at hand. How did you measure that, or rather since you didn't, what's the point of sharing this hypothetical 25% difference?

And how funny that you comment seems to land perfectly together with this about people having very different experiences with using LLMs:

> I am still trying to sort out why experiences are so divergent. I've had much more positive LLM experiences while coding than many other people seem to, even as someone who's deeply skeptical of what's being promised about them. I don't know how to reconcile the two.

https://news.ycombinator.com/item?id=43898532
by Larrikin | 2025-05-06 11:38:53+00:00
This argument has a dumb premise.

Why would he resort to scrounging around for food, looking through lost and found, and eventually stealing from the grocery store if there was food available at home for him. Because there was all this amazing food at home that wasn't "lunch food" is your conclusion? Every conclusion that follows is only logical if you go with a completely nonsensical assumption. If OPs Dad was willing to let his kid starve daily I wonder what his punishment would have been for eating his Dad's food.
by fc417fc802 | 2025-05-06 11:39:00+00:00
> What about things like malware not being able to steal all of your accounts from your device?

The android (or apple, or whatever) security model doesn't stop that. Malware will perpetually be one zero day away from having root.

It is true that those security models do a decent job of stopping users from shooting themselves in the foot, at least in certain ways. The way they go about it isn't of value to me though.

> > I can never be confident that I'm not being watched.

> Most operating systems have implemented features to let you know when the camera is being used.

Obviously I am referring either to the author of the OS or to the device vendor here (which one depends on the scenario being considered). In either case you can't rely on that party to voluntarily report their own wrongdoing. Hence my reference to a code auditing arrangement.

> > Ad tech is a massive industry.

> Adtech is not spy tech. And it doesn't work by seeing everything you do.

I don't know if you're delusional or interacting in bad faith but either way it doesn't seem we're going to get anywhere when you're saying things like this. It is plainly obvious that there are all sorts of motivations for spyware to exist.

A fairly simple proof is it currently exists, it was created, someone was motivated to do that.

> I fail to sympathize when these "detriments" are antisocial things like being unable to cheat in games or being unable to pirate copyrighted works.

The long term detriments are things like living in an authoritarian panopticon and needing permission from unelected corporate overlords to run any particular app, all on a device that (in the future) you absolutely depend on to perform even basic functions in society. Computer security and the BigTech anti-user security model are entirely different things that you are intentionally conflating here. Your world view resembles a cardboard cutout manufactured at a business strategy meeting.
by dtgm92 | 2025-05-06 11:39:14+00:00
This is about voting in an election... essentially voting for who will be voting on your behalf for the next x years.

I don't get it honestly, If you aren't actually voting on actual decisions yourself. If democracy isn't a dumb idea, then that is how it should be. The moment someone else is deciding things for you is when it makes no sense.

But even then, if we did vote on everything, someone else is still deciding what the voting options are. And the rest is being decided without a vote by other random people nobody voted to elect.

Giving you an extra vote just for the electing process isnt really going to improve the democratic system.
by Someone | 2025-05-06 11:39:39+00:00
> At the pre-seed stage, startups often waste months in the planning phase, locked in cycles of research, theoretical validation, and endless brainstorming

Data would be useful here. Do startup actually often spend months in the planning phase and if so, is that time wasted?

It would be nice to see, for example, a correlation between “time spent thinking before writing the first line of code” and “fraction of startups alive after 5 years” or something like that.

My guess would be getting a good dataset on that is very hard because potentially lots of “time spent before thinking” happens before the startup is created.

Possibly, a startup that’s started after thinking about a problem for years is both more likely to be successful and more likely to start coding earlier, but not more likely yo be successful because it starts coding earlier.
by archargelod | 2025-05-06 11:39:46+00:00
This can emulate (more like chroot) older Android versions.

I remember using it to run some Lolipop (Android 5) games that are no longer working since Android 7-9.

Some people use VMOS to sandbox apps that require google services, so their main Phone OS stays clean from this garbage.

Also, since Huawei is famously prohibited from using google services on their devices, Huawei users often use VMOS to circumvent this restriction for selected apps that wont work without GMS.
by eesmith | 2025-05-06 11:40:12+00:00
> is it ok to force people to pay for stuff that they don't want to?

Yes. Happens all the time. Money doesn't exist unless people are forced to use it to pay for something they don't want to. (read Graber's "Debt: The First 5,000 Years.")

I don't want to pay for nuclear weapons. Why am I forced to pay for it through my taxes? Because if I don't, the state will use its power to punish me.

Pacifists can't direct their tax monies to avoid military expenditures.

Adherents to one faith can't say their taxes can't be used on apostates.

You sound like this is a surprise. Like you don't understand why people have to pay taxes for schools even if they don't have children, don't understand why people who don't drive still have to pay taxes for roads, don't understand why people who don't swim still have to pay taxes for public pools, .. the list is very long.

Your comments sound very much like 1980s Thatcherism - "There is no such thing [as society]! There are individual men and women and there are families and no government can do anything except through people and people look to themselves first."

The last 40+ years of neoliberal thought hasn't turned out so well, as those who have money no longer feel pressure or obligation to distribute it, resulting in a return to Gilded Age power concentrations.

That's what you want, it seems.

> such as increased salary and pension contributions

Such as tax cuts for the rich. Make Gates "only" a billionaire and we can use the remaining $100 billion to pay off school lunch debt (works out the math) ... forever.

$2.8 million debt for Utah with a population of 3 million people. US population 340 million. Call it $300 million in school lunch debt. Probably within an order of magnitude. That's less than the interest on $100 billion.

Yes, the Bill and Melinda Gates Foundation would have an actual positive impact on education if, instead of funding projects that trained educators knew would fail - and eventually did fail - they has simply put their $10+ billion into funding school meals.

Instead, rich people get to fund "non-profits" that they control - reducing their taxes while not relinquishing the power and influence tied to their money. Gates' wealth gives him a very undemocratic and malignant influence over US education policy.

And you want to blather on about supporting student lunch debt?!
by philipwhiuk | 2025-05-06 11:40:19+00:00
> Most experienced LLM users already know about temperature controls and API access - that's not some secret knowledge. Many use both the public vanilla frontends and specialized interfaces (various HF workflows, custom setups, sillytavern, oobabooga (̵r̵i̵p̵)̵, ollama, lmstudio, etc) depending on the task.

What is your actual population size here.
by klibertp | 2025-05-06 11:40:36+00:00
> Other than the online version

I'm an idiot. I looked at this page: https://shenlanguage.org/TBoS/tbos.html many times, tried clicking on the table of contents, realized that chapter titles are not links, and went away thinking it's only the ToS for promotional purposes. I only realized that the page numbers are links just now. To my defense, they don't differ in color that much and lack the underline that often marks links. Still, a HUGE facepalm :D Thanks for mentioning this and making me realize my own stupidity :)
by mistersquid | 2025-05-06 11:41:03+00:00
> "Not wanting each child to get the best possible start in life makes absolutely no sense to me."

> Maybe to lower the chances of other children against your own (wealthy) offspring?

Some may think and behave along these lines. Their problem is that they conceive economic activity as zero-sum, which it is not.

Good educational outcomes generate wealth for everyone.
by sgerenser | 2025-05-06 11:42:34+00:00
Feedbacks often go into a black hole unless either: 1. A bunch of people file effectively the same bug report (unlikely here) 2. An individual Apple employee champions the issue internally 3. Someone makes a fuss on Twitter/X and it starts to go viral

Sounds like the OP is trying to get #2 to happen, which is probably his best bet.
by yorwba | 2025-05-06 11:43:21+00:00
Indeed, the original Unicode inclusion request justifies the need for an encoding for the character by referencing prior usage going back all the way to 1879: https://www.unicode.org/wg2/docs/n3227.pdf

It may be a typographical abomination, but it's an intentional representation of that particular typographical abomination, just as the ox head in "A" intentionally has its horns pointing down.
by omneity | 2025-05-06 11:44:00+00:00
I always found Kufi to be a form of space-filling curves[0], which was the original purpose: a form of decoration that can fill a surface such as edges around a building[1, 2], without depicting humans in stone, a form of art historically forbidden in Islam due the prevalence of statue idolatry at the time. Hence the prevalence of geometry (Zellij [3]) and calligraphy in areas historically islamic.

Hilbert curves [4] could be the substrate (the coordinate system), and Kufi writing could be indeed encoded information maybe by XORing each point between the curve and the kufi word.

I'm just blabbering around. But it's difficult to disassociate the two in my mind.

0: https://www.shutterstock.com/image-vector/kufi-ayat-kursi-al...

1: https://i0.wp.com/majnouna.com/wordpress/wp-content/uploads/...

2: https://i.pinimg.com/236x/f2/f7/e9/f2f7e99d6bfe75042313adbe6...

3: https://zellige.info/

4: https://www.researchgate.net/profile/Christoph-Schierz/publi...
by robotfelix | 2025-05-06 11:44:11+00:00
It's worth noting that penthouse's last release is a few weeks shy of 3 years ago (https://github.com/pocketjoso/penthouse/releases/tag/v.2.3.3).

Given there seem to be few other Critical CSS tools out there, its utility in driving web performance, and the fact Google's web.dev recommended tool (https://github.com/addyosmani/critical) uses penthouse under the hood, I'm surprised there isn't more effort and/or sponsorship going into helping maintain it.
by yapyap | 2025-05-06 11:44:31+00:00
Paying off lunch debt as individuals is very double.

Of course it feels good cause you are helping people but at the same time you are helping the symptom not the cause.

Just to keep paying the debts is like to just keep plugging the dyke while new holes keep opening up. You need a new system. What that means in this case is government intervention!

2.8 million is NOTHING to the U.S. government, in 2023 the US defense had 1.9 trillion dollars unaccounted for. TRILLION. [1]

Some quick math gives: 2.8 million / 1.9 trillion * 100 = 0,00014736842 %

If the government gave a fuck or was forced to give a fuck this lunch debt bullshit would not be a thing.

1. https://coloradonewsline.com/2023/12/06/pentagon-cant-pass-a...
by mritchie712 | 2025-05-06 11:45:37+00:00
The "datalake" is becoming a bit of a commodity. It's getting pretty easy to spin one up yourself[0] using completely open source components.

Databricks and Microsoft (thru Fabric) are trying to build a complete data platform, i.e. ELT + datalake + BI

My bet with Definite (https://www.definite.app/) has been this is too hairy for a large company to do well and we can do it better.

0 - https://www.definite.app/blog/cloud-iceberg-duckdb-aws
by dagaci | 2025-05-06 11:45:51+00:00
Some error corrections: ebay bought skype in 2005 for 2.6B (1 million concurrent user), and Microsoft bought them in 2011 for 8.5B (22 million concurrent users) with 74 million concurrent users reported in 2013 falling to apparently 30 million now...

https://www.statista.com/chart/1417/skype-usage/

What is your criteria for stewardship ?
by uxp100 | 2025-05-06 11:45:57+00:00
Honestly, I don’t think either is a true threat to the United States. I think that while Israel has been hugely influential the past 30 years, and had a close relationship longer on the intelligence front, that is far different than capture and occupation. Israel’s influence has been awful for the people of Iraq, Iran and Palestine, among others, but I don’t just disagree with the phrasing of occupation, I disagree with the premise. A significant part of why Israel gets so much of what it wants is because many of those in power in the US over the past 30 years like the role it plays in Middle East politics.

(I’ve been using 30 years due to feeling that HW Bush was stronger with Israel on the particular issue of Palestine, but really, not an expert here at all)
by dspillett | 2025-05-06 11:46:25+00:00
It is. But if a provider is not taking junk mail seriously, what is the alternative?

There is a limit to have much effort the receiving network can be expected put into filtering yahoo ham from the yahoo spam, and a limit to even how possible it is to reliably perform that filtering. Just expecting your users to put up with the influx of junk you can't filter (without too many false positives) and putting up with the processing load of attempts to filter it, are not valid options beyond a certain point. Yahoo knew they were a problem for some time before others started blocking mail from them en-mass and did nothing, or at least nothing useful, to fix it at their end despite warnings.

Also, “choice of email provider” is not a protected class in any jurisdiction that I know of.
by hanselot | 2025-05-06 11:46:48+00:00
Why do I have 244gb of environments and beat myself up when I delete something to play a game?

This deep desire to affect change in a controllable way...

This infinite desire for self value defined by external validation.

It's not sustainable. Perfection can only be obtained by observation of perfection of combined self through self and other.

It's okay to discard parts of yourself to balance yourself with your counterpart. A willing violation is no longer a violation.

Not observation of one or the other on a pedestal, but accepting that both are vital parts to the system and observing the perfection that comes from co-iteration.

Essentially turning a binary system quantum.
by em500 | 2025-05-06 11:46:57+00:00
> ... and school lunches should be free (from a EU country, this isn’t even a thing here)

I'm from another EU country (the Netherlands). Primary schools do not provide any lunch or other food whatsoever, secondary schools might have a canteen selling some snacks or low quality fast food. But everyone is basically expected to bring their own or go out/home for lunch.
by existencebox | 2025-05-06 11:48:41+00:00
While I normally keep the political threads at arms length, this is an interesting enough game/voting-theory question that I'm honestly surprised no one has linked the fact that this is a well-studied effect, to the point that it has a specific name: Duverger's Law. [0]

[0] https://en.wikipedia.org/wiki/Duverger%27s_law
by lossolo | 2025-05-06 11:49:08+00:00
There is no post factum rationalization here. If you ask a human to think about how they do something before they do it, there's no post factum rationalization. If you ask an LLM to do the same, it will give you a different answer. So, there is a difference. It's all about having knowledge of your internal state and being conscious of your actions and how you perform them, so you can learn from that knowledge. Without that, there is no real intelligence, just statistics.
by BoingBoomTschak | 2025-05-06 11:49:11+00:00
1) Only a very few people are expected to be able (time and competency) to give a general education to their children, unlike feeding/housing.

2) Let's be real, it's not just socialism/charity, one of the major reasons for compulsory education is shaping malleable young minds (for good or bad, mind you).
by oefrha | 2025-05-06 11:49:27+00:00
When I was in school we paid for (very fairly priced) school meals while the poor students were subsidized. It was handled pretty discreetly as well, I don’t think any kid was shamed for it, plus kids have a million ways to find out who’s poor anyway if they’re into bullying. So pretending the solution is binary is ridiculous.

Hell, my college education from Stanford, including room and board and a very modest allowance, was entirely covered by a university fund, no strings attached, while the rich kids paid in full. If $65k a year can be selectively waived (from a very rich institution, yes I’m aware, but I’m talking about the model), no way you can’t do that for a small portion of school lunches.
by arghwhat | 2025-05-06 11:49:54+00:00
The original Chinese website has a more recent 2024 copyright and much more content: https://www.vmos.cn/ - copyright years on websites are completely useless, people should stop doing that.

That repos haven't been pushed in a number of years is slightly supsicious, although they could just have taken things internal.

(Open source licenses do not require pushing to public github, only that someone obtaining the application can also obtain a copy of the source used to make it - can be an inquiry leading to a flashdrive by snailmail.)
by alexey-salmin | 2025-05-06 11:50:42+00:00
> And I don't think 'SS'<->'ß' is similar to the Turkish 'I with/without dot' problem, because the default Unicode mapping for 'ß' is correct in all languages, while the Turkish (and also Azerbaijani) problem is correct or broken depending on language setting.

I don't know if this counts as "correct" but it's still very confusing.

>>> "ß".upper() 'SS' >>> "ß".upper().lower() 'ss' >>> "ẞ".lower() 'ß' >>> "ẞ".lower().upper() 'SS' >>> "ẞ".lower().upper().lower() 'ss'
by Spivak | 2025-05-06 11:50:55+00:00
Yes, as an adult she will learn that it's extra stupid because as a child she had no means or autonomy to work for and pay for her own food.

I mean I've heard tell that children yearn for the mines but when it's the responsibility of adults to provide for the material needs of children any adult who actively participates in a system which seeks to deny a child those needs is at the top of my shitlist. There is no universe where I wouldn't just give food to a child who is hungry in my proximity.