Viewing profile — mlavrent

I’m sort of confused on what prediction markets are going for? Polymarket here said they referred this to the DoJ and are trying to catch users using such insider info, but trading…

This article seems to conflate strong type systems with functional programming, except in point 8. It makes sense why- OCaml and Haskell are functional and were early proponents of…

They do actually build internal tooling! They key is that it’s actually good enough that feedback to the limited, targeted, and quickly actionable. Microsoft’s internal was immatur…

I was at Microsoft until July of this year until I left for an SF-based company (not AI though). The difference between the two with regards to AI tool usage couldn’t be more diffe…

The only ones I can really think of are the cloud providers themselves- I was at Microsoft, and absolutely everything was in-house (often to our detriment).

> it exposes that it really was never about emissions or combustion or pollution, you either wanted to control people’s freedom of movement This isn’t the problem- the real problem…

But it can often do so more efficiently than just carrying one container at a time when they're empty - see this company that's solving the "return container" problem by folding up…

Counter-intuitively, yes, in fact. See the great article from Strong Towns, which does a lot of advocacy around building healthy towns: https://www.strongtowns.org/journal/2021/8/6…

To be honest, while I’m not a Tesla fanboy, I don’t think the Cybertruck deserves this hate- as a cyclist I feel worlds safer near a Cybertruck than eg an F150 (though it of course…

The Brown CS curriculum has in the past few years started including “socially responsible computing” material across intro and non-intro level courses. See https://responsible.cs.b…

This is not quite right - a specification is not equivalent to writing software, and the code generator is not just a compiler - in fact, generating implementations from specificat…

Other common modes of transport that lack fixed schedule, route, or stops: - biking - micromobility (scooter-share, etc.) - walking - dial-a-ride transit options

In my current role, we currently have to think about things like holidays across the world to understand if usage patterns are low due to issues or just holidays. Being an engineer…

There's a difference between parking mandates versus parking built at the developer's discretion. Parking mandates (what the article talks about) are onerous because they force the…

Since moving to Washington, I've discovered just how easy voting can be, and how we can drive voter participation (oh, if only that's what everyone wanted). I always voted when I n…

The issues with this argument is that pedestrians, transit-users, and cyclists also pay the same sales tax. So if the goal is to have drivers take ownership over the costs they pro…

This is the right thing to do - it makes drivers pay for the externalities they produce (including pollution, congestion, noise). When a city grows as big as Manhattan has, drivers…

Sorry, I should've been clearer. I'm interested if there's any tool that does this kind of thing statically, without running the code. I guess a simple approach is to compile both …

I’m almost not sure why tools like git don’t ship with this as default. Been using difft for about a year now, and my main complaint is that it makes it hard to go back and use oth…

I agree in general that there needs to be at least some level of review (typos, etc.), not necesssarily to catch big but subtle issues. On the other hand, I've had it where small (…