xrisk

You can dump iterm2s config into a file and sync it to other machines.

Granted it’s not meant to be edited directly but rather via the GUI, but yeah it’s possible to persist it if you want.

Can you give some context on how using Lean benefits?

In my understanding, proofs are usually harder to transcribe into Lean which is nobody _writes_ proofs using Lean.

What is a nlinarith?

Lean is just the language, Presumably to drive the AI towards the program (“the proof”)

Seems like a tmux that’s configured out-of-the-box. Neat.

The same Wikipedia article notes that the increase in median income is due to increasing women’s wages and increased participation of women in the labor force.

> While wages for women have increased greatly, median earnings of male wage earners have remained stagnant since the late 1970s. Household income, however, has risen due to the increasing number of households with more than one income earner and women's increased presence in the labor force.

It seems that the Apple intelligence stuff will be 15 Pro. Man, I just bought a 15 ~8 months ago. That really sucks.

Didn’t Gödel show that in most useful logical systems there are true statements that cannot be proved?

Huh I’m glad I have AirPods, they work perfectly in this scenario. One of those Apple ecosystem things I guess.

That… seems excessive. Is it just security theater or actually useful somehow?

I’d rather have browser vendors responsible for a correct implementation. This seems like a rather nuanced feature.

Obfs4 is what you need

What’s the current relationship of the project with DE Shaw and how did you end up making a company on top of this?

Might be iCloud private relay if you use that

You can’t even view the tweet if you have iCloud private relay turned on

Is that because they don’t use a bot to auto-close issues like a lot of other projects?

What’s your QPS like and what’s the value-add over running it on something like EC2? (or AppEngine etc if you want something more managed?)

Just spent a great half-hour going through your blog. Great work! :)

Curious: outside of people who take lots of high res video, what do people need high-speed USB C for?

How do you know there’s no search involved?

Definitely, but treating fen positions as tokens isn’t going to work, you need something smaller, something you can decompose into. What that is I don’t know.

There are far too many possible positions aka tokens for this to be feasible.

I’m pretty sure you can write a simple tree search based program that plays better than 90% of humans, sheerly by crunching numbers quickly. I’m sure you wouldn’t claim that that program “understands” chess in the way a human does.

Of course it’s a different question as to how exactly do humans understand chess.

I personally don’t believe humans have some sort of “special” intelligence, whatever we do must be computable and therefore doable by a computer. It’s just that todays LLMs don’t seem to be it.

Well that’s the point, UPI is literally interoperable and you can use any app you want and it just works. It’s not Indian’s fault that there is no such standard worldwide.

Look ma! They reinvented Freenet

I wanted to use this but the privacy policy doesn’t give me much confidence. Are you going to be storing my prompts (and then later using it for training)? Medical data, especially mental health data, is pretty sensitive.

put your private key in something like Secretive: https://github.com/maxgoedjen/secretive

Imagine all these games on an Apple TV… I’m assuming at some point those will also start using M chips. Excited to see if apple can enter the console market.

This TechCrunch review where the reviewer had access to them says that the issues with headaches/nausea don’t happen: https://techcrunch.com/2023/06/05/first-impressions-yes-appl...

did you even read the article? it describes why this is a bad idea — it’s not just your server that’s handling the request, it’s all the other middleboxes in between.

How do you achieve deduplication with S3?