skysight-inc/HackerNews huggingface dataset:
Do you know of any cities of 20 million+ people with no homeless? Or even one million?
It makes even less sense, given that they are currently doing this with your iCloud photos. Now they have this tool that can match to a database of photos, how do we know they wouldn't use this to identify non-sexual photos? Maybe Tim Cook wouldn't, what about the next CEO? And the one after that?
This is addressed directly in the article via economic theory, comparative analysis, and "detailed empirical work" (from studying cases where new housing was built and the observed effect on prices):

From the article:

> When I first started making the case for land use reform, we had two legs to our argument. One was basic economic theory — more supply equals less scarcity equals lower prices. The other was cross-sectional analysis — metro areas with laxer land use regulation see more construction and lower prices. But we can now add a third leg to that analysis in terms of detailed empirical work. [...]

>> We study the local effects of new market-rate housing in low-income areas using microdata on large apartment buildings, rents, and migration. New buildings decrease rents in nearby units by about 6 percent relative to units slightly farther away or near sites developed later, and they increase in-migration from low-income areas. We show that new buildings absorb many high-income households and increase the local housing stock substantially.
Looks surprisingly similar to Scar’s hyena-ified landscape in The Lion King!
For cases where one sensibly used uuids, I don't see natural keys being an alternative. What's e.g. the natural key of an order reference that should be accessible without auth, when the key shouldn't allow enumeration and that should be allocatable without a single point of coordination?
The Reynolds paper is one of my favorites. It was re-typeset in 1998 making it a lot easier to follow the math [0]. It's fun to compare it to a copy of the original from 1972 [1].

Philip Wadler had this to say about the paper: "Certain papers change your life. McCarthy's 'Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I)' (1960) changed mine, and so did Landin's 'The Next 700 Programming Languages' (1966). And I remember the moment, halfway through my graduate career, when Guy Steele handed me Reynolds's 'Definitional Interpreters for Higher-Order Programming Languages' (1972)."[2] This is how I discovered it I believe.

The paper is exceedingly approachable. It was so well written that I immediately purchased a used copy of Reynolds' book on programming languages (which I did not have as easy time with compared to the paper - and still remains unfinished on my bookshelf).

When they republished the paper in 1998, Reynolds wrote about how the paper came to be [3], and I believe about the discoveries of continuations [4].

I recently implemented Reynold's meta-circular interpreter in TypeScript and serialized the abstract syntax into JSON. Coincidentally, a few days later I saw a post on HN something about "executable JSON" or some such "programming language" that the creator was very proud of making it into a product of sorts. (found it... JSON Logic: https://news.ycombinator.com/item?id=27306263). Queue Greenspun's tenth rule. I chuckled as I looked at the JSON Logic syntax knowing that a little Reynold's interpreter with its AST serialized to JSON is infinitely more powerful and extensible (allowing higher-order functions and such). I highly recommend anyone reading this to write the 50 or so lines of TypeScript necessary to implement Reynold's meta-circular interpreter (EXTREMELY EASY and nearly identical line-for-line to the 1998 paper, only in TypeScript instead of lambda calculus).

Good stuff.

[0] [PDF] https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&con...

[1] [PDF] https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/...

[2] https://homepages.inf.ed.ac.uk/wadler/topics/history.html#de...

[3] [PDF] https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/...

[4] [PDF] https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/...
This feels like a post-hoc rationalization to me. I drive a Tesla and I do often find the breaks annoying. I would prefer to drive straight through rather than stand in some random parking lot for 30 minutes. Even if I want a break, I’d prefer to find a park or something. You can take a break whenever you want with any car, the car doesn’t need to force you.
TIL. Planning to play with that in the near future. Thanks!
Clickable link:
https://github.com/TekWizely/pre-commit-golang/releases/tag/...
Given the rate of government recognition and response to issues, I would classify the last 30 years as new. However, I'm not sure about the private assertion. The first cell phones were analog and anyone with a scanner could listen in. Any agency with a court order can listen to digital cell phone calls. Email, SMS chats, etc. are all accessible via court sanctioned search permits. End-to-end encryption has enabled truly private communication (ignoring NSA high compute capabilities) and that has not been available in a widespread way until the last few years. I'm not referring to computer knowledgable HN types.

