mariposa

You can also take a 10min Lyft to the Mariposa MetroC and take trains all the way to downtown.

What happens when the equivalent of the Mariposa botnet, but this time for autonomous cars, roots 12 million of autonomous cars?

Anyway, Mariposa looks like a step in the right direction -- and really cool!

It's like trying to calculate the Butterfly Effect during winter at the Reserva de la Biosfera Mariposa Monarca (Monarch Butterfly Biosphere Reserve).

I'd like to take a moment to appreciate the languages like Mariposa that immediately show me the syntax examples.

Most are now out at the Mariposa Land Trust just north of town.

The company had collaborated with Microsoft’s anti-piracy group, and it also worked on the takedown of the Mariposa botnet, which was dismantled in 2010.

I've had a HMG 3400 SW and my wife a Gossamer Gear Mariposa for 6 years.

The incident was on sep 4, 2023, at just about exactly 4pm, in San Francisco around potrero hill, perhaps Mariposa street.

> Semantics and correctness of implementation It is not obvious how the Mariposa language could be given a formal semantics.

Does Mariposa attempt any garbage collection?

Yay, have fun debugging Mariposa programs!

It's only legal for each `now` to be consumed by at-most one `at` form, so at that point you'd just be re-implementing the "timeline" and "instant" system from mariposa.

By '95 Stonebreaker's lab was already working on a new distributed Postgres called Mariposa.

I moved back to SF in 2021 after living outside Yosemite (in Mariposa) for a year.

There was a lot of talk about the Latino community being displaced by dotcom types, about Marina yuppies taking over the nightlife—at places like Blowfish Sushi, plus a somehow slightly creepy experiment called Circadia [3] that Starbucks ran at Bryant and Mariposa, which was an emblem of dotcom excess.