skysight-inc/HackerNews huggingface dataset:
Wow the streets and avenues are especially bad, they are borderline unparseable if you're looking for things around the area rather than the roads themselves, which is usually my use case.
Seems obvious solution. Something like 10 years in prison would stop them from causing more issues for good while.
Sounds like you are on the path towards understanding that what we call “objectivity” is an inter-subjective construct.
The author, Larry Paulson, may or may not like ZF but he has a ton of experience in doing formal proofs in it.

https://isabelle.in.tum.de/website-Isabelle2020/dist/library...
This isn't Twitter. Nationalist bulgars are not good, even if they know how to woo an audience.
I think this is solution for retail theft too.

Sue the manufacturer of stolen goods. Clearly they did not do enough to stop it. Exactly same logic. Cities should start the process to sue companies like Nestle.
Nope, that knot is useful surprisingly often! It's the only applicable knot in that contrived single-handed-sailing-overboard situation, but it's also an effective knot when pitching a tent or tarp, or when hanging a clothesline, or when securing e.g. a canopy against the wind.

I learned it as the "Taut Line Hitch."
"The solution to the housing crisis is to not to try to mess with demand, but to increase supply."

Why? Why should we only worry about supply, especially when that's a much, much harder issue to tackle?

I live in a rural part of the US. There are no real zoning laws to speak of, red tape, high taxes, delays, NIMBYism, etc. None. Zero. Yet our house prices have also surged. My parents were able to afford 60 acres on a construction worker's (single) salary back in the 80s. My wife and I both have degrees and we could afford 15 acres with a much worse house, and that was 10 years ago. My wife's brother just bought a house for more than we spent.

It's in town, which is undesirable around here, on a regular in-town sized plot. The house is half of our home's size and needs a lot of work. Yet it's 25% more than what we paid with a much higher interest rate.

You people in cities always think it's all that red tape you have, but the problem is a lot simpler. There are more people than ever and housing supply hasn't kept up with demand. That is something the Canadian and US governments could fix going forward incredibly easily, without somehow finding 4x the home builders we currently have.

> Whenever I look at the Reddit history of a person attacking immigration by bringing up housing, I almost invariably see comments full of racism, xenophobia, a hatred of non-European-origin people/cultures, etc.

Ad hominem. I'm sure racists bring it up, just as it seems everyone else is afraid to bring it up for seeming like they're racists.

> This statement is wrong, yet abusively often repeated. North America's population went from a few million to a few hundred million in a few centuries. Wages in North America should close to zero if this statement were a true axiom.

That's an incredibly silly argument, and I don't know where to start. Again you're ignoring basic supply and demand. If immigrants didn't suppress wages, companies wouldn't bother hiring them. If they need 10 coders in a department and can't get enough, they'd have to raise their starting wage to entice more potential workers. If they can get 6 and fill the rest with immigrants they don't need to do that.

That's so basic I felt silly typing it on here.
Doesn’t make any sense for me why we are now using React in the backend, to render HTML… Let’s go back to 10 years ago.
> No, things you voluntarily participate in aren’t scams.

The vocal detractor's hostility is only matched by the their ignorance and arrogance; they assume because they have no use for it that no else does either.

Again, I've tried to win them with reason, and even put challenges in order for them to put their money where their mouths are; but they just shirk it and go on about disparaging it without any real substance. o be fair, I think 99% of crypto are scams, too; what they don't realize is that is often their cohort (SBF and al the VC money and SV might behind him) who do the most scamming.
More Wix meets Mailchimp. Website, email list, and perhaps a Slack/Discord/Telegram group are all you need in my experience assisting with organizing efforts.
I'm normally worried about that kind of Gell-Mann amnesia effect when I'm reading articles or watching YouTube videos that dive into a topic I'm unfamiliar with.

But when it comes to LLMs, I'm conscious of the fact that I'm asking deep, specific questions when it comes to programming and software, about things on the fringes that the LLM can't have read much about. In contrast, with things outside my area of expertise, I'm asking very superficial question that any practitioner of the field could answer, and so likely has many many sources for the LLM to pull information from.