I'm not aware of a study looking at that particular correlation, but there is plenty of data available on the problem itself. I wouldn't be surprised if such a study exists though. I am no expert, but I have read reports from what I at least consider reputable sources. Its an easy search.
GP’s wife presumably had a personal life before being in a relationship with GP. It’s just as reasonable that her prior partners have her photos as it is for GP to have them.
Let me compare the ones I might've disagreed with as a newbie (out of college, maybe a few tens of hours total programming) and what I think of them now, after 17 years as a programmer.

- "Browsing the source is almost always faster than finding an answer on [the web, Stack Overflow didn't exist yet]." This would have taken a very long time as a newbie, not being familiar with C-style languages (I was working in PL/SQL and XForms, mostly) and the architecture of big software. Nowadays, depends how many levels of dynamic dispatch (the devil) the code uses. If it's more than one, the code is so unreadable as to be worthless to try to read.

- "Know the internals […].", same as above.

- "Syntactic sugar is usually bad." Depends how much more intuitive the sugar is than the salty version. Still the same opinion nowadays.

- "While rare, sometimes it's a problem with the compiler. Otherwise, it's always DNS." Disagree both as a newbie and now, but then I'm probably not working on anything similar to OP.

- "Some programmers are 10x more efficient than others." Certainly I was a <1x programmer as a newbie, but I don't think I've ever seen a 10x programmer. I've seen programmers which get features "done" by committing so many programming horrors that we were still dealing with the tech debt years later while they were at a FAANG, and I've also seen programmers which can whip up excellent code quickly but are unable to treat colleagues as adults.

- "There's no correlation between being a 10x programmer and a 10x employee (maybe a negative one)." I wouldn't have thought so as a newbie, but this rings true now. Visibility, agreeing with the boss on whatever they think is cool, being able to serve up banter on request, and joining all the "social" events are important because nobody is able to gauge programmer productivity yet.

- The "Heptagon of Configuration" is an interesting observation which I don't think I ever agreed with, but for different reasons. As a newbie because for most systems whatever we were using was usually decent enough, and now because I don't think this trend is cyclic but instead chaotic. We go from environment variables to Bash to INI to flags and so on. Usually this change is because we adopt some language or framework which staunchly refuses to treat anything but the Chosen Language as a valid configuration format, and so the existing configuration has to be adapted to work with N+1 opinionated (for the wrong reason) systems with as little pain as possible.
I have sensed an emerging "story" in various media over the last 6-12 months that within the US at least, there are vanishingly few cities or large towns that are (a) highly desirable places to live (b) affordable to median income folks. Or maybe the story is that if this is not true to today, it seems that it will be in 5-10 years.
Yeah it's like you take a perfectly good argument "we should be able to make tunnels more efficiently" and then throw in Tesla fan-boyism and it just shuts off the critical thinking centers of the brain.
These aren’t cryptographic hashes. They are perceptual hashes and a picture of a picture could absolutely end up with the same phash value.
Replying to my own question since I can’t edit anymore: it turns out “perceptual hashing,” which I didn’t know much about, has exactly this property, that small changes in the input result in small changes in the output.
> Actually just removing all public comment would be more impactful than anything. In nearly every jurisdiction, including places like SF, there is ample housing theoretically permitted under current zoning.

Is there a source for this?
I think the assumption that there ever was a long term climate equillibrium is false. Climate has always been changing. The radiative input from the sun is always changing. The composition of the atmosphere is always changing. The albedo of the earth is always changing.

I believe humans may be contributing significantly to current change by increasing greenhouse gases.

