skysight-inc/HackerNews huggingface dataset:
Interesting choice indeed. It looks like it supports the traditional approach as well

> wat object can quickly inspect things by using the division operator (to avoid typing parentheses). A short, no-parentheses syntax wat / object is equivalent to wat(object).
> Building more housing is the best answer. It lowers the price because there is more supply. There simply aren’t enough homes in the Bay Area, NYC and many other major cities.

One problem is building more luxury housing leads to more rent-seekers / investment homes / transplants, which doesn't solve the problems the area faces (e.g. lower income families can't make it work, and in addition to it sucking for them, they staff lots of critical functions so it ends up sucking for everyone since the price of everything increases and you get a whole class of supercommuting low-income folks -- ask bay area folks about their daycare teachers).

We need more _affordable_ housing, likely gated on AGI.
Apparently different articles?
This is a good thing. Everyone seems to ignore the worst part about homelessness: homeless people, shelters, and their encampments devalue the homes and properties of homeowners in the area. So as soon as a homeless shelter is built on your block, boom your property's value is now cut in half. This is a huge problem and ruins many people's financial investments.
This is exactly the right way to think about it. One should be happy when the network works, and not expect any packet to make it somewhere on any particular schedule. Ideally. In practice it's too expensive to plan this way for most systems, so we compensate by pretending the failure modes don't exist.
Planet sustainability and statistical concerns aside, I think that this won't work for people who like actual lotteries, as it completely automates the process and removes the feeling you get from buying an actual ticket and hoping that you'll win.
I hunted around for good decaf espresso beans for a couple years and then someone recommended local own-brand supermarket beans, 9.50e/kg and I've had some better tasting extractions than a lot of artisan expensive regular beans I've bought. No roast date, so who knows how old, but a good consistent cup until bag empty.

What I also then noticed was that a lot of the coffee houses here use an inferior grinder for their decaf, smaller burrs, and/or the older hopper based grinder vs on-demand for their regular beans. No wonder it gets a bad rep.

Anyway I was quite amazed to suddenly find myself enjoying decaf so much.
That’s the intention but very few users enjoy being unpaid QA for trillion dollar corps.
So shipping people across the country, forcing them to move... Hasn't this country done that before? I don't think that's a good idea at all.
Fiction... indeed, science fiction. There was a short story (I believe in Analog) in the 1960s about this, later amplified by the author into a book.

But getting to your real point, about the use of an MMU safety monitor: I'm sure this works. But I confess, the first thing I thought about when I read that was Cloudstrike's explanation of their pre-release testing mechanism: running "validation checks" on the content, rather than running the actual software. Had they actually run their release, they would surely have detected the bug, since it apparently bricked every single Windows machine that downloaded it.
> The problem is it's cross-border

That's a feature. And the great thing of this feature is that it's opt-out. You can block connections from outside of jurisdictions you care about.
Yeah, the experimentation being cheap is one of the reasons why it attracted me as well. The ability to rollback once you mess up things gives such a comfort :)
In OOP as I understood it, messages are first-class entities at the same level as "objects". This is strikingly different from modern OOP languages where a message is conflated with "function calls". This is pointed out in the article: "[I]n Smalltalk, messages 'were not real messages but disguised synchronous function calls', and this mistake was also repeated in other languages[...]".

If a message is a first class entity, then an object can technically have only one "function call" -- receive message.

So that an object can simulate an arbitrary set of functions with arbitrary arguments, the implementation of the "receive message" function cannot impose conditions on the format or content of the message. Instead, the message must be encoded in a self-describing format so that the object can interrogate the message and its contents, and only then decide what to do with that message, up to an including ignoring the message entirely.

To make this more concrete, imagine having an JavaScript object that has only one method: receive messages encoded as JSON strings. With JSON strings we can say that the message is self-describing and is easily parsed by the object. Once the JSON string is parsed, the object can then decide what to do based on the content of the message. This is both a late-binding and a dispatching activity.