With fields outside my area of expertise, I'm most often asking questions that are comparable to "what is a variable" or at most "how does A* search work". That gives me confidence that the quality of answers is likely to be much better with these questions.
By captures, you're referring to incorporation of one species within another?

That's not the point I'm emphasizing here. It's the overwhelming metabolic advantage afforded by mitochondrial ATP respiration.

Of that, it seems only one variant has survived. It either emerged only once, or out-competed all prior and subsequent emergences.
I tried multiple times and it hasn't worked for me in years. I tried again now and it seems it "sometimes" works. Specifically it seems that it works for some keywords and not others.
> Writing on paper even more-so than typing on a keyboard.

How do you get to that conclusion? I find that if I have a text editor, I can write my thoughts down and then visually put them in order or encase them in a more general concept with ease, which I couldn't do when writing on paper.
That’s it. There where not many animals that are good for domestication. For example rabbits and pigeons are beeing eaten in France but even here it is uncommon because the have to much bones in relation to meat compared to a chicken or cow.
Other animals are to hard to domesticate. For examples lions.
For example, let's say I've got a git repo on a guest VM and I'm syncing the dir to the host. If I run `git push` on the host (because my ssh key is there), it implicitly runs any pre-push script dropped there by the guest, defeating any isolation.
Durability is part of it, but mainly I prefer the way it rides.
An addendum: if you’re worried about the guest setting up a malicious git hook that your host would then execute, then your threat model is obviously very different from mine. Perhaps I should have clarified that I’m running code that I trust inside the VM so sandbox escape is not really a security issue in my case (but rather an operational one if, for example, a misbehaving script causes havoc on the host in this way).
I'm interested in what alternatives there might be to Bitcoin-style systems for "online cash". What do you mean by "vouchers"? How would that work, how would Kagi implement it?

> it is not 'really' anonymous

When you pay cash in meatspace there is still a paper trail, CCTVs watching you, bank rules about large deposits/withdrawals, etc. "Anonymous" isn't a binary. And while Bitcoin et al isn't perfect (and I've never gone to the trouble of using it) it can't be any worse than all of my purchases being instantly datamined by Visa/Mastercard.
Noise in cities is primarily driven by cars. Densification if done right could even make things quieter (e g. Reduce stroads and have more bicycles)
The Budapest Memorandum was annulled when one of its signatories blatantly violated its first clause in early 2014 (if not earlier).

...and Russia annexed Crimea in response.

But that won't stop you from coming up with infinite reasons why we ought to close our eyes and ears in denial.
Yea I give stuff like this at least a major revision or two for things to settle. Maybe Next.js v15.
> If My and first just stand for themselves, you're not interpolating variables; where is the templating?

Templating wasn't mentioned (yet. looking at the feedback I got, some avenues are open for some sort of templating).

> Also, what if you don't want a space between the bold hello and emphasized world?

Then you don't put one in?

$ echo "(div My first (b hello)(em world)) " | ./l2h -s
<div>My first <b>hello</b><em>world</em></div>

> Or between first and <b>hello</b>?

Again, don't put one in:

echo "(div My first(b hello) (em world))" | ./l2h -s
<div>My first<b>hello</b> <em>world</em></div>

I think that that is is intuitive as it can get for people who know HTML: space-emission matches what you would expect for HTML.

If you look at the git history, I spent a lot of time making sure that the parsing of whitespace and newlines made sense from an HTML perspective, not from a Lisp perspective.
I'm pretty sure Waze data, in highly processed form, makes it into Google Maps. That's why you get speed trap notifications in Google Maps, IIRC.

Aw t the very least, they have been organizationally combined within the company.

https://www.theverge.com/2022/12/8/23499734/google-maps-waze...
If you really just want a map, go use OSM. I love it as well and even contributed. But Google Maps is much more than OSM. The biggest difference and most important feature is its real-time traffic. OSM is just a totally different product seen through the car navigation lens.
Ah, but can you buy Starfield with the change from within yourself.

Also, the buggy nature of Armored Core 6 could be fun too.

Happy computing =)
Let's also pick some broad high level categories and vary the border design and color too. Boom. Instantly better.

