MurphyA/hacker-news huggingface dataset:
by uticus | 2025-09-02 18:09:34+00:00
> In general it's impossible to "find usages" or "go to definition"

> Anecdata that something is effective in 98% of cases is different from provable static verification that works 100% of the time.

Ruby has its faults. But you're not making sense complaining first about the "in general" situation, then complaining about a 2% situation. And it is a 2% situation, I'll add my anecdata as verifying 98% (or better) it works really well.

Secondly, you're mixing concepts of static typing and metaprogramming by saying "the language not only fails to equip IDEs and tooling with the static typing information that would grant definitive answers to such questions." Static typing is not the solution, or at least not the only solution, to metaprogramming concepts. For example, if I statically define a Ruby object via RBS, I may still do the things you list that are problematic.

Thirdly, you're complaining about runtime issues making things difficult for the IDE while doing a lookup. What language and IDE do you prefer that does this so much better?

Lastly, I doubt this will help but just to make you aware there are specific rules about how this stuff works, for example https://ruby-doc.org/3.4.1/syntax/calling_methods_rdoc.html#...
by tadfisher | 2025-09-02 18:09:46+00:00
I helped implement support for passkeys in a banking product. They obviate so many attack vectors and adoption is high enough that it should be a requirement to at least support them.

We already require TOTP-based 2FA, and have even implemented secure TOTP via our mobile apps. Customers still do not understand 2FA and probably never will; we regularly have customers request 2FA resets after using their 10 backup codes. SMS- or email-based 2FA is a no-go.

We don't require hardware attestation, as that is the recommendation of the FIDO alliance and Google/Apple/Microsoft. It doesn't make sense to cut out iCloud/Google-synced passkeys given the clear security benefits over passwords+2FA.

Keep in mind that for our service, we regularly see attackers set up copycat sites to phish user credentials, and pay for Google Search ads to appear before our site in search results. These phishing attempts are sophisticated and customers will send their 2FA codes through them. _This is impossible with passkeys._
by cyberax | 2025-09-02 18:09:57+00:00
To add to this, async in Python is also plain buggy. For example, uvicorn is the most popular FastAPI server, and it leaks contexts across requests in the default installation.

The bug has been open for 2 years, with zero fucks given. The workaround is "just use libuv": https://github.com/encode/uvicorn/issues/2167

I've seen other such cases, and I just gave up on trying to use async.
by lovich | 2025-09-02 18:10:11+00:00
The sketchiness of those alternative services frequently means you are in violation of the law by using them. IP law on its own for film and tv is a series of monopolies granted to pieces of content and if the owner doesn’t want to sell it to you, Pirate Bay is not a legal alternative.

Regardless these arguments about whether it’s bad based on if the government is involved or not is ridiculous given how interwoven our corporations and government are. Like just doing business with any company strips your 4th amendment rights on that data.

There’s no sane way to argue that they have a clear delineation throughout society
by nathan_douglas | 2025-09-02 18:10:37+00:00
I'm sure neural networks are a great tool here, but I don't know how the training would proceed effectively off "mere data"; too much of the data we have is incomplete, inaccurate, or outright fantasy or misinformation or out of the ordinary.

I could see this being the domain of fleets of robots, many different styles, compositions, materials, etc. Send ten robots in to survey a room - drones, crawlers, dogs, rollers, etc - they'll bang against things, knock things off shelves, illuminate corners, etc. The aggregate of their observations is the useful output, kinda like networked toddlers.

And yeah, unfortunately, sometimes this means you just need to send a swarm of robots to attack a city bus... or a bank... to "learn how things work." Or an internment camp. Don't get upset, guy, we're building a world model.

Anybody wanna give me VC money to work on this?
by tguvot | 2025-09-02 18:10:41+00:00
On 11 April, Mariupol Mayor Vadym Boychenko stated that over 10,000 civilians had died in the Russian siege of Mariupol.[323] On 12 April, city officials reported that up to 20,000 civilians had been killed.[323] (this is 1 month into siege) On the same day, the Mayor of the city reported that about 21,000 civilians had been killed.[324] An updated Ukrainian death toll the following month put the number of civilians killed at at least 22,000.[325]