It should be clear that the version of OOP does not include anything about types. That's because OOP was designed with LISP-like languages in mind, where symbols were processed and strongly-typed objects. It also means that build-/complile-time checking wasn't possible.

I'd say the modern web with JavaScript and HTTP calls is more like the original OOP design than any modern "OOP"-like programming language.
Related: https://www.youtube.com/watch?v=xnCgoEyz31M
Another feature is that they let "parents with small children" board earlier in the process, so if you get on after that you can avoid sitting near the screaming, crying, and kicking seats.
I think it makes a lot of sense in the context of a live interpreter. Wrapping and object in help() or dir() is an annoying set of movements vs. just pressing 5 keys with no modifiers (Home, w,a,t,/). It makes its feel much more like a magic command without actually needing it to be magic. The dot modifiers are also convenient compared to passing kwargs imo.
Ask HN: How common are job application bots now?
I've noticed that LinkedIn often reports 100+ applicants just a couple of hours after a role is posted. Surely that's bot traffic, right? Are companies getting flooded with more applications than ever before?
I can think of a lot of cloud systems that have C. Businesses will rely on a single machine running a big Oracle DB. Microservice architectures will be eventually consistent as a whole, but individual services will again have a single DB on a single machine.

The single machine is a beastly distributed system in of itself, with multiple cores, CPUs, NUMA nodes, tiered caches, RAM, and disks. But when it comes down to two writers fighting over a row, it's going to consult some particular physical place in hardware for the lock.
In 1997, machines defeated a World Chess Champion for the first time, using brute-force "dumb search." Critics noted that while "dumb search" worked for chess, it might not necessarily be a general strategy applicable to other cognitive tasks.[a]

In 2016, machines defeated a World Go Champion for the first time, using a clever form of "dumb search" that leverages compute, DNNs, reinforcement learning (RL), and self-play. Critics noted that while this fancy form of "dumb search" worked for Go, it might not necessarily be a general strategy applicable to other cognitive tasks.[a]

In 2024, machines solved insanely hard math problems at the Silver Medal level in an International Math Olympiad for the first time, using a clever form of "dumb search" that leverages compute, DNNs, RL, and a formal language. Perhaps "dumb search" over cleverly pruned spaces isn't as dumb as the critics would like it to be?

---

[a] http://www.incompleteideas.net/IncIdeas/BitterLesson.html
Presently our focus is more on enabling automations that integrate with external services, but we do intend to enable some phone actions that make sense in that context.
Interactive visualization with free access: https://citiesmoving.com/visualizations/
Worked out for me. I bought a bunch on the last time everyone claimed Tesla was dead and then voted to keep Elon. Up 28%. Everyone’s got theories. I prefer money. What use are your theories if they don’t predict the outcome.
"...if people respect yellows." Of course they respect yellows! Yellow means "go faster so you can make it through the intersection."
Easy for you to say, but did those employees start the business with the full backing of their rich parents? No! They didn't!
I know this is not an uncommon opinion in tech circles, but I believe an insane thing to hang humanities hopes on. There's no reason to think AI will be omnipotent.
Twitter or X is a great platform
Is there a place to see this without logging in?
Thanks, I've never used flow and didn't know this. I've only seen it used in the non-comment form.
Don’t forget to also cover safety :)
SearchGPT Prototype
It should be pointed out that just inflation decreasing still means there is inflation. That means prices would still be higher and that is what expectations should be when there is inflation.

Deflation is when prices go down.
OCSP has problems too.

Al ot of non-browser applications just don't bother checking revocation. Which is terrible, but there aren't currently any good options. The best solution would be making cert lifetimes short enough that you don't need revocation, or making OCSP stapling, or something similar mandatory. But rolling either of those out across the whole internet would be slow and difficult.
This is a nice blog and I like the versioning feature, if you're looking to explore this idea more I made a very simple unversioned FSM extension for Postgres years ago for fun and no profit:

https://github.com/michelp/pgfsm
I don't see the issue. Youtube is usually a low quality source for just about anything.