It is unknown whether this is a significant problem or a problem humans can or should solve.
>I would really like people to start answering this: what exactly do you think has changed? e.g,

Apple has announced they'll be doing this check?

What exactly do you think is the same as before?

>The exact same outcome can happen regardless of whether it's done on or off device. iCloud has _always_ been a known vector for authorities to peek.

That's neither here, nor there. It's another thing to peak selectively with a warrant of sorts, than to (a) peak automatically in everybody, (b) with a false-positive-prone technique, especially since the mere accusation on a false match can be disastrous for a person, even if they eventually are proven innocent...
Yes, there is public transportation, but this is $6 and 20 minutes to the closest light rail stop. I never tried a bus.

My point is that this area is almost only served by foot traffic, but getting your feet on the sidewalk has a pretty significant cost.

I don't think this is odd though, since it's been the experience I've had getting to any downtown area. Visiting downtown San Fransisco costs around $10 to actually get too, after all is said and done, even from within the city, unless you walk/bike/spend 20 minutes.
The ability to hand-parse/edit outside of Emacs, lower risk of data corruption, the ability to read the data visually even if printed or displayed raw. It's nice to be able to `cat` an org file to a terminal or `grep` from the command line, and if a file gets corrupted or messed up it's pretty easy to recover the data.

So basically: transparency, flexibility, portability.

Plain text is great, it's just not enough on its own. Ideally, Org should be both plain text and rigorously defined with a language-neutral set of parser rules that allow it to be transformed into some kind of JSON or similar data structure so that other programs can more easily read and write it.

Org-mode succeeds very well at the plain text, but (imo) kinda fails pretty bad at the "rigorously defined and easily parseable" part.

Increasingly, I think that both are important -- I'm finding that hand-editing Org files and programmatically editing them are both things that I want to be able to do.
I did mean z-wave. I am not sure of what acronym to call that by. I guess I could have just said radio/wireless?

Edit: Regardless of what I meant, I think you proved I should look more into these. Thanks!
What's obvious is Apple believes it can do this. Why? Have they already done it and were shocked at what they found? That would be some story.
I could maybe excuse "seeing a single mosquito".

But if supplies of insect repellent are needed, then there's a lot more than that.

Get it to the point where less than 1% of people get bit and we can start to talk about "doesn't have mosquitoes"
Is it opaque? There are 7 technical paper links at the end of the announcement detailing what they are doing.
That's some pretty aggressive trend lines for pretty noisy data. Looks pretty L shaped to me. Some outliers with low vacancy and high homelessness that make it look like there's a trend, but I don't know that I really see much of a correlation.
Water, wind, and solar would all be available to people rebooting civilization. The ancient Romans used these, and more.

https://brewminate.com/energy-in-ancient-times/
Except in really small towns.
is there really no fuzziness to it? If not, can’t this be defeated by simply reencoding the image?
Why stop at scanning photos in your phone?

With lower power sensors, head-mounted devices with always-on-sensors, and whatnot, why not sample real-time hashes that can tip LEO about potential crimes happening?

Then why sacrifice recall in order to achieve high accuracy?

Err on the side of uploading more hashes. Then feed it all into a ML so it can use other data to filter out potential false positives.

