Viewing profile — glittershark

it looks like there's a recording linked at the end of the post

there are plenty of people with commit bits (me included) who don't reside in Russia, and would (I hope) be pretty alert to the Russian state coercing tazjin (the only committer cu…

The benchmarking harness that the post uses is based on criterion

a 10% drop in performance with bounds checks removed , mind you - so if anything the bounds checks are improving performance.

there's a cheeky link to idris's vector type in the second paragraph: https://www.idris-lang.org/docs/idris2/current/base_docs/doc... which accomplishes just that

We've thought about that, actually! We have an experimental mode where multiple copies of the same query can be created (actually just multiple copies of the leaf node in the dataf…

the remaining 10% of the 90%-off free lunch is pretty much just eventual consistency - it can occasionally be the case that you write something to the DB, and an immediate subseque…

yeah, I picked Box mostly as a pedagogical instance of the identity functor that already exists in the stdlib - in the real world you'd definitely want `struct Identity (F)` instea…

that seems like something that would only really work with a type system that's as structural as TS (vs rust, which is very nominal)

yes! once you use it you start wanting it everywhere, which is a big part of why I wish I could do it in Rust

I think it probably falls more into the category of removing a restriction rather than a new feature, but I'm still waiting on HKTs - not for traits (as a former die-hard haskeller…

Pretty sure this paper describes what they're doing now: https://research.fb.com/publications/flighttracker-consisten...

Not a lawyer (ironically) but afaik there are all sorts of laws governing an attorney-client relationship, and it's possible to implicitly enter into such a relationship by giving …

Or you could just call it what it is: a monad

Having a custom plugin architecture for this is a total dealbreaker. We already have statsd, why not just use that?

They really have been on a roll with the new features since the Dear Github letter happened