This isn't even a new problem. I see Youtube as equivalent to nonsense you'd have found in a magazine rack in the past.
> What other forms of semi-stable functional "socialism" are there?

Cooperatives. This article we're discussing here is advocating for socialism, it's just not using that word.
Unsanitized web form mailers are a common source of spam mails, in particular if that form allows specifying an arbitrary email address to send the mail to. Essentially what the website owner meant to do was sending an innocent email (maybe for leaving feedback, or for a signup link), and the email text then gets mangled by the spammer in a way that you are seeing a link to product they want you to buy.
It is not a vulnerability in the sense that it leads to malicious code being executed, but it allows spammers to send their spam links through "reputable" email sources, increasing the likelihood that it will make it through spam filters.
This is neat. Well done.

I'm curious how well the "buy me a coffee" model works with projects like this.

It sure would be nice if there was a workable middle ground between selling subscriptions (or one time payments) and just giving everything away.
Thanks! Macroexpanded:

AI models collapse when trained on recursively generated data - https://news.ycombinator.com/item?id=41058194 - July 2024 (175 comments)

The problem of 'model collapse': how a lack of human data limits AI progress - https://news.ycombinator.com/item?id=41058867 - July 2024 (15 comments)
They get outcompeted because worker-owned companies aren't allowed to be leeches. You can't have your workers own negative shares.

But, many companies (especially those really competitive ones!) just... don't make money. It's easy to be a big disrupter like Uber when you make -500 million dollars a year for 15 years. Naturally that wouldn't when you aren't on capital welfare.
I'm not sure how someone can see enough of what kids do on their phones to have such confidence in their view of it without being invasive. I have no idea what most people do on their phones while they're in view, and I have no way to know if it's representative of their overall usage.
Thanks for providing some data!

The city-by-city comparison I think is really the interesting metric. Homelessness is not equally distributed in America and I to my understanding European countries as well.

Paris: 150,000 (~8%) homeless people [1], total population: 2.161M (2019) [2]

Berlin: 30,000 (~1%) homeless people (with about 6k living in the street unsheltered) [2] , total population: 3.645 million (2019) [3]

Los Angeles: 75,000 (~2%) [4], total population: 3.822 million (2022)

New York: 350,000 (~4%) [5], total population: 8.336 million (2022)

San Francisco: 8,000 (~1%) [6], total population: 808,437 (2022)

San Luis Obispo: 1,175 (~2%) [7], total population: 48,341 (2022)

Rome: 8,000 (~0.2%) [8], total population: 2.873M (2017)

SF & LA are both well below NY & Paris, even as a rate; yet seemingly LA & SF have a worse reputational problem. I was told the big difference in NY vs West Coast is that NY has made a lot of shelter space and has a more functional shelter system. I suspect this is perhaps the big difference - adequate and a functional shelter system, rather than enforcement & sweeps. The two perhaps go hand-in-hand, sweeps are not effective if there is nowhere to go. If there are lots of shelters, a functioning shelter system, then sweeps conceivably have a chance to have a lasting (and positive) impact.

I'm having a tough time finding good counts of available shelter space.

Rome is for sure a standout. Trying to find shelter space counts there, there are lots of hits for things like "A new shelter for the homeless in the heart of Rome" [9]

I think overall there is evidence here to suggest it is more a functioning shelter system that has a bigger impact on homelessness compared to sweeps. What is more, there is evidence as well that homelessness rates are a function of both sweeps and the shelter system.

We're still also not getting into some other variables, like healthcare costs (a big driver for homelessness in the US, per my understanding), social safety nets, etc..

Overall, given this data, I don't think it is just a matter of enforcing sweeps/camping vs not. Do you still hold that opinion? If so, what function do you think shelters have in the equation? (The biggest problem with the data I presented is teasing out how much of that homeless population is sheltered vs unsheltered. It appears that places in Europe, like Berlin & Rome that have large shelter systems, fare the best. If it were a matter of just sweeps, then seemingly Paris would do much better than it does)