On August 29, President of Mariupol Television, volunteer and civil activist Mykola Osychenko said to Dnipro TV that, according to the insider information, 87,000 deaths have been currently documented in morgues in Mariupol. Besides, 26,750 bodies are buried in mass graves, and many more are buried in the yards of the apartment blocks and private houses, or still under the rubble.[326]

In early November, Ukraine stated that at least 25,000 civilians had been killed in Mariupol.[46][47] In late December, based on the discovery of 10,300 new mass graves, the Associated Press estimated that the true death toll may be up to three times that figure.[327] The Uppsala Conflict Data Program estimates of the total death toll resulting from the siege range from 27,000 to 88,000 fatalities, most of them civilians.[49]

just to put things into perspective, this siege lasted less than 3 months

https://en.wikipedia.org/wiki/Siege_of_Mariupol
by ranger_danger | 2025-09-02 18:10:49+00:00
The entire article to me sounds like it hinges on having a very unrealistic and singular definition of "best", that I would bet money does not even align with the people they are talking about.

Of course people don't need or want rocket scientists to work on their facebook clone, isn't that obvious? Why does the whole article center around this one interpretation of a subjective term?

Their website advertises a service that provides 90-minute live-coding interviews. Maybe if I actually was looking for a rocket scientist, that might be a good idea, but otherwise that seems incredibly excessive to me.

Personally I've been in this industry almost 30 years and I would never take a live-coding interview for a job, but maybe that's just me.
by themafia | 2025-09-02 18:10:49+00:00
The difference is the relationship between the bartender, the non-profit or the barista all revolve around physical locations where cash transactions or real work occur. There's actual direct value to be measured in the interaction.

Further my interactions with the bartender aren't likely to be measured or even known about by the non-profit and vice versa. To the extent my "credit" is a factor it doesn't travel with me from location to location.
by grues-dinner | 2025-09-02 18:11:20+00:00
Also people turning up in a town one day with no one to vouch for them were assumed to be up to no good as it could be assumed that you'd do just that if you were escaping your previous reputation. You could start with less than nothing by default, and may never shake it, and that's before race or religion.

> "If you weren’t born and raised here, you’re an outsider even though you’ve lived here for thirty-five years. That’s just kind of typical in small communities." https://dokumen.pub/small-town-america-finding-community-sha...
by ryandv | 2025-09-02 18:11:32+00:00
> What do you think is going to replace calculus? Until something better comes along, calculus is among the best introduction to higher theories of mathematics.

> Programming and development will be transformed to use LLMs as the tools that they are. Anyone who doesn't adapt to using an LLM will end up being a loser in their industry or be required to retrain to another role [...]

Mathematics will be transformed to use LLMs as the tools that they are. Any mathematician who doesn't adapt to using an LLM will end up being a loser in academia or be required to retrain to another role.

The study of calculus will be replaced by tooling that carries out the mechanics of differentiation, integration, finding extrema, etc, making such education obsolete.

> You could manually do a lot of things that a CNC mill can do. Or you can learn how to use a CNC mill. Or you could pay someone else to use their CNC mill. But a CNC mill is not a great thing to use for cutting raw lumber or assembling furniture. You "could" use a CNC mill for it, but it'd be extremely inefficient. You could use it to manufacture furniter pieces, but it's not going to assemble them. LLMs are kind've the same thing for computers.

You could manually do a lot of things that a calculator, CAS, or LLM can do. Or you can learn how to use a CAS system or LLM, or pay someone to use their cloud service. But an LLM is not a great thing to use for deciding research programs or assembling a proof. You could use an LLM for it, but it'd be extremely inefficient. You could use it to formalize certain lemmata or minor results, but it's not going to compose them together into a larger theorem.

> Could LLMs replace programmers? Definitely, right now. Could LLMs replace developers? Currently, it could replace some of the worst developers, and help but not replace some of the better developers. Could it replace engineers? Definitely not right now, and probably not for the next several decades.

