Piero Bosio Social Web Site Personale

Anyone know if there's a proof-validsted parser combinator for Rust, a la Hammer? Bonus points if it can work in a no_std context.

I'll take a break from the politics now for a brief word from our sponsors:

If you're a startup beginning your security journey and you're interested in help building a security program — not just from a technical security architecture perspective but also in terms of structure, hiring, and governance, I've got some availability right now. Over the past eight years, I've helped fourteen companies start their security journeys or validate their strategy, and I'm looking forward to a few more.

"I've always really enjoyed our discussions - focused and properly able to get into the details, but always pragmatic and able to keep it light, which not all leaders manage very well."

"Because of your work and the confidence it gave our investors, we were able to add another $150 million to our existing $300 million funding round."

@suzannealdrich
The infrastructure needed to keep these machines happy is nontrivial. Each single server hosting eight graphics cards is north of a half million new, so even at ten cents on the dollar they're the cost of a new car and they're mostly designed to be used in clusters of at least eight and generally more like 64. They only have boot drives in the machine, if that, so you need an external storage server. The network cables they use run $600 for 3m. The switches run into the six figures too. The new hardware is designed for rack scale water cooling, so you're going to need to build a car-sized heat exchanger unless you want to literally just run all the faucets in your house wide open all day. And a half rack is still going to draw at least ten times what the entire rest of your house does.
@cstross