Then if in a distance future, any LEO wants to investigate you for whatever reason, the set of potential hashes associated with your account will provide sufficient evidence for any court to authorize further non-hashed data access (it doesn't matter if they were all false positives)
we have AI algorithms that can parse millions of youtube comments daily for "hate speech" but can't figure out if someone is using their domain for a year?
It at least looks like apple is the last one to do this. google, flickr, facebook, twitter etc did this since forever.
Is CSAM a specific list of images that does not change, or does a government body actively control this list? Is there anything that would technically prevent the addition of a specific image of an enemy of the state? Hypothetical question, how will Apple respond when the FBI asks Apple to scan for images they know are also on the phone of the latest domestic terrorist? And how likely do you think the FBI will try to expand the scope of images that are scanned?
Probably just about a couple of million lines of existing elisp (or more relevantly, the functionality therein).
This site always makes me smile
https://newyorkyimby.com/
I did this intentionally. There is no such thing as a law making something ‘legal’. It can only make something ‘illegal’ or ‘not illegal’.
>installation and configuration

On Linux, literally run the texlive installer script and install an editor like TexStudio if you'd like. That's it.
> The problem is that those people aren’t going to be able to get the kinds of jobs that would make it possible to even afford rent a place here.

So we're back to bus tickets, then?

Only partly joking because you're completely right. I'm not sure a path from homelessness to financial stability really exists in San Francisco right now.
The reason that we "focus" on the expensive high end housing is the same that prices are high: in scarcity, those with the most money get served first.

That and new SROs have been banned; they might be profitable but they are illegal to build in most jurisdictions. My town recently made them legal again, but the anti-growth crowd has paradoxically started opposing them in full force because they are "unaffordable" despite being far more affordable than other options.

Also, SRO construction could make your rent cheaper. Pressure on supply comes from both directions, and as 2-bedroom apartments that house 8 people start to have fewer people due to SROs, is helps everyone. Or due to any affordable housing, honestly. I'm of the opinion that all supply is good, from deeply subsidized deed-restricted below market rate units, to luxury that is used only as a second or third house. (Those luxury units pay big impact fees and lots of property taxes, and prevent the luxury unit tenant from taking a more affordable unit).
>What exactly do you think is the same as before?

The same checking when you synced things to iCloud. As has been repeated over and over again, this check happens for iCloud Photos. It's not running arbitrarily.

Your photos were compared before and they're being compared now... if you're using iCloud Photos.
These are called walkable neighborhoods. And when you start building them and connecting them to one another you get…………. Walkable cities!
I don't understand this abhorrence for work. There's more of a dopamine kick from solving a tough bug than surfing.
Some past threads:

The Ulam Spiral of Primes (2010) - https://news.ycombinator.com/item?id=17019533 - May 2018 (43 comments)

Ulam Spiral - https://news.ycombinator.com/item?id=11843990 - June 2016 (13 comments)

Ulam spiral - https://news.ycombinator.com/item?id=6703494 - Nov 2013 (27 comments)

The Ulam spiral: hidden structure among the prime numbers - https://news.ycombinator.com/item?id=2047857 - Dec 2010 (39 comments)

The Ulam Spiral of Primes - https://news.ycombinator.com/item?id=1452301 - June 2010 (36 comments)
No. A registered charity called The National Center for Missing and Exploited Children controls the hash list.

Yes, they are partly government funded, but I highly doubt they'd let their mission be compromised by allowing the government to inject non-CP hashes. Doing so would compromise all the work they've performed over the last four decades.

These people are (rightfully) very passionate about their work and can't be easily paid off.

There are many, many valid concerns about this Apple initiative. But, "The government" injecting non CP images into the CP databases is not one of them.
I'm not sure why this isn't common sense but I see this problem happening in the town I live in right now.

Average rent these days seems to start at around $2000 Canadian for a 1 bedroom/bachelor suite. Minimum wage is $15/h. Wage for an average job is between $15-$20/h.

$15/h is $2400/m gross and like $1600-$1800 net depending on your employer's accountant.

It's literally not possible to afford even a bachelor suite on minimum wage where I live.

I see homeowners complain on facebook about tenants not paying rent. Many of these homeowners are also business owners paying their employees minimum wage.

The homeless population in town has expanded exponentially over the last year. Homeowners complain about that.

There's a huge disconnect I just don't understand.

You can't pay people less than what average rent cost per month then complain there's homeless people. Either jobs need to pay more or rent needs to go down. It's just not reasonable at all currently.

You can't draw blood from stone as it were.
Vance gives you an audio-only option, which is nice.
Yes, private nude pictures of other people's children too, which do not necessarily constitute pornography. It was common when I was young for parents to take pictures of their kids doing things, clothes or not. Some still exist of me I'm sure.

So far as I know some parents still do this. I bet they'd be thrilled having Apple employees look over these.
They were pretty thorough at wiping out entire classes of large land animals in North America (and probably everywhere else but Africa and parts of India), at least if the theories hold.
> If I can't use my banking apps, Lyft, Google Pay, Photos, Maps, etc. with a particular mobile OS (with all features working), then it's unfortunately not for me.

These are proprietary apps, so it's a bit unrealistic to expect that they would support a free OS.
We edited the title to make it less baity, but the word "hoarded" seems to imply the same thing so I'm not sure the edited title is adding that nuance?
And yet, people keep coming to San Francisco, LA, and other cities because there is work there. You can't look at housing costs divorced from other costs of living, either: for example, moving to places that are "dirt cheap" in housing will likely come with a reduction in income as well as a rise in other costs. Replacing mass transit with an car-required lifestyle is expensive (and if you can't afford rent, it's somewhat likely you won't be able to afford a car, insurance, etc.).