Could LLMs replace arithmeticians or calculators (in the original sense of the word, as a human occupation)? Definitely, right now. Could it replace mathematicians? Definitely not right now, and probably not for the next several decades.

You distinguish between Software Engineers(tm) and lowly developers; I point out that you can draw the same distinction between mathematicians and lowly arithmeticians or "calculators" (in the original sense of the term as a human occupation), or between calculus and analysis.

Leave the solution of this particular integral or the differentiation of this particular function, the mechanics of calculus, to the LLMs and the machines. Mathematicians need not concern themselves with such trivialities, and will prove results for all continuous functions in arbitrary metric spaces, or something similarly general and insightful.
by pclmulqdq | 2025-09-02 18:11:59+00:00
Without the "async" keyword, you can still write async code. It looks totally different because you have to control the state machine of task scheduling. Green threads are a step further than the async keyword because they have none of the function coloring stuff.

You may think of use of an async keyword as explicit async code but that is very much not the case.

If you want to see async code without the keyword, most of the code of Linux is asynchronous.
by garciasn | 2025-09-02 18:12:59+00:00
No; plus, it's illegal under state and church separation in the United States.

Also, this isn't 500 BCE; we live in 2025. Humanity no longer needs to learn the basics of common decency, morality, and legality through the mythical threat of a being(s) in the sky helping or hurting an eternal life that simply does not exist after death.
by card_zero | 2025-09-02 18:12:59+00:00
Yeah, automation and information sharing prevents people slipping through the cracks, and that also prevents leniency, diversity, and reason.

I was musing over something, though. We have creeping Orwellian things like face recognition and the policing of chat histories. But some of this is private, as in, not done by the state. Even when done by the state, it isn't in most places to prop up the regime and prevent dissent. It's big brother mechanisms without a Big Brother. I speculate that it's genuinely motivated by preventing disorder, because (is this true?) over the last couple of decades people have got more disorderly in petty ways to do with thieving and harassing and scamming one another. Then the people don't like it, and so the people politically demand heavy-handed policing of the people.
by idle_zealot | 2025-09-02 18:13:00+00:00
> parties. If you go to a government institution and tell them their boss sux, in theory you shouldn't be punished for that, and they'll keep serving you. But the same does not extend to a private bakery. Or a bar. Or any private property. Tell them their boss sux, and you might not get service

Except, of course, it's not that simple. There are a host of behaviors and traits that private businesses are not allowed to consider when choosing whether or not to provide you products or services. These carve-outs to free association exist because at any given time a large enough portion of the population exists of bigots who choose their associations based on characteristics that the rest of society has decided are not acceptable grounds for refusing service. So we compel service if we think not providing it is sufficiently shitty and harmful. Something similar happens when a private institution, or class of institution, is so critical to life or participation in society that exclusion serves as a form of semi-banishment. Such institutions are put under even stricter standards for association.

The idea that social credit or similar are totally fine and peachy so long as it's "only" private institutions using it is a fantasy entertained by rugged individualists who naively narrow their analysis of power dynamics to "big government bad" and discount their dependency on extremely powerful private organizations.
by jonathanlb | 2025-09-02 18:13:12+00:00
Given that this is in response to a ChatGPT user who killed his mother and then himself, I'm not sure that positioning your product as being more secure than ChatGPT is wise, because your marketing here suggests either:

1. Profound tone-deafness about appropriate contexts for privacy messaging

2. Intentional targeting of users who want to avoid safety interventions

3. A fundamental misunderstanding of your ethical obligations as an AI provider

None of these interpretations reflect well on AgentSea's judgment or values.
by larusso | 2025-09-02 18:13:18+00:00
async is like a virus. I think the implementation in js and .NET is somewhat ok’ish because your code is inside an async context most of the time. I really hate the red / blue method issues where library functions get harder to compose. Oh I have a normal method because there was no need for async. Now I change the implementation and need to call an async method. There are ways around this but more often than not will you change most methods to be async.