Someone should make a Chrome plug in for this...
Not long ago, it was discovered through mitochondrial DNA studies that all modern humans have a common female ancestor, who was dubbed "Eve". https://en.m.wikipedia.org/wiki/Mitochondrial_Eve

This science.org article supports the " mitochondrial Eve" hypothesis.
I think the point is (despite the title) less that they're aping Apple's style, and more that the author believes the new style is generally worse than the old style.

On that point I personally agree, though it seems there's at least a few other people in the comments here who prefer the new style.
Yes, absolutely. They seem to be imprinted on the tiles, too, you can't filter them out with an ad-block rule.

The API doesn't show all this in satellite (aerial view) mode, so sometimes it's tempting to use a service that relies on the maps API.

But even with the API it seems that now the maps view has all those pins for places; I seem to remember it wasn't always the case, but I'm not sure.
Where did I ever employ ad hominem? Is identifying a conflict of interest forbidden now?

Sachs' appearance on a Russian broadcast is not remotely comparable to the fundamental participation of the Kagans in both ISW and the Ukraine crisis.

You ought to reflect on the fact that you outright reject everything Sachs has to say because he appeared on the wrong TV channel, yet you give me flack for only tepidly endorsing warmonger-run ISW. Is that the kind of toxic monoculture you want to perpetuate on HN?
Is this pairing, or some sort of automatic configuration and setup process? Doesn't seem clear to me what it is based on the description.
Three cuboids (with a slightly larger cuboid off to the side).
Can sign this. I was on a farm with my girlfriend and she was shocked that the people there played and enjoyed time with the animals they are going to slaughter.
Congrats, you just described Amazon as a whole. If anything, it is art imitating life.
The next trend line to look at is that without pulling co2 out of atmosphere, just quitting fossil fuels still gets us to 3.2 degrees of warming (this is IPCC modelling). This is climate armageddon. So the growth in renewable energy means nothing if we dont get real good at offseting emissions.
Claude is much better. I could never get ChatGPT to reliably correct my mistakes, even when I slipped in egregious ones.
On Windows and Mac, Docker Desktop is the only way to install Docker. If you work for a big company that isn't using Linux then you need to pay just to use Docker.
I'd love to use Apple maps.I just can't commit to a service that's only available on some of my devices & computers.
when those poors will never be able to afford a CT scan when they are sick...

well done.
I’m not sure if it’s a law already but if not I’m claiming it in my name:

The more useful some graphics would be in an article, the less likely it is to contain any.
The best reference for proofs as social constructions is:

DeMillo, Lipton, Perlis

Social Processes and Proofs of Theorems and Programs