Additionally, an important factor in most of these cases is that they have some amount of debt, perhaps significant. So even if they could be marginally better off if they reduce income by some and reduce costs by enough where they can afford rent in a cheaper place, their existing debt doesn't shrink and becomes effectively unpayable over any period of time.

In short, yes, the real proposal is to build so much new housing that rent drops by over a thousand a month. There's very few places in the country where that wouldn't be a great idea, not just in California... even those "dirt cheap places to live in this country" aren't dirt cheap anymore, things have changed quite a bit in the past few years.
Instead of having a function that can accept an arbitrary function as parameter, the compiler enumerates all known uses of the function into a data type and uses that as input instead. The resulting code is no longer general purpose.

It's as if you gave Intel your program and they produced a special optimized processor that runs just the instructions found in your program and nothing else.

> the insight of defunctionalization is to find all actual uses of the higher-order function

> Each distinct use of the filter function yields a new case in the Filter datatype
I haven’t seen any uuid format in any project I’ve worked on get explicitly created except uuid V4.

What’s the actual advantage of the other uuids? I know what they are on paper but has anyone used other ones in practice?
I’m surprised medium is still used/allowed on HN. I can’t access the article because medium is requiring me to sign up to see it…
Perceptual hashes are not exact hashes, otherwise they would be useless for this task; you would just mirror the image or change 1 pixel.

They are instead fuzzy classifiers, and thus have non-zero error rates.
So what...?

That means you need to scan everyones photos and read everyones messages, because someone might be saying something bad somewhere?

They'll move elsewhere, and millions of people will lose their privacy forever, and some will get killed, because they'll save a wrong kind of meme, and the local dictator will mark that hash as "bad".
> while I think it's a wing dang doodle of a little car

Is that you, Robert Dunn of Aging Wheels? (I don't think he owns either a Tesla or a Bolt, but he owns a lot of weird cars so I wouldn't be surprised, and you're aping his speaking style almost perfectly.)
Yes, they have all three. They have pipes connecting them to the country-wide electrical and phone network, and the regional water system.

Autonomous as in "you don't need to visit some city to get all your basics nor you need a car to go miles away to some Walmart to shop", not as in "they make their own electricy locally".
The questions re: what the CEO would sign off on here don't really matter, as the question could apply whether it's server side or client side.

It _does_ make sense client side if you view it being done server side as a blocker for E2EE on iCloud. There is absolutely no world where Apple could implement that without keeping the ability to say "yes, we're blocking child porn".
The market solution was flophouses. Government regulation is one thing preventing that market solution now. Another thing would be people like me who aren't about to have that type of housing in their neighborhood and would vote out any politician who allowed it.
My Experience with Bullish.com and the Potential of a Liquid EOS