To be fair that also happens with other solutions.
by kipchak | 2025-09-02 18:13:26+00:00
>Value is found by everyone voting with their currency units on what the value of any given thing is.

To me what you're describing sounds like market price discovery versus value, which can also be functional usefulness or social worth, in the vein of the diamond–water paradox. A price is what someone is willing to pay, but value is something's worth. For example while selling a car if nobody is currently interested nearby it's market value is $0, but it's functional value as transportation persists.

On the other hand I might pay much less for something than its value would be through price discovery. For example I might be willing to pay an extremely high price for a life saving medication, but rules or laws deliberately limit price discovery, because leaving it to the market would be considered unjust for similar reasons to laws regarding externalities via the tragedy of the commons.

>if we had a way of finely grading, say, teachers, then the teachers in the top 1% percentile could likely demand extremely high paying salaries...because 99% of teachers would fail to make this grade.

This is already somewhat done with teachers. Those who teach wealthy children such as at a prep or private school make more money than those who teach poor children. The salary does not directly scale with the quality of teaching - for example a 2x better teacher might make 10x the salary, because the bidding power of the wealthy parent is much greater.

Because currency is unevenly distributed, voting with dollars reflects the wealth and preferences of those with more money, skewing prices. In an extreme example if person A can pay $1,000 for a life-saving treatment and person B $10,000, does that make person B’s outcome ten times more valuable? In that sense, market prices aren’t neutral measures of value and are more like an economic version of ‘might makes right'.
by jkaplowitz | 2025-09-02 18:13:41+00:00
My understanding is that the EU sanctions themselves do care about place of birth, separately from citizenship, not just Apple’s implementation. I’ve certainly seen such a question in non-Apple implementations of these sanctions.

As for not supporting eID, yeah that isn’t great, but so many people have non-electronic EU residence permits (including me within the last few years - though I don’t have Russian origin or citizenship) that they’d have to support the non-eID flow regardless. Maybe they wanted one fewer flow to implement, or maybe they felt that eID verification didn’t meet their compliance needs. No idea there.
by FireBeyond | 2025-09-02 18:13:47+00:00
Yup. "Free two day shipping" shifted from "two days from when you place your order" to "two days from when we ship your order, which may be an additional one-two days".

Even now, I can search for a product, think "Oh, good, something here should work", and hit the "Get it tomorrow" filter. I watch the results change and show a subset of results...

... none of which I can "get tomorrow".
by bananalychee | 2025-09-02 18:13:58+00:00
Twitter regularly banned political figures globally following government pressure. X is more consistent in applying bans regionally rather than banning accounts from the platform entirely. Post-acquisition they've expressed that they choose to do that because they deem it to be preferable to having the entire network banned in certain countries. It probably has more to do with the financial incentives than with a value judgement, but either way there's no reasonable alternative, so I find it disingenuous to frame it as evidence of Musk's dishonesty, regardless of the fact that there are other instances where moderation policies were changed arbitrarily that actually do constitute evidence of that. I understand that some people flag any comment that isn't sufficiently critical of Musk and his companies regardless of their validity, which makes it tempting to parenthesize any "softball" comment to express loyalty to the tribe, but with regards to their compliance with government censorship it's unwarranted.
by Fade_Dance | 2025-09-02 18:14:04+00:00
You're painting this as a problem that is somehow related to overly long form text based web pages. It isn't. If you host a local cleaning company site, or a game walkthrough site, or a roleplaying forum, the bots will flood the gates all the same.

You are right that it doesn't look like it is slowing down, but the developing result of this will not be people posting a shorter recipe, it will be a further contraction of the public facing, open internet.
by MarkusQ | 2025-09-02 18:14:17+00:00
That's pretty much the definition of "agnostic". The gnostics literally claim to know and the agnostics say "Nope. Do not. In fact, we can't."

Agnostics can play the odds and base their actions on what they find more plausible precisely _because_ they haven't pre-committed to a specific answer.
by Animats | 2025-09-02 18:14:27+00:00
> I just read a TTY model 28 manual about the stunt box and I didn't see anything specific about FS/GS/RS there.