https://gwern.net/doc/math/1979-demillo.pdf
There are weaker formal systems like Presburger arithmetic (peano without multiplication) and Skolem arithmetic (peano without addition) that have been proven to be complete and consistent. Tarski also showed that there are formal systems for real numbers (hence also geometry) which have the same properties. (although the real numbers include integers, the integers alone have a lot more structure and so Tarski's result does not imply Peano)

There are also extensions to these (eg. presburger extended to multiplication by constants) that are also known to be complete and consistent.

These systems do not require any social compact. Any theorems proven through them are absolute truth, although the the range of statements that these systems can express is limited.

One may require a social compact for Peano, ZFC, and such other powerful formal systems.

That the software implementations like Coq and Lean are bug free may also require a social compact, if the nature of being bug free cannot be formally proved, although it seems determining this should be an easier problem.
Dotnet added tooling to its SDK to build a docker image without having docker installed.
At that level of pedantry even the halting problem is solvable. Just choose a suitable representation for the Turing machines in question.

Describe/represent the ones that halt using 1; and the ones that don’t halt using 0. This produces the pairs (TM1, 1), (TM2, 1), (TM3, 0) etc.

Using this encoding the problem becomes trivial. It’s all other encodings which are unwieldy, complex and inconvenient.
> timezones have precise boundaries that cover the whole earth, no?

Not only is that not true, but there are places on the earth where one country may think the timezone is X, but in another country it is illegal to claim that the timezone is X.

This happens most notably with China, which defines the entire country to be in a single timezone, and is engaged in multiple border disputes.
> they target pretty much everyone, and nothing demonstrates this better that generic, “un-targeted” phishing e-mails.

Had to stop there, this is written like its a given, that there is no way to avoid phishing emails when there is. There's plenty of ways and alot of the criminality is maintained by those who dominate the sector, via standards or solutions.

>either immediately or very soon after they are delivered to their first recipients – detected and blocked by any security solution worth the name

I've always been taught ignorance of the law is no defence of the law, so unwarranted data sharing is ignoring various laws.

"Articles 13 and 14 of the GDPR require you to tell data subjects who you share the personal data with (the recipients or categories of recipients of the personal data)."

The email systems and associated security products, namely anti spam and anti virus software/services are knowingly breaking the law with a recipient that chooses to employ said service to scan their emails.

Everybody on the planet who has an email address and an AS/AV scanner is breaking the law, but I guess hypocrisy can be overlooked even in the best educational establishments, whilst ignoring the ill thought out nature of law in a global world.

>JavaScript loaded from the external domain was not as simple as the rest of the attack (it was heavily obfuscated and "weight in" at 155 kB)

I guess dialup is still an issue for some.

>Proving that the cost of committing cybercrime can be really low.

I'll agree on that.
I guess you use what you are familiar with, but using react for doc site instead of using some off the shelf static site generator/cms with caching seems like wasted effort. More fun from dev point of view with react no doubt.
It definitely feels like Amazon had some intern project that generated 'spatial catpchas' (prove you are human by picking the stacked blue boxes) and decided to re-use it for every icon.
My motivation for sandboxing is to fearlessly tinker with unfamiliar dependencies without thinking too deeply about the supply chain. Starting with isolation makes it safer to experiment, which is important to me for velocity.
I'd downvote twice if I could.

I genuinely hope you'll feel better eventually, will think about your and your loved ones' future, and finally enjoy the now - the best time to live in in human history.
I love-hate this blog. It covers the long and slow enshittification of one of my most beloved websites. I vividly remember their previous post about the loss of labels on Google Maps, which rendered them useless for manual navigation.
What about actually improving directions, not sending us through barely usable roads in Mediterranean islands, if we can consider them roads at all.

Or shortcuts that might be interesting in a computer game, how the RTS units select their path, but hardly so when driving through a medieval village, instead of the somehow longer circular road that everyone should use.
That's super interesting, because to me the new one literally looks like a captcha! It would be completely unusable with careful perusal, let alone glancing down while navigating. The words all have lines of nearly the exact same color overlayed so I can't read them without squinting and going letter by letter.

I found out several years ago that I have some form of color blindness - amusingly enough during a design review for a map we were designing. I had the exact same problem, with everything bleeding together in an indistinguishable mass, and everyone looking at me like I had 3 heads when I asked how we could possibly ship something so unusable with no contrast.

I suspect there is something similar going on here. To me, the foreground text and background roads are nearly identical in hue and saturation. Is it high contrast to other people? The map I struggled with years ago was using two colors with similar saturation but different hues (a purple and a green/yellow), so I had to push to make sure that "high contrast" meant a difference in both hue AND saturation.

Shipping a couple map-related products has given me a real appreciation for how differently users can experience visual layouts. For one thing, technical people generally like maps a LOT more than the general population does, to the point that we take it for granted that it's the ideal way of presenting anything with a position component.

Quite a lot of people get overwhelmed by maps - they basically shut down and can't figure out the UI at all. Looking at the new version gave me that panicked feeling that I hear those users talk about.
I haven't used Blazor, but I shudder at the thought of using Jinja to generate the HTML here. Rendering documents from OpenAPI spec benefits from being able to easily transform data, map, filter and so on - especially if you are displaying the JSON schema for request and response bodies (which docs.mux.com appears to be doing).

The experience of doing these transformations in template languages is pretty sub par.
I'm moving away from storing all of my stuff on client machines (notebooks etc).

Instead I use an efficient homeserver with Proxmox and encrypted ZFS including zfs-auto-snapshot to automatically manage snapshots, storage is one single 2TB NVMe. This is my "workhorse", where I login remotely and use web interfaces for nextcloud, OnlyOffice and so on.

Every night, I use `zfs send` to backup all snapshots to my Dell T20 width 2x10TB Seagate Exos.

For notebook clients needing to backup files I use restic to store on one single external hdd/ssd per notebook - depending on the use case. From time to time, all this goes to my Dell T20 again.

For backing up Photos and Videos from cellphones I also use my Proxmox Server - an `immich` LXC container with client software on every phone.

All this can be reached online via DynDNS, using OpenVPN port sharing on 443 with an NGINX reverse proxy, so that I can either connect via OpenVPN client or using a WebInterfaces for most of my proxmox self hosted stuff.

Off site backup is also a T20 with my parents, same config as mine syncing via zfs send.
I never thought I would see the day when Google Maps would copy Apple Maps. Apple has absolutely nailed the map UI and even the UX (like richer details during navigation, requiring fewer touches to do things, etc.) is so good and well thought out. GMaps just looks so cluttered and bloated.

The only reason for me not to use Apple Maps (in the US) is that they are far behind GMaps in POI data.
Why would noise levels go up with densification?

Densification allows you to reduce car dependence, and most city noise is from cars.
I'm probably one of the few who really likes this feature, though I do wish it was something I navigated to, rather than it being so obtrusive.

I moved somewhere new in the past few years, and it's pretty great when you're exploring a new neighborhood you know nothing about.
DeepMind co-founder calls for US to enforce AI standards
https://archive.ph/K5QHZ
> Nobody in politics is ethical, nobody in business is ethical, no market is competitive.

I didn't say any of those things. You came close on the third item, but the operative word there was "free", not "competitive". There are competitive markets, but they aren't free. If you want to dispute that, give me a counterexample.

But if you're going to raise straw men then yes, perhaps it is time to call it a day.
I think that one factor is that staying on old tech is a risky career move both for the individual and the business. At work we have an Angular (the old one) app and while many new devs pick up some React, they definitely don't play around with ancient Angular versions for fun. So now we're stuck with a pretty big app using tech no one is interested in anymore.
Stratospheric Aerosol Injection
I've been learning keyscript[0] and it's really fun and concise.

[0] https://cassyjanek.webs.com/comparealphashorthands.htm
The YouTuber CGPGrey did this back in 2021 on Dragon's tail, a winding road in the mountains that's claimed to be the deadliest road in America[1]

[1] https://youtube.com/watch?v=d6tgmGqXysM
My post was that electricity prices would come back by a factor of 10 or more. While that was qualified by "not Antarctic winter", it did not say that it would be only while the sun was shining, either.

That was what I objected to.

And if the average price falls by 90%, there number of industrial application where it would make sense to consume only part of the day, drops by a lot.
Unleashing Water’s Natural Power
I wonder about the code with the heading “A Server Component with data fetching”.

It shows a HTTP request made to the company’s publicly visible API endpoint. But this request is being made from their own server (the one that is generating the HTML + JS from these React components).

Is the idea really that your front-end generator calls client APIs rather than internal ones (e.g. just making a database request)? That seems kind of wasteful, and also potentially confusing from a API design standpoint.
They go up if you build more densely and then hop in your car and drive an entire block to your destination, which some Americans insist on.

But if you walk, bike, take transit, it gets better.

People don't automatically adapt just because you build it differently and people typically have trouble imagining genuinely living differently without actually experiencing it.
Depends on the people