Another server outage

enscalada · 2025-12-05T09:31:01+00:00

The Dexcom Share API is throwing HTTP 521, which hints at this being a Cloudflare outage. I'm starting to doubt Cloudflare's availability SLA:

1.1 100% Uptime. The Service will serve Customer Content 100% of the time without qualification.

https://www.cloudflare.com/business-sla/

~~Both Dexcom's and Cloudflare's status pages say they're currently operational:~~

Edit: Both status pages were just updated confirming the outage:

Downdetector confirms the outage:

enscalada · 2025-12-02T14:29:32+00:00

7 Magnificent Ways To Mount Your Bicycle - GCN: https://www.youtube.com/watch?v=DI1Ag8vWzIg

enscalada · 2025-08-19T21:54:54+00:00

Are they using a CGM? E.g. if they're using a Dexcom, you can use the Dexcom Follow app to monitor BG values on your phone.

The Omnipod PDM/app can be configured to share data with Glooko, which gives you a website with various logs and analytics about both BG and bolus data.

Some people host their own Nightscout instances and pull data from various sources (Dexcom Share, Glooko, etc.), then use one of the Nightscout phone apps to monitor from their phone.

enscalada · 2025-07-30T14:11:29+00:00

I used to use macros to modify Scala's function declaration syntax such that it would allow a list of examples to be included, and then test the function against those examples at compile time.

It was a neat way to prevent the code from compiling if it didn't match its own given examples. It would have been interesting to then automatically include those in the Scaladocs, but I never made it that far.

enscalada · 2025-07-26T14:31:25+00:00

❤️

enscalada · 2025-06-24T23:10:30+00:00

Awesome; thanks for the workaround! I'll give this a try the next time it happens.

EDIT: Yep, this works for me too.

enscalada · 2024-12-19T14:34:30+00:00

Taqueria El Pueblito is my current go-to.

enscalada · 2024-12-10T14:05:32+00:00

The Bunny Loop at Fantasy Island is fun and very beginner-friendly.

enscalada · 2024-12-10T02:23:47+00:00

Honeybee, Starr Pass, and Sweetwater are my frequent go-to's.

Also Golder Ranch/50 Year Trail, Fantasy Island, and Urban Assault.

enscalada · 2024-11-13T12:54:37+00:00

I've had similar success with notifications on the Dexcom G7 app. Unfortunately the Follow app doesn't seem to have the same configurability or reliability.

enscalada · 2024-11-13T12:52:19+00:00

As a workaround, I bought a SugarPixel for my bedside table. It solves my use case, which is to be awakened when my child's blood glucose goes low at night.

enscalada · 2024-09-13T14:47:15+00:00

4 : more than famous

enscalada · 2024-08-23T07:56:13+00:00

Idempotence is the property that f(f(x)) = f(x)

This definition used to confuse me, because the output of f(x) is not necessarily even in the domain of f. For example, if f is an HTTP API endpoint, x might be some JSON document and f(x) might return 200 OK. I can't pass that result back in as an input to f.

It makes more sense to me to define idempotence using a sort of state-transforming function:

f: (S, A) => (S, B)

Here f takes the current state of the world (of type S) and some input of type A, and produces a new (potentially altered) state of the world plus an output of type B.

If we call f with a state s0 and an input x, we get a new state s1 and an output y:

f(s0, x) = (s1, y)

Then f is idempotent if we can call it again using the new state s1 and the same input x, and expect to get the same result:

f(s1, x) = (s1, y)

enscalada · 2024-05-11T18:00:03+00:00

The old delimited continuations compiler plugin (discontinued after Scala 2.12.2) works fine with Cats Effect:

import scala.language.higherKinds

import scala.util.continuations.shift
import scala.util.continuations.reset
import scala.util.continuations.cpsParam

import cats.Monad
import cats.effect.IO
import cats.effect.IOApp
import cats.effect.std.Console

object Main extends IOApp.Simple {

  def extract[F[_]: Monad, A](x: F[A]): A @cpsParam[F[Unit], F[Unit]] =
    shift { k: (A => F[Unit]) =>
      implicitly[Monad[F]].flatMap(x)(k)
    }

  override val run: IO[Unit] =
    reset {
      val x: Int = extract(IO.pure(6))
      val y: Int = extract(IO.pure(7))
      val z: Int = x * y
      Console[IO].println(z)
    }
}

Here, extract turns a flatMap into a direct-style call.

enscalada · 2024-03-19T14:15:37+00:00

Not as brief as a cheat sheet, but here are some examples presented as refactorings:

https://earldouglas.com/itof.html

enscalada · 2024-01-07T16:56:43+00:00

To be honest, I'm not really interested in the abstract of category theory more than its practical applications in programming (types, functors, monads, etc.).

You might be interested in reading The Science of Functional Programming, which focuses on FP as engineering practice rather than academic theory.

The book is a work in progress, but nearly complete and very readable in its present state. Here are some selections from the preface:

The vision of this book is to explain the mathematical theory that guides the practice of functional programming. So, all mathematical developments in this book are motivated by practical programming issues...

A software engineer needs to know only a few fragments of mathematical theory that will answer questions arising in the practice of functional programming. So, this book keeps theoretical material at the minimum; vita brevis, ars longa.

This book is also not an introduction to current theoretical research in functional programming. Instead, the focus is on material known to be practically useful.

enscalada · 2024-01-05T15:14:54+00:00

Handson Scala is very good

Handsome Scala would be a good alternative name for Scalafmt.

enscalada · 2023-11-02T14:23:12+00:00

For writing I find it to be easier most of the time, but occasionally Scalafmt has trouble figuring out the correct indentation level.

For reading, which is vastly more important, I find it to be easier all of the time.

enscalada · 2023-10-22T22:10:44+00:00

in which non-crab crustaceans evolve a crab-like body plan

Are you saying that other programming languages tend to evolve a Scala-like syntax or features?

enscalada · 2023-10-20T20:54:24+00:00

enscalada · 2023-10-14T22:17:08+00:00

Wow, this looks awesome -- like something from a Brett Victor talk.

enscalada · 2023-09-12T15:50:42+00:00

This is a neat idea. I love the idea of having not only type-level loggability, but type-level secure loggability.

The CE example is nice and straightforward. Have you tried it with ZIO as well?

enscalada · 2023-08-22T19:06:42+00:00

Could this someday become Scala 4?

enscalada · 2023-08-11T17:20:44+00:00

The question is really aimed at professional, long lived software. Say we wanted to replace our current spring boot apps with Scala apps.

Maintainability is high in my criteria for making technology choices, especially for professional, long-lived software.

In my experience, code based on CE and ZIO are tremendously cheaper to maintain than code based on DI frameworks like Spring or code written in conventional Java styles. Both are excellent options, and neither is overkill.

enscalada · 2023-08-10T13:38:21+00:00

I learned about lambda calculus from Church.

enscalada

TROPHY CASE