The Model 28 was a 5-bit Baudot (ITA2 code) machine with a stunt box. The Model 35, an ASCII machine, had a similar system, with different coding.[1] The term "Selective calling" replaced "stunt box".

ASCII-67 is modern ASCII, but there was previously ASCII-63.[2] That keyboard has special keys for selective calling. WRU, RU, EOT, EOA, TAPE, ~TAPE, etc. Codes didn't become standardized industry-wide until ASCII-67. Before that, there were lots of variations.

Here's a popular view of the process in the Baudot era.[3] That big switching center is essentially Sendmail built from of relays and paper tape equipment. It was called "Plan 55-A".[4]

[1] https://www.smecc.org/teleprinters/35selcall001.pdf

[2] https://lostbits.net/blog/the-teletype-model-35-character-se...

[3] https://youtu.be/PKJyGuhCQdQ?t=369

[4] https://en.wikipedia.org/wiki/Plan_55-A
by rich_sasha | 2025-09-02 18:14:49+00:00
It's the SV playbook: invent a field, make it indispensable, monopolise it and profit.

It still amazes me that Uber, a taxi company, is worth however many billions.

I guess for the bet to work out, it kinda needs to end in AGI for the costs to be worth it. LLMs are amazing but I'm not sure they justify the astronomical training capex, other than as a stepping stone.
by blendrrbot | 2025-09-02 18:14:53+00:00
So it acts humans?

I mean in tech alone we misrepresent what we engineer for $ afterall.

Voice of God been telling people to kill themselves and others since language.

Imo the real tool humans are not ready for is human language.

Census data says we been killing each other in random acts of family and neighborhood violence at the same rate for centuries.

Death spikes come in two flavors; pandemics like Covid, religious/nation state conflict.

Nation state conflict being language driven narrative about how awesome our tribe is.
by gruez | 2025-09-02 18:15:10+00:00
>the non-profit or the barista all revolve around physical locations where cash transactions or real work occur. There's actual direct value to be measured in the interaction.

I don't see how this is a relevant factor. If you're a karen at a restaurant who constantly sends your food back for the tiniest of issues, how is that any different than if the interaction happened online, such as if amazon gave you a bad customer credit score for your excessive returns?

>Further my interactions with the bartender aren't likely to be measured or even known about by the non-profit and vice versa. To the extent my "credit" is a factor it doesn't travel with me from location to location.

Word travels around, does it not? Moreover why is it relevant whether it's a number sitting on a database somewhere, compared to some vibes sitting in some guy's head?
by ebiester | 2025-09-02 18:15:25+00:00
I don't think you need "super engineers" either. They just should have made it through their first mistakes on someone else's money. If your founding team is not technical, it's important that one of them has seen the problems that will come up in your first 5 years.

No matter what you do, you will make wrong decisions and need to fix things once you need to scale. That's the way of startups. However, you also need to prevent the high level footguns such as OWASP top 10 and exponential algorithms with minimal supervision.
Ask HN: Is Gmail changing the wording on your left-menu choices?
by MilnerRoute | 2025-09-02 18:15:45+00:00
There's a "Feel" choice now for me in the left-side menu on Gmail. My choices are...

Inbox

Snoozed

Important

Feel

The "feel" choice seems to be "sent".

The other change is that the "Compose" button (for starting a new email) is now labeled...

"Compound."

UPDATE: It just switched back to the way it was. I wondered if I'd accidentally clicked some button for a different dialect of English, or if Google is testing some new feature. (Or the interface somehow just dropped in the wrong words?)
by janalsncm | 2025-09-02 18:16:08+00:00
> Citizens are tracked for every jaywalking incident, points are deducted for buying too much alcohol

The first time I visited China I was under 21 but I had heard the drinking age was 18 so I went to a convenience store to buy a beer. Person running the till was probably 12 and didn’t say a word or ask for ID. Unbelievably lax compared to the US sometimes.

I generally think it’s easier and more effective to track the outputs rather than the inputs: you don’t need to track how many beers they buy, just outlaw public intoxication. And enforce that law.