skysight-inc/HackerNews huggingface dataset:
Agree. Coming up with a piece of legislation that actually works seems impossible. There are a zillion commercial agreements around distribution, exclusivity etc and a lot of business doesn't work without it.
I agree with your general point but will note that Google has been working on smarter traffic lights (albeit with much less funding than Waymo)

https://sites.research.google/greenlight/
I have built https://FileMonger.app (which keeps a diffable undo history of a file) exactly after becoming skeptical as you are.

After a bit of research I've figured that main need for this kind of focus is fear of the document changing too much, to the point where the current idea for an edit will no longer relevant.

Apps such as OP try to solve it by hiding the problem, while with FileMonger the writer gets a guarantee that they can revert to any save at any time, if document indeed changes too much (it usually doesn't).

If you've mentioned vim and technical writing you're probably writing plain text files and are knowledgeable enough to use manual version control like git when necessary, which is why this baffles you.
No, that's not true. Racing is a game of skill. It just happens it involves some risks.

If risk was the point, people wouldn't be expending so much effort to make racing safer.

And trust me, most drivers do not have a death wish. It is all about figuring out how to learn to drive as close to limits of traction as possible without crossing it.
"pretty smart guy" fallacy is the incorrect assumption that high psychometric intelligence is all that you need to act rationally.

Anything related to executive functions, like like impulse control, irritability, attention problems, mental disorders, personality disorders, and many other things–including bad attitude and too much self confidence–can make smart people act foolishly.
The Rideshare Protocol (Trip)
This is really painful to read.

That whole system seems to be so ripe for disruption.
Your continued breathing objectively decreases the amount of oxygen in my environment.

At some point you gotta draw some lines, and ownership (combined with reasonable zoning rules) is a pretty good line.
> If people who don't want to live in California leave for somewhere they'd rather be, that's probably ideal for everybody.

As long as most of them don't come to my state. (Not a slam against Californians specifically, just a fear of a greater population increase).
Related: https://arxiv.org/abs/2310.04781
Odd how the only one that had levels in the teens was Lindt, from Europe. Seems like manufacturers could and should be doing more in the USA.
Hi! I'm interested in what has to happen for a (presumably) pretty small company to supply such an integral piece.

It seems to me like everyone from Qualcomm over Android to manufacturers would want this. Why did you have to build it instead of them? And is Xiaomi the entity licensing it from you? Does this mean that there will likely be implementations of the Snapdragon 8 Gen 3 that don't support 32 bit apps?

Is this just such a niche problem because most phones have been on 64-bit processors for so many years so that vendors expect the compatibility breakage won't be too big?

How did you anticipate this issue and how are you using the situation? i.e. do you already have experience/contacts in the industry?

Phew, that's a lot of questions and I get it if you don't want to answer all of them. Thanks for your time and stopping by!
This very much depends on the stores location. When I lived close to a Costco in one of the fastest growing towns in the US it was like you described. Now that I live in a slightly faster growing city it's not so much of a menagerie and just more of an event.
>Specifically in the part that was formally verified

No, I am saying that is that it is easy to not verify something because you don't know the requirements up front.

>"making things safe by default" (what does that mean?)

It mean that complexity is abstracted away such that it is hard to the wrong thing.

>"abort when you're in a bad state" (how do you know you're in a "bad" state?

There are invariants which you can assume that are always true. If they aren't true for whatever reason you can abort and later track down what caused you to enter this state. It could be as simple as some logic bug or obscure as hardware malfunctioning and causing a bit flip (at scale you need to deal with hardware misbehaving).

>inconsistencies are often found in the original spec during the course of the proof process

Bugs are found in the process of testing too.
It's like gambling. You buy property knowing you can't control it's surroundings.

Edit: Unless you're a local politician or well-connected individual. Then you can change laws to preserve your property value like in the article.
That hasn't happened with Android, why would it happen with iOS?
I don't think Google has 90% of the world's search market share. In the west, I'd say that's about correct, but not in China. Baidu takes a big chunk of that and China has a large population. Unless a really small fraction of China uses search engines, I don't see how Google can be at 90% globally.

Edit: Apparently 840 million Chinese use search engines[0] and at least 70% use Baidu[1] which would be 588 million so something like 12% out of those 4.9 billion people. Not sure why the stats aren't reflecting the Chinese population when they claim to be global.

[0] https://www.statista.com/topics/1337/search-engines-in-china...

[1] https://www.statista.com/statistics/253340/market-share-of-s...
I'm in this boat. Movers came yesterday and our flight out of state is tomorrow. To answer one other poster, in my case I'm a programmer with a CS degree who's in the highest tax bracket. What I pay in taxes does not at all make up for the standard-/cost-of-living. We've been in SF for years and have a 3.5 year old daughter and a baby on the way. How anyone gets by with kids and without a lucrative job is beyond me. We pay $2,900/month just for preschool for my daughter. With two kids, it'd be $6,000/month (younger kids cost even more!). Where we're moving, it's $1,250/month and it even includes food. Everything is expensive here: food is expensive, rent is expensive, we have people literally smoking Fentanyl right out in front of our door. I'm not kidding, I actually need to get their attention so that I can even open the front gate. It's littered with trash and feces. Two days ago we were at a playground and there was a wide puddle of diarrhea in the play structure. I have to constantly tell my daughter not to touch ANYTHING. What kind of way is this to live, let alone raise a family? As I was siting outside guarding the open garage and moving truck, I literally got berated by a passing stranger for no reason and had to call the police for them to force him to move along since he was at it for almost 20 minutes and frequently coming into my garage.

"But you can't beat the weather" only goes so far. It's a shame. It's a beautiful state and a beautiful city, but to say it's going through a rough patch would be an understatement. I'm so excited to get out of here, but I do hope California can turn it around.
This guy knows his audience well. He answers the question of "but why?" in the first sentence:

> So I started making a browser engine (for fun) a few days ago, it felt kind of inevitable so here we are

And I got to admit, it is pretty neat.
Just as a side note, I worked for several ad agencies with art directors who did the same thing. We'd make the final ad, then screw it up intentionally and show it to the client so they'd spot the obvious flaws/mistakes, tell us to fix them, and then we'd give them what we'd already done.

It's not a strategy I use in my own work now, but it taught me something interesting about the psychology of clients. I think there are better ways to let them know they got their money's worth, like writing full explanations of your choices and thought processes. But intentionally sabotaging your first draft is definitely a well-worn method in the art and design world.
Multi-Modal Retrieval: GPT text embedding and CLIP image embedding
Seeing, hearing and smelling a nitro fuel car is a complete sensory overload. It's an amazing experience. I know that electric or some other thing is the future, but I seriously doubt that those things will ever be the visceral experience that is an 11,000HP nitro engine.
Exactly, agreed.

Antoine de Saint-exupéry had a similar way to put it: "It's the time you wasted on your rose that makes your rose so important"

I don't know why he chose that word, but I love that choice "waste" (perdre in original French). So telling.
https://flowchart.fun/ recently helped me very quickly draw flow charts to understand process of a system. Best thing was how intuitive and fast I could iterate over. And it allows custom css for styling which helped a lot. IMO for flow charts, this is so far the easiest / quickest text based diagram tool.
I really wish what ever cohort you are would stop giong on about 'higher density housing'. Thats not what people want, no one wants this. Do you think poor people want to be packed into even smaller denser boxes?

We need more houses, not high density apartment flats.
> the data is coerced

Seriously? And there I was thinking they actually fixed this mistake... they just made another schoolboy error.
> It is different, uniquely so, on linux: on most unices the kernel and libc are developed as two sides of an entire system, both being updated in lockstep when the system is updated.

Do FreeBSD [0] and NetBSD [1] not fall under "most unices"? They similarly retain backward compatibility in their syscall interface, so that old binaries with old libcs can run on newer kernels. Linux does not stand alone here.

[0] https://wiki.freebsd.org/AddingSyscalls#Backward_compatibily

[1] https://www.netbsd.org/docs/internals/en/chap-processes.html...
Clickbaity title; far more interesting article content though!

(The title made me think "Did Apple Silicon even ask Windows a question?".)
For sure. Tech debt can be much worse than the average manager realizes.

I thought it was worth pointing out that the described issue wasn't actually tech debt, though.
The almighty dollar is one hell of a motivator!
No, Texas really doesn't.

The article:

> Texas has produced more gigawatt-hours of electricity from renewable sources than any other state for several years running

That's an absolute number, and this is just another version of all heatmaps are just population maps[1].

If we look at percentage of energy from renewables … Texas lags the national average, and is way down the list. The top is Vermont.[2]

(They're not first in terms of per-capita, either, but I do wish that column was in the table. I don't exactly know where they are in the ranking, other than not first.)

[1]: https://xkcd.com/1138/

[2]: https://en.wikipedia.org/wiki/List_of_U.S._states_by_electri...
Housing is the key common factor linking cost of living, homelessness and the other issues. With more housing built, the problems diminish.
In the very long term (hundreds of years) it seems like it will really be optimal to have a single shared language for people of Earth to communicate with each other easily and effectively. Not sure how to balance this with the cultural value of language. But it just seems like it can't be helpful to understand people less well. Seems like translation is a stopgap on this journey. Also seems dangerous for AI to be intermediating all human communication – who knows how it might subtly adjust your words?
I would argue for mixed use of hazardous industries and residential/commercial properties. There is a long history of forcing the pollution generate through your daily life onto lower income communities. If you take a poop, the sewage treatment plant should be in your neighborhood. Drink water, the water treatment plant should be in your neighborhood, use electricity, electricity generation in your neighborhood.

In other words, don't force your crap on to somebody else.
As an American, who has spent time in a prison in Europe/Germany and was put in solitary confinement under 24/7 monitor supervision, I tend to disagree. The reason why I was put there: I claimed to be a US citizen and wanted to talk to my embassy. Since I don't know US prison, take my opinion with a grain of salt. But fuck Europe!
> Or, I hate to admit, AdBlock.

This is my primary use case and I'm not ashamed of it :)
https://archive.ph/RwqvZ if you want to read the article
A shadow of the former self
I prefer KeepassXC or host own bitwarden instance.
There are a host of problems with this. Record retention, searches, legal holds, space management.

O365 just handles all of this out of the box.
All sorts of biologically toxic materials are spewed into the air during demolition and industrial level building. Concrete dust alone is insanely bad to inhale. So, no, I wouldn't be happy for a placid field next to my life home to suddenly become a major development site overnight.
On linux the stable API and ABI that you are supposed to use is also just libc. But due to various reasons people think that the libc ABI is less stable than how stable it really is.

Edit: NT with its split OS API dll and separate libc is its own can of worms. You can have multiple instances of libc in the same address space, which among other things implies that you cannot safely malloc() in one module and free() in another, and don't even think about passing FILE* around.
So, you've created an LLM specifically for generating prompts for other LLMs? A meta-LLM?

That tickles my engineering receptors in a pleasing way (), but my financial side has questions. The most pressing: if this is successful and useful, why wouldn't the LLMs that you're targeting just replicate your creation and transparently put it between users and their own LLM?

In other words, what is your moat here?
> At some point you gotta draw some lines, and ownership (combined with reasonable zoning rules) is a pretty good line.

Well, that's what we used to have, to make it all work. You used to trust that if you bought in a neighborhood zoned "R-1", it would mostly stay "R-1" for at least a little while. (same for "PUD-3", and so on)

But "urbanists" started de-regulating all the reasonable zoning rules that made that system work, so now no one can trust that the rules would be enforced anymore, which is how you get random citizens reflexively fighting things (and the prevalence of HOAs, as an extra block against it, and so on)
yet one still feels compelled to ask... pretty neat indeed.
GitLab is a famous example
I'm going to speculate based on living in one of the places that's losing a lot (in very relative terms) of people to Arizona, utah, New Mexico and Idaho, (but conspicuously not to Oregon or Washington,) that this is in large part a generational effect instigated by the way California development has expanded in the past 50 years or so , with entire towns springing up within the space of 5 years around cheap residential RE development tracts.

a lot of these people who are moving originally bought a family home in a new ish (for the time, far-flung) suburb development 25 or 30 years ago for $125-$175k. all the kids have grown up and moved away and they are now selling the grossly inflated slap dash neo-Mediterranean stucco pastiche typical of this area at what they feel is the peak of the market within the curve of their lifetime. Because these giant housing tracts all sold and became occupied more or less simultaneously, everyone who moved in was in similar circumstances and raised families all around the same generational curve. It's no surprise that roughly a generation later we're seeing a surge of out-migration, even without the other factors.

most of these people are going move red states redder and California bluer by this move.
Ask HN: What software do you wish existed?
it could be website/app/extension/anything, but it must be something that even general people could use, it must not be some tool to build software, etc. Tell me something that every normal guy could use!
This just made me think... what would be really interesting would be a destructive, non-revocable writing app. You start with a giant pile of GPT garbage and just remove things.
That's how many people are leaving. How many people are coming in?
> Why is it up to a group of people who are all dead how tall a house I can build?

Same reason you don’t drive on the left side of the road: your beliefs are no match for the reality of the law.
Although most of Musk's cost savings have been as surgically-precise as Leatherface with DTs, Twitter did ink a very bad fixed-cost contract with GCP that left them with a lot of unused cloud capacity that was being overpaid for. Shutting down a data center likely left them with a lot of capitalized equipment that they could move GCP-hosted data processing to, and Musk isn't shy about exiting contracts, regardless of what the termination clauses might say.

In other words, a lot of these savings probably don't come from actual technical efficiencies, just getting out of a bad contracting situation and making use of a lot of already-acquired hardware.

(It's also likely that X/itter isn't in a position to make use of the kind of reporting and analytics infrastructure Twitter demanded, so they likely aren't losing much, business process-wise, in shutting that down.)
Is nobody going to talk about the I have no mouth, and I must scream looking Furby caged in their synth???
Eh it’s not the same thing. (I’m very full stack with intermittent devops/sre experience).

Full stack means you write code running on back end and front end. 99% of the time the code you write on the FE interfaces with your other code for the BE. It’s pretty coherent and feedback loops are similar.

Devops/SRE on the other hand is very different and I agree we shouldn’t expect software developers be mixing in SRE in their day to day. The skills, tools, mindset, feedback loop, and stress levels are too different.

If you’re not doing simple monoliths then you need a dedicated devops/SRE team.
I agree. It's pretty easy to bypass if you know a bit of Python, though.

Doing a search for "nsfw" in all subdirectories seems to turn up all the files you need to edit.
> Your reasoning isn't scoped to that, though.

Yes, it was! The context was very clearly piracy.

> If you want to be more specific, then say things that aren't so easily countered.

Nah. Context was clear. You simply have no argument and made an argument in bad faith.

In any event, now that you do understand the context, surely you have a counter? Or did those MPAA commercials not provide you your next line?
My issues with Octal are that it doesn’t show my reply immediately after posting and worse: it always throws an error when I edit my replies even though the edit worked in the background. It also collapses double spacing on edit sometimes.

It’s a pretty bad app unless you’re just reading. I assume the developer never touched it again after deploying it which wouldn’t be an issue if you didn’t have to pay to unlock comment writing (its worst implemented feature).
Some of this is negated if manufacturers just sell plug in hybrids with tiny range-extending generators.

But mostly they are not, and that is particularly perplexing to me. Is there some kind of stigma against anything but a pure EV?
But what will you do when you only have 2 good Thai restaurants to choose from in your immediate area, instead of 5??
I don't think it's working for me (none of the keybinds work, and I don't see the fps counter). Brave, script-blocking disabled.
A corollary to your story, from my partner who started as Payroll at a university and now is the Accounting Manager, reporting to the Financial Controller.

> prop up ever increasing administrative bodies (whose salaries have often grown disproportionately compared to academic staff).

Over the four years she has been there, faculty have received 3 3-5% annual raises. Staff have received ... 1 1% raise.

Faculty and staff were allowed to start working remotely where appropriate during COVID, or "expand the use of a home office".

Faculty got a $7,000 stipend to "set up a home office". Staff got ... nothing.

Faculty also lobbied for "increasing flexibility for students" by "offering all classes all terms", regardless of enrollment. In practice, this has lead to numerous professors and adjuncts getting paid for teaching a class that often has 2 or even 1 student enrolled.

> As examples, as an academic if you spend money e.g. when travelling for a conference you have to keep the receipts to justify spending (no issue with that). After you had to fill out the accounting categorisation fields for every $ you spend, scan the receipts and send the originals and the scanned receipts plus some form that had to be filled in online but also printed (finance couldn't print apparently) to finance. The spending had the to be approved by at least one other academic (head of lab, school or faculty). A friend was made to write a statuary declaration I front of a justice of the peace, because a $6 receipt from subway didn't say it was a sandwich.

And the counter to this is how for many departments getting hold of their company card statements is like pulling teeth. They just try to tell Finance "just pay the bill, thanks". And then audits find faculty paying for flights for their partners on the university card... or first class upgrades... or very liquid lunches.

In fact, the university recently found themselves in a near 8 digit budget deficit, with every department overrunning. And then faculty tried to throw Finance under the bus - "How could this happen?"

Finance's answer - "Because your departments generally refuse to do purchase orders and an approval process. The first time we hear of most of your expenses is when you hand us an invoice and say 'we bought something, please pay for it'". It also ignores the reality that for the most part, Finance is a facilitator, not an arbitrator. Faculty are adults - if they're given a budget (which they largely come up with themselves), then stick to it.

Things easily go both ways.
The inevitable question then: Can you run this browser engine within itself, and if so, how many layers deep can you get before the universe implodes?
If you are okay with made-up answers, then you don't even need to use Google to begin with.
That is just not true. I want to (and do) live in high density housing and I would not be considered poor.
> combined with reasonable zoning rules

That's the point though isn't it? People who buy into areas that are zoned SFH do that because they want to live somewhere with that level of density. Rezoning and increasing density is a rugpull with both intangible and direct economic harms.
Crowdstrike's engineering department was/is mostly Remote
> However, the exodus from the state worsened, with a net of 407,000 residents leaving for other states between July 2021 and July 2022, according to the study.

When you subtract the number coming in from the number leaving, you get a net of 400k leaving.
Google's new AI learns by baking tasty machine learning cookies (2017)
Take any existing software, and remove whatever part of it that benefits the owner of the software at the expense of the user.
Urban areas/big cities in the country (including the ones in California) attract a lot of people from all over the country for decades, why didn't everyone bring their voting preferences with them to the cities from where ever they came?
> It doesn't matter what the cook thinks.

This is the fantasy of GenAI boosters stated concisely - that these statistical methods present a new objectivity that avoids the shortcomings of human subjectivity.
Of course, these web-scraped models are distilled subjectivity in aggregate, subjectivity at scale.
ChatGPT is made of people!
Did you click the demo?

The linked page has a screenshot of the engine. You have to click through to get the full viewport experience (with keybindings).