baby

I don't think they value displaying nationalism more, nationalists tend to be very vocal and visible, it's just that the US is full of nationalists. It really is the biggest issue with the US, and why the orange man is president.

If the current events don't make you think it's not nationalism, then I'm wondering what nationalism even is

Make America Great Again!

The US is weird about its flag, I think because nationalism wasn't seen as a bad thing up until recently. These days it's much weirder to see an American flag, and usually you know it has something to do with MAGAs. The weird thing to me is how you see one massive one in the luggage retrieval area when you arrive in JFK (in New York). Always makes me sigh

Apple reigns because you can't buy Chinese brands in the US

I heard that when some country wants to pay in a different currency than USD for oil, a coup suddenly happens, or a helicopter comes and the president gets kidnapped

EVs, mobile phones, are two massive industries where Chinese competitors are not only way ahead, but also basically banned.

I can't read this seriously while being unable to buy any Chinese EVs here in the US.

I've owned a bunch of gopros and I feel like they've always had the same kind of bugs. Random crashes, things not working anymore. It's really bad, so bad that I had plenty of videos that were missing sound, or just corruption in general.

Then they started this subscription thing and I was like, finally, they're going the SaaS way, they will make so much money, and they will be able to improve that camera that basically never seems to improve much version after version. I bought a bunch of put options, and I lost all my money, every time I put back some in the put options.

Now I have the insta360 go ultra and... I think go pro is going to die. It's just so good.

if you're running in YOLO mode you already don't care, what matters are the tool calls and these can't be encrypted

I've been very curious about these, because of course these are measures that are anti-tech in a number of ways (or at least unpopular in the tech circle).

I have trouble understanding why Sanders has decided to be vocal about these, especially as he's been on the right side of the societal debate fence since forever. My guess is that he cares more about what AI is going to do for the common people, and he knows that we need to have this debate early (obviously, technology seems to increase disparity in places like the US). But still I'm not sure he's taking a stab at it in the right way.

For New York state (not city, no Mamdani), it seems like it's a much more pragmatic view: it increases people's costs (energy, water, etc.) and there's too much tax exemption(/evasion) for data centers currently.

You’re wrong. The execution failed because it was backed by (white supremacist) ideology. COGE is a new attempt at the idea taking place in New York, and much better orchestrated.

We really need a real facebook app again, something we only use with close friends or people we meet irl to become friends

Whatsapp, that’s the one everyone uses

I find Rust more readable than zig

I work on www.zkao.io so I can expand on this: it's basically like an audit, you click a button and ~9h later you get a report with findings. It's supposed to be better at finding bugs (especially cryptographic bugs) than frontier models AND it's supposed to be better at discarding false positives.

fixed!

they're the same, arithmetic circuits are just made out of addition and multiplication gates. They're used all over the place in programmable cryptography (ZKP, FHE, MPC)

It might not be super clear for people who don't know about formal verification with Lean or about arithmetic circuits, but this project let's you optimize code in a secure way: if you have code that's faster, not only you have a proof that it is indeed faster, but you also have a proof that it is correct and secure by construction!

It's important that the circuits implement the logic "securely" because arithmetic circuits are used in cryptography (in ZKP, MPC, FHE, for example) to implement programs with additions and multiplications (instead of NAND gates for example)

I'm racing to be the first submission, amazing project :)

There are different ways to think about this:

1. Imagine what the protocol would look like without privacy (zk allows you to “sign” a computation, so just do the computation in the clear)

2. Imagine what the protocol would look like by revealing a hash of the passport only (the idea of a “nullifier”, a unique identifier that hides the data and and can be revealed to prevent replays)

The first one should already answer your question: the way you would prevent replays or portability (I use your proof) is to attach some sort of session context to your proof

I let the soup in.

Tried playing split fiction on the switch 2 and it was so horrible I haven’t played anything since then. I’m picking it up again today for starfox but basically only use it for nintendo games.

Sounds like you never tried the deck and the switch. So many games are unplayable on the switch besides nintendo official games. I dropped split fiction because it ran so horribly on the switch

Remittances is the other interesting one and why libra/diem was even on the table.

I was trying to send some money to my parents the other day and it’s still slow and expensive.

The deck is such a good console compared to the switch and switch 2 that I can’t be stop being happy that they released this now. How is Valve, a tiny company, doing so much better than Nintendo?

Lefty tenant here. I def. stopped paying my rent a few times until my landlord fixed their shit or agreed to stop scamming me.

Last time I did it I signed a lease for a year, with 2 months of advance notice if I decided to leave (in the UK). I told them 2 months before the end of my lease, and they told me I had to wait for the end of my lease, then wait 2 months, and then I could be out.

I just stopped paying rent, and left them a horrible one star review on gmaps.

One day he showed up at my place (with soup who was coming to fix something) and tried to enter. I told him to stay out. And then he started crying and telling me how I could not just stop paying rent. I could tell how hard it was to be a small landlord.

I told him that I would resume paying if they signed smthg to agree to let me break the lease at the year end AND reimburse me the fees that appeared at the least minute, a year ago, right as I was signing the lease in front of them.

They agreed, reimbursed me my caution/deposit at the end, easy.

Would recommend just stop paying your rent if anything ever happens. I would do it again.

Am I paranoid or does this comment feels like what an LLM would write to imitate an HN comment?

Our experience has been that without a good harness you don't really get much out of codex/claude. And you really need to spend time and energy figuring out why coding agents can't find bugs like you can.

Every week I see bugs (as an auditor) that our own harness (https://zkao.io/) can't find, and we have to figure out pretty interesting techniques in order to make the tool find them. Mind you I'm talking mostly about cryptographic vulnerabilities, not just webapp bugs. So IMO it's going to make a lot of sense for companies to have both their own harness (as tptacek is talking about) and pay for services that focus on making a good harness from experience (and audit firms are going to be the best at doing this, as they see a lot of bugs and can spend time "teaching" their harness about these bugs)

On the other hand, you have to find equally as good techniques to triage, because otherwise you just have some machinery that I call "vibe auditing" that just produces enough false positives to tire all the developers (who are already overwhelmed with crappy AI submissions in bugbounties and other AI tool that review all of their PRs).

At the end of the day, when your harness doesn't return any bug, you're left wondering "does it mean there's no bugs?" We're basically back in this reputation game, where you want to use the best tool, or the best team (that knows what the best tools are), and need to figure out which one is.

I would recommend the book over it