Viewing profile — sdboyer

I'd say all of these problems have answers in CUE. > I want to be able to write a "generic environment" module for each application and then parameterize it accordingly for each en…

Cannot +1 this hard enough. It is the kernel from which all other useful things flow.

If this is the sense in which the comment is intended - CUE is capable of some kinds of computation. It's just not Turing complete. My 2c - thus far, i've found the language featur…

It's not necessarily easy to see, just from general descriptions of CUE, what's possible. Dagger was demo'd at the recent Dockercon - gives a bit more of a sense of the possible wi…

> real language In what sense is CUE not a real language?

> you'll be able to serialize dashboards to Cue schema It'll be possible to serialize/represent the dashboards in CUE. Here's a handwavy, pseudocode-y example i use in the talk: ht…

Very excited to see someone doing this! Right now, Grafana is [planned to] relying on an anemic CUE->Typescript translator for getting its schema to the frontend - https://github.c…

CUE is currently centered around its CLI, but AIUI, that's not the long-term goal. i read in some CUE issue somewhere that the goal is shifting towards enabling frameworks rather t…

re: Grafana (i'm the author of the linked issue) - i'm quite excited, i do think there's a world of possibilities here. Two-way sync with a git repo is one possible path, and we've…

in a post-dep world, this won't matter anymore. dep strips vendor directories out of any dependencies it pulls in.

sadly, gb is one of the extant systems i haven't had a ton of time to explore. but... i guess the analogue to what you're describing would be 1. 2. `dep ensure` 3. `git commit -am …

shit, if there were an actual company with real use for Merovingian numismatics, i would work there in a heartbeat

Force pushes - by far more common than straight-up repository removal - are handled without problem; we let you stick with your old version. (At least, that's how it should be - th…

yeah, this is one of the main pain points there. the reason it's so difficult to solve in glide is intrinsically tied to the engine glide uses for version selection - otherwise we'…

indeed, we've talked with them quite a bit :)

nix/guix was not ignored. There are a host of other reasons that we could happily debate for years (no thanks), but bottom line: you can't use it everywhere you can write/compile G…

it is, and works well enough for individuals, but doesn't make for the friendliest ecosystem.

dep mgmt, at least, is poised to improve a lot in the coming months. we've got growing consensus around some metadata files, and i'm nearly done with my SAT solver (github.com/sdbo…

> and then be able to compose the things you’ve proved separately This has always struck me as the really challenging, problematic part about correctness proofs. I've no formal tra…

> Language package managers are good for quickly sharing code written purely in that language with other developers, but unacceptable for anything else. Right, so, what almost all …

A community, gaslit by years of poor tooling, IMO

> What Nix/Guix are not doing is reducing the burden of specification. You write down all the details of a very specific, reproducible software stack, but you do not make that soft…