mlavrent

5 ms·

1.
by mlavrent 5mo ago
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 on insider info is the whole point of these markets is it n
2.
by mlavrent 9mo ago
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 these type systems. But, languages like Racket don’t have t
3.
by mlavrent 10mo ago
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 immature enough that the general feedback you’d always have is “thi
4.
by mlavrent 10mo ago
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 different- at Microsoft, they had started penalizing you in perf
5.
by mlavrent 11mo ago
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).
6.
by mlavrent 1y ago
> 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 is that in dense cities, transporting everyone where the
7.
by mlavrent 2y ago
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 to 4 containers into the space of one f
8.
by mlavrent 2y ago
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/the-key-to-slow...
9.
by mlavrent 2y ago
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 weighs a lot) because of the sloped hood design. Do I prefe
10.
by mlavrent 2y ago
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.brown.edu/
11.
by mlavrent 2y ago
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 specifications is a pretty active area of research (a simpler problem
12.
by mlavrent 2y ago
Other common modes of transport that lack fixed schedule, route, or stops: - biking - micromobility (scooter-share, etc.) - walking - dial-a-ride transit options
13.
Transfinite Meta-Posting (part 1)(asvarga.github.io)
1 points by mlavrent 2y ago|0 comments
14.
Fair Chess and Simultaneous Games(asvarga.github.io)
70 points by mlavrent 2y ago|44 comments
15.
by mlavrent 2y ago
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 at Spotify adds another layer to the usage patterns, namely
16.
by mlavrent 2y ago
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 developer to build more parking they potentially
17.
by mlavrent 2y ago
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 needed to in person in other states, but now ballot
18.
by mlavrent 2y ago
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 produce, we could also consider only levying the sales tax on p
19.
by mlavrent 2y ago
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 need to begin shouldering at least some of the costs they i
20.
by mlavrent 2y ago
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 programs and see if the generated code is the
21.
by mlavrent 2y ago
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 other diff tools when I don’t have difft available :). I am cur
22.
by mlavrent 3y ago
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 (single character!) PRs have to wait for several days be