[1] https://www.smh.com.au/world/europe/social-cleansing-to-make...

[2] https://www.german-times.com/with-the-us-as-a-role-model-ber...

[3] Google search: Berlin population

[4] https://www.nbclosangeles.com/news/local/2024-greater-los-an...

[5] https://www.coalitionforthehomeless.org/basic-facts-about-ho...

[6] https://www.sfgov.org/scorecards/safety-net/homeless-populat...

[7] https://www.sanluisobispo.com/news/local/article289037219.ht...

[8] https://www.feantsa.org/download/it-proof-read-new-template1...

[9] https://www.orderofmalta.int/news/new-shelter-homeless-heart...
Show HN: I built a tool that writes UI tests for macOS and iOS apps using AI
> adding a second one for CJS

Nobody is arguing for that. Once you ship ESM, you can continue shipping ESM.

In Node 22 you can even require() ES modules (with an experimental flag, at the moment)
Kind of a solved topic. Response here is not meaningfully different than Popper’s treatment close to 80 years ago.
I think teammates would have enough context of each others’ positions that they could play the part if necessary, even if theyre not as good. They might even appreciate the skills gaps. So I think sports holds.
It's the same underlying story, which is more or less the criterion we use for identifying duplicate (or at least 'related') discussions on HN.
All of that is "I" and "me", not everyone. Happiness isn't meaningless, it just appears that you can't internalize someone else's internal state and understand how they might achieve happiness a different way than you.
We've decided to make less money – PostHog session replay now much cheaper
Seems interesting, thanks for sharing. Will look it up :)
You're missing the point: he did not send an email with a link, he sent an email in plain text, no hyperlink, containing the ASCII characters "example.com", and the recipient's email client silently changed it into a hyperlink. And of course that doesn't just happen with "example.com"; it happens with any piece of plain text that the email client decides might be a URL, which includes many file names since many common file extensions are also TLDs. That is the security issue.
fintechs have some inhouse tech but typically involve all kinds of third party systems. Even if you are interacting with these third parties via apis(instead of csv or whatever), you will always need an eventually consistent recon mechanism to make sure both sides agree on what was done. It doesnt have to take days though i agree.

The only way around this would be to replace stateful apis with some kind of function that takes a reference to a verifiable ledger, that can mutate that and anyone can inspect themselves to see if the operation has been completed. Oh wait :)
I had to make my own gantt chart for a project in C#, it sounds simple but can be annoying... This makes me appreciate Mermaid all the more so.
Types _in_ comments is different from types _as_ comments. "Types as comments" refers to how type expressions are parsed.
Central States is in litigation with some of its retirees over a "dilution event".[1] This is like CAP table problems of additional funding rounds, where earlier owners are diluted.

The picture in the article doesn't look like a Central States product. Central States makes prefab metal buildings. So do other companies, most notably Butler Buildings.
Most farms and rural businesses have some of those. They look nothing like that picture.

[1] https://ia601700.us.archive.org/11/items/gov.uscourts.arwd.6...
> First, the problems were manually translated into formal mathematical language

That is more than half the work of solving them. Headline should read "AI solves the simple part of each IMA problem at silver medal level"
Well spotted! In Python 2 there was only one operator, but in Python 3 they are distinct.
Indexing an array with a float raises an exception, I believe.
Unrelated, but the second link is very intriguing. Does this mean that housing can be free for the population? Its just hard to wrap my head around given housing issues in the west
The problem stems mainly from this statement:

> with your design system and all of your components

While this is straightforward to do, it doesn't encapsulate all of your patterns. No design system should. Design systems should capture the top 90% most-reused patterns, but there will always be patterns that live outside of that. Being able to visually see those, copy them, and tweak them in a context multiple team members can give feedback on is immensely valuable.
Money and stocks would be fungible if all companies were public, all investors had perfect information, and no employee could make a difference in the stock price of their employer. All three of those conditions are false. You may be working for a private company that you would not otherwise be able to buy the stock of; sometimes, employment is the only way to get ownership of it. You often have better information about how your own employer is doing than you do about random public companies. And for smaller companies, you can often make a difference in the company's bottom line. This is why companies offer stock compensation in the first place, as an incentive for you to have a stake in the company's success.

If your company is a shithole or fraud, then you absolutely do not want to be receiving company stock. But then, if that's the case you may want to re-evaluate working for it at all.
Marshall Brain explores this idea in a short story, Manna. It is scary, and prescient.

https://en.wikipedia.org/wiki/Manna_(novel)

available free online from the author: https://marshallbrain.com/manna1
Indeed! However, I would add that this article focuses on fraud perpetrated against businesses. While it does give good perspective I'm actually more concerned about fraud perpetrated by internet businesses against consumers.
I live in a city in Canada, every 6 months I tend to give Apple Maps a try.

Inside of this year there have been multiple times where the Apple Maps route is 3x longer.

15 min vs 45 min

55 min vs 1 hr 25 min

I want to use Apple Maps, but don't let these comments from NYC, LA, etc make you think its close to par with Google Maps.

Because its not.
Yes both the money and the stock are incentives and they are of equal value. You've still failed to explain why one is better than the other.
> However, LLMs are not able to autoformalize reliably, so they got them to autoformalize each problem many times. Some of the formalizations were correct, but even the incorrect ones were useful as training data, as often they were easier problems.

A small detail wasn't clear to me: for these incorrectly formalized problems, how do they get the correct answer as ground truth for training? Have a human to manually solve them?

(In contrast to problems actually from "a huge database of IMO-type problems", they do have answers for these already).
If anyone wants a decent history of gold-as-currency, Peter Bernstein's The Power of Gold: The History of an Obsession is pretty good (second edition has a preface by Volker):

> Incorporating myth, history and contemporary investigation, Bernstein tells the story of how human beings have become intoxicated, obsessed, enriched, impoverished, humbled and proud for the sake of gold. From the past to the future, Bernstein's portrayal of gold is intimately linked to the character of humankind.

* https://www.goodreads.com/en/book/show/249245

People may be more familiar with his book Against the Gods: The Remarkable Story of Risk:

* https://www.goodreads.com/book/show/128429.Against_the_Gods

* https://en.wikipedia.org/wiki/Peter_L._Bernstein
Probably a bunch of assertion types and general DX. Node:test is just a feature, Vitest is a whole product. The former might be enough for small packages but nowhere near useful for anything non-trivial.
When you're about 2000 km from a neutron star, the tidal effect is 1 G per meter. Above 5 G's per meter you have life-threatening medical problems, and around 100 you'd be physically pulled apart.
I noticed Utrecht in the third place. Having worked there, I can agree with that. However, with Utrecht being so expensive to live in I experienced that most people that work in Utrecht, don't live there. They live in 'affordable' smaller cities and villages nearby. And with industrial estates like Papendorp and Science Park having sub-par public transit, those people often take the car. If you live in a place like Cothen, it is 19 minutes by car to Science Park or 53 minutes by public transit. Papendorp is over an hour by public transit and 18 minutes by car.

So while 75% of the people living in Utrecht are likely to travel to work by bicycle or even walking, I'd say that the people working in Utrecht are far less likely to travel there by bicycle, walking or even public transit. Resulting in daily heavy traffic on the nearby four highways of Utrecht (A2, A12, A28, A27)
Wow, this is the kind of tool that would have been a game changer when I was learning python; being able to see what is happening under the covers is part of the critical path for me to learn a language, and native python debugging is underwhelming, at best.

Instead I just installed pry and became a rabid ruby fanboy, but this might get me to give it another go.
That doesn't standardize the syntax, only types-as-comments. It would have to standardize some delimiters for type expressions, but that's it.

I do think that the semantics should be standardized too, otherwise you have non-interoperable types. The goal should be that you can use two libraries together without having to make sure they use the same type-checker.