profile
viewpoint
Eric Bailey yurrriq @sportradar Minneapolis, MN https://blorg.ericb.me Highly functional yak stylist, {HoT,PL}T enthusiast, Clojurian, Erlanger, Lisper, Kubernaut, Nix user, comic book reader, linguaphile, musician, philomath, &c.

helm/charts 14377

Curated applications for Kubernetes

funcool/cats 851

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

idris-hackers/software-foundations 366

Software Foundations in Idris

deadtrickster/beam-dashboards 226

BEAM :heart: Prometheus :heart: Grafana

clojang/clojang 54

Clojure API for Erlang/OTP Communications (built on jiface)

deadtrickster/smerl 18

Simple Metaprogramming for Erlang

deadtrickster/slackin.ex 6

Slackin in Elixir. Demo:

deadtrickster/erlang-template 3

My Erlang app/library template

elli-lib/elli_cloudfront 2

Elli middleware to manage CloudFront signed cookies.

elli-lib/elli_cookie 2

HTTP Cookie utility for the elli Erlang web server

startedcachix/cachix-action

started time in 4 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 4be425591c7ccffb489c0e8eddccb5ecba6a214c

git: pull.ff=only

view details

Eric Bailey

commit sha 49a3c3b95334f91692f08299ccffc51c407640db

nixos-hardware: f2b06f53 -> 684eaddf

view details

Eric Bailey

commit sha 19706b56283b20d70f5655fb53afb992120d9ccf

nixpkgs: 4bd1938e -> 252bfe01

view details

Eric Bailey

commit sha 34194100dd69956a3212dbc1366fd1a3f8f54dcc

nixpkgs-unstable: f53e1d6b -> c80258af

view details

Eric Bailey

commit sha fd2b0778203138ff6795031c096b442192237020

nur: 9a1be595 -> c55c90f3

view details

Eric Bailey

commit sha cd69d231b6c50255fe98256408e9862bda1ea7a4

Bump the patch version

view details

push time in 5 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 4be425591c7ccffb489c0e8eddccb5ecba6a214c

git: pull.ff=only

view details

Eric Bailey

commit sha 49a3c3b95334f91692f08299ccffc51c407640db

nixos-hardware: f2b06f53 -> 684eaddf

view details

Eric Bailey

commit sha 19706b56283b20d70f5655fb53afb992120d9ccf

nixpkgs: 4bd1938e -> 252bfe01

view details

Eric Bailey

commit sha 34194100dd69956a3212dbc1366fd1a3f8f54dcc

nixpkgs-unstable: f53e1d6b -> c80258af

view details

Eric Bailey

commit sha fd2b0778203138ff6795031c096b442192237020

nur: 9a1be595 -> c55c90f3

view details

Eric Bailey

commit sha cd69d231b6c50255fe98256408e9862bda1ea7a4

Bump the patch version

view details

push time in 5 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 89b6e6a860f76e513bbe878662587a2eb17dd31f

nixos-hardware: 984c72f6 -> f2b06f53

view details

Eric Bailey

commit sha eb732c2608bd859c5f6b885edbf9fec873642145

niv: 89ae775e -> dd13098d

view details

Eric Bailey

commit sha 9130a299ec2e19f5e0bd0f18b66fd217e90517c6

nixpkgs: feff2fa6 -> 4bd1938e

view details

Eric Bailey

commit sha f5df5e824940c4919cec880c9809a6fa43e42ef9

nixpkgs-unstable: f9990892 -> f53e1d6b

view details

Eric Bailey

commit sha 3c614b4572fae3160e0accd081fc3a07053ed942

nur: 7fe99458 -> 9a1be595

view details

push time in 7 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 89b6e6a860f76e513bbe878662587a2eb17dd31f

nixos-hardware: 984c72f6 -> f2b06f53

view details

Eric Bailey

commit sha eb732c2608bd859c5f6b885edbf9fec873642145

niv: 89ae775e -> dd13098d

view details

Eric Bailey

commit sha 9130a299ec2e19f5e0bd0f18b66fd217e90517c6

nixpkgs: feff2fa6 -> 4bd1938e

view details

Eric Bailey

commit sha f5df5e824940c4919cec880c9809a6fa43e42ef9

nixpkgs-unstable: f9990892 -> f53e1d6b

view details

Eric Bailey

commit sha 3c614b4572fae3160e0accd081fc3a07053ed942

nur: 7fe99458 -> 9a1be595

view details

push time in 7 days

startedPortshift/kubei

started time in 7 days

startedaquasecurity/trivy

started time in 7 days

pull request commentNixOS/nixpkgs

icon-lang: 9.5.1 -> 9.5.20i

Thanks. Can someone test on Darwin? I really only use Icon for noweb on NixOS.

deviant

comment created time in 10 days

startedprometheus-community/helm-charts

started time in 11 days

startedFairwindsOps/nova

started time in 12 days

startedhairyhenderson/gomplate

started time in 12 days

startedjjh42/mock

started time in 16 days

pull request commenthelm/helm

Use locks to support downloading archives in parallel

* for testing code paths where two calls running concurrently can run into lock scenarios, consider using [`WaitGroups`](https://gobyexample.com/waitgroups).

Thanks for the tip. I'll have a go sometime in the next few days. Holiday weekend here, so I'm optimistic.

* this PR is out of date, and needs another rebase

Yep, will do.

Given the amount of code being changed and/or modified here, I would not be comfortable merging this PR without writing a few tests to

a) ascertain the base case (#6140), and ensure the test case fails prior to this patch b) ensure that the fix provided here addresses that case

I fully agree. I'll attempt to address both concerns.

yurrriq

comment created time in 16 days

Pull request review commenthelm/helm

Use locks to support downloading archives in parallel

 func (c *ChartDownloader) DownloadTo(ref, version, dest string) (string, *proven 		return "", nil, err 	} -	g, err := c.Getters.ByScheme(u.Scheme)+	name := filepath.Base(u.Path)+	destfile := filepath.Join(dest, name)++	// Acquire a file lock for process synchronization+	fileLock := flock.New(destfile)+	lockCtx, cancel := context.WithTimeout(context.Background(), 30*time.Second)

The 30 second timeout is arbitrary, copped from https://github.com/helm/helm/blob/v3.3.1/cmd/helm/repo_add.go#L93

yurrriq

comment created time in 16 days

startedelixir-plug/plug_cowboy

started time in 17 days

push eventyurrriq/toml-elixir

Eric Bailey

commit sha 504f0b109f4db42b44c6df55116eeb9ff29203b2

README.md: add missing brace to provider example

view details

push time in 17 days

fork yurrriq/toml-elixir

An implementation of TOML for Elixir projects, compliant with the latest specification

fork in 17 days

startedbitwalker/toml-elixir

started time in 17 days

pull request commenthelm/charts

[stable/chartmuseum] fixed name of service account

/ok-to-test

ChrisCooney1

comment created time in 18 days

pull request commenthelm/charts

[stable/chartmuseum] fixed name of service account

/lgtm thanks

ChrisCooney1

comment created time in 18 days

issue openedchrrasmussen/Idris2-Erlang

Run tests in Nix build

Looking at the workflow checks, it seems like the Nix workflow does not run the tests. Could you possibly add a step that runs make bootstrap-test as well?

Originally posted by @chrrasmussen in https://github.com/chrrasmussen/Idris2-Erlang/pull/2#issuecomment-683431204

created time in 21 days

pull request commentchrrasmussen/Idris2-Erlang

Configure Nix build/shell

Yeah, will do. I drank the Koolaid four or five years ago, and haven't looked back. Highly recommended :smiley:

yurrriq

comment created time in 21 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 8f6212dbbc1bf2ff28b5b0929d53de201a7d8fb9

Fix build

view details

push time in 22 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 8f6212dbbc1bf2ff28b5b0929d53de201a7d8fb9

Fix build

view details

push time in 22 days

starteddotlang/language

started time in 22 days

startedziglang/zig

started time in 22 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 82a1ebe30a5d3ce8d0b047d1598e8757836e72d3

nixos-hardware: 55f9eb6a -> 984c72f6

view details

Eric Bailey

commit sha d8ee8f3d9c78ddbda495d240c14a2c6aa614220f

nixpkgs: e9bd19d4 -> feff2fa6

view details

Eric Bailey

commit sha 76d74c950d71943e03a0e0b37ad1e0e8cd6d8126

nixpkgs-unstable: 1ae91468 -> f9990892

view details

Eric Bailey

commit sha 8332acc58b1cb2d747175c194bfb1c48616aa360

nur: 093d1306 -> 7fe99458

view details

Eric Bailey

commit sha 53b1f20d1e93a12c399e40be9146b78d06491a8d

niv: 303f442c -> 89ae775e

view details

Eric Bailey

commit sha 11f23cb5e57ca8ec9cb5f5b6f5594de3751ab3eb

home-manager: 318bc075 -> 4a8d6280

view details

Eric Bailey

commit sha 8e866c9026113d1659eb3bdb14d4b6307a0b0de5

i3status: tidy

view details

Eric Bailey

commit sha 94b75691c9873bcb9e448c36cd3591f9f2c1e5dd

[git] Add some more aliases

view details

Eric Bailey

commit sha 97a87beb68a684cba4a0bbb788cbb797a96bf3d8

Travis CI -> GitHub Actions

view details

Eric Bailey

commit sha 895fd84d1c4bd00ec84e31a78f5127b345597c70

Fix PDF link

view details

Eric Bailey

commit sha 1be0c26f108b9f9587ca16b52e45da66da3ae94a

Fix build

view details

push time in 22 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 895fd84d1c4bd00ec84e31a78f5127b345597c70

Fix PDF link

view details

Eric Bailey

commit sha 1be0c26f108b9f9587ca16b52e45da66da3ae94a

Fix build

view details

push time in 22 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 97a87beb68a684cba4a0bbb788cbb797a96bf3d8

Travis CI -> GitHub Actions

view details

push time in 22 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 0b0f2aed7db895c81af637b46bbf9018f89c1c93

Travis CI -> GitHub Actions

view details

push time in 22 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 1c3b0485206e19f947678c84373e79f2b012ba54

Travis CI -> GitHub Actions

view details

push time in 22 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 94b75691c9873bcb9e448c36cd3591f9f2c1e5dd

[git] Add some more aliases

view details

Eric Bailey

commit sha 4a5aff88265f90cf34393ec809310bb97e776ea6

Travis CI -> GitHub Actions

view details

push time in 22 days

push eventyurrriq/Idris2-Erlang

Eric Bailey

commit sha 476ab828430469bfd778b1a174e463cd20f0ca56

Adopt gitignoreSource

view details

Eric Bailey

commit sha 284874e6aeed00a62585b70015b626c3b0df5b3f

Add Nix workflow

view details

push time in 22 days

PR opened chrrasmussen/Idris2-Erlang

Configure Nix build/shell
+321 -6

0 comment

8 changed files

pr created time in 22 days

push eventyurrriq/Idris2-Erlang

Thomas Dziedzic

commit sha a7ff5aa71f4c171ed0384a4ef094e340a455eddb

implement HVect (#563)

view details

Guillaume ALLAIS

commit sha 3a7b72f384aa0d2b3ee237cff98b472b0a55492c

[ fix ] typo in eqTree

view details

Guillaume ALLAIS

commit sha d9c0e5938e08ddf581c485b05cd3264e49b2a883

[ fix ] succInjective does not use its arguments

view details

Guillaume ALLAIS

commit sha 1d4c84171d561480dfd0c4ed643d3bad184300a3

[ refactor ] suggested during SPLV Main change =========== The main change is to the type of function dealing with an untouched segment of the local scope. e.g. ``` weak : {outer, vars : _} -> (ns : List Name) -> tm (outer ++ inner) -> tm (outer ++ ns ++ inner) ``` Instead we now write ``` weak : SizeOf ns -> tm (outer ++ inner) -> tm (outer ++ ns ++ inner) ``` meaning that we do not need the values of `outer`, `inner` and `ns` at runtime. Instead we only demand a `SizeOf ns` which is a `Nat` together with an (erased) proof that `ns` is of that length. Other modifications =================== Quadratic behaviour ------------------- A side effect of this refactor is the removal of two sources of quadratic behaviour. They typically arise in a situation where work is done on a scope of the form ``` outer ++ done ++ ns ++ inner ``` When `ns` is non-empty, some work is performed and then the variable is moved to the pile of things we are `done` with. This leads to recursive calls of the form `f done` -> `f (done ++ [v])` leading to a cost quadratic in the size of `ns`. Now that we only care about `SizeOf done`, the recursive call is (once all the runtime irrelevant content is erased) for the form `f n` -> `f (S n)`! More runtime irrelevance ------------------------ In some places we used to rely on a list of names `vars` being available. However once we only care about the length of `vars`, the fact it is not available is not a limitation. For instance a `SizeOf vars` can be reconstructed from an environment assigning values to `vars` even if `vars` is irrelevant. Indeed the size of the environment is the same as that of `vars`.

view details

Alex Gryzlov

commit sha 969f5443a9a728e9f8fa9709c5d893324a140f16

additional refactor of Data.String.Parser

view details

russoul

commit sha 5d156167d37f7ad3fa4cc6bfe463e916d2327b55

Add dup

view details

Guillaume ALLAIS

commit sha c17c6fc5220b72187d20a3f14895b8c3bdc6e179

[ log ] stuck functions found during evaluation

view details

Guillaume ALLAIS

commit sha 17b3bb8d3d4c5e97aaefe0d4d9f8e30450bd6c8c

[ fix ] parser for REPL command `:log`

view details

Guillaume ALLAIS

commit sha 9c59542081d9e61653cdd15c8e6f0165d5c6ee0c

[ new ] allow `auto` fields in records

view details

Christian Rasmussen

commit sha ad2c9b9d97c820701dd339efffa54bdd72527cbe

Remove unneeded changes to Idris 2

view details

Christian Rasmussen

commit sha 622d58ba996d00dd52bfd74b18b5792d98732374

Use idris2erl as the executable name for now

view details

foss-mc

commit sha 4b7dc38e625cc94b035962620c081cfd10aa859d

Add `Data.Stream.Extra.startWith`

view details

foss-mc

commit sha d56b090c4c3bc5df91d769e5519b0f7b42a84245

Add missing `Data.Stream.Extra` module to contrib.ipkg I forgot to add it

view details

Christian Rasmussen

commit sha 42886867ce42000d7c040a61c71eb9055d140292

Update Chez bootstrapping process to work with idris2erl Had to hard-code the code generator in idris2.ipkg to Chez Scheme. Otherwise it would use the default code generator which is Erlang.

view details

Christian Rasmussen

commit sha 40d81b899010023e9db6a0821ad79a52e76288f6

Add limited support for %foreign in Erlang codegen

view details

Christian Rasmussen

commit sha e94609df2db6fbf1cf34f3e9b9fdbf9ef17747ba

Merge branch 'master' of https://github.com/idris-lang/Idris2

view details

Christian Rasmussen

commit sha 41c01741c489c8efe84857fc6977ea73f70ad597

Update test results because the fast version of unpack does not work in the interpreter When unpack is fixed, this commit can be reverted. Failing tests: - idris2/interpreter003 - idris2/reflection003 - typedd-book/chapter14

view details

Christian Rasmussen

commit sha d297a0c63850f35a2315eba9853dd9ab44b5e959

Update readme

view details

Christian Rasmussen

commit sha 181f67ce80ecbfa5d42a423f4299dad792345963

Update Chez bootstrap

view details

Christian Rasmussen

commit sha 397575ceed53e7131d4e70fe3f786980b3157c1a

Number the installation methods in readme

view details

push time in 22 days

push eventyurrriq/Idris2-Erlang

Eric Bailey

commit sha 508f1f2a680ca5660157ad6bbd6ed6dd1240075b

shell.nix: fix typo

view details

Eric Bailey

commit sha 7d39383c7845de277cac1580e3081cd5865da6ce

idris2: pint to d56b090

view details

Eric Bailey

commit sha c2c1bb8d9accc3323b210716be1c9ebe81ed11bc

nixpkgs-fmt .

view details

Eric Bailey

commit sha d4f902d3c70fea6fc4fbfee976c180a2ae711e03

git rm result

view details

Eric Bailey

commit sha 2d4d4991eeb1478a80f82a92eb2d999cccbced5b

Fix the Nix build!

view details

Eric Bailey

commit sha 20983c52b568cdecd8cdce1f4f63157c70cde010

Add erl oneliner to library sample README

view details

push time in 22 days

issue commentchrrasmussen/Idris2-Erlang

Thanks!

Thanks. I've updated to use https://github.com/idris-lang/Idris2/commit/d56b090c4c3bc5df91d769e5519b0f7b42a84245 now, and the Nix build works, as well as all the samples.

yurrriq

comment created time in 22 days

startedhexagram30/dice

started time in 22 days

startedhexagram30/language

started time in 22 days

startedchrrasmussen/mix_idris2

started time in 22 days

issue commentchrrasmussen/Idris2-Erlang

Thanks!

Yeah, the version of idris2 I'm using comes from NixOS/nixpkgs@3c95f06e1b8eaac25cefb90bb63820adcaa6beec by way of nix/sources.json, which builds Idris 2 v0.2.1 (see pkgs/development/compilers/idris2/default.nix).

  1. Maybe we can make use of the existing Nix expression (and complete the TODO while we're at it). I made a brief attempt at that, but between it being the first time I tried building Idris 2 at all, and it being very late at night, I gave up easily.
  2. Why not both? :smiley:

Også så jeg på CV-en din at du studerte ved NTNU. Før pandemien jobbet jeg i Trondheim nesten hver måned på Sportradar. Jeg elsker den byen. (jeg prøver å lære meg norsk, så dette er god praksis, sammen med å lese Naiv Super :wink:)

yurrriq

comment created time in 22 days

issue commentchrrasmussen/Idris2-Erlang

Thanks!

Some progress here, but I'm not yet able to build successfully.

make[1]: Entering directory '/build/idris2/tests'
idris2 --build tests.ipkg
1/1: Building Main (Main.idr)
make[1]: Leaving directory '/build/idris2/tests'
make -C libs/prelude IDRIS2=../../build/exec/idris2erl IDRIS2_PATH="/build/idris2/libs/prelude/build/ttc:/build/idris2/libs/base/build/ttc:/build/idris2/libs/contrib/build/ttc:/build/idris2/libs/network/build/ttc"
make[1]: Entering directory '/build/idris2/libs/prelude'
../../build/exec/idris2erl --build prelude.ipkg
Exception in foreign-procedure: no entry for "idris2_setupTerm"
make[1]: *** [Makefile:2: all] Error 255
make[1]: Leaving directory '/build/idris2/libs/prelude'
make: *** [Makefile:66: prelude] Error 2
builder for '/nix/store/qd5vfjczyw86vdz1w8z5dlz6y8xs86r9-idris2erl-0.1.0.drv' failed with exit code 2
error: build of '/nix/store/qd5vfjczyw86vdz1w8z5dlz6y8xs86r9-idris2erl-0.1.0.drv' failed
yurrriq

comment created time in 24 days

create barnchyurrriq/Idris2-Erlang

branch : nix

created branch time in 24 days

fork yurrriq/Idris2-Erlang

Erlang code generator for Idris 2

fork in 24 days

issue commentchrrasmussen/Idris2-Erlang

Thanks!

Thanks for that explanation. That makes a lot of sense. I'm still using Idris 1.x, and had forgotten about the compiler redesign. This is very exciting. I'm not sure there would be any meaningful efficiency boost. The main benefit, I think, would be that Core Erlang is smaller and easier to reason about. It's also more explicit about scoping. But if you're already targeting the Erlang Abstract Format, I'd say it be just for the novelty. I'll have play, maybe tonight or tomorrow. Great stuff.

yurrriq

comment created time in 24 days

pull request commentroboll/helmfile

Fix regression in helmfile deps

Thanks!

mumoshu

comment created time in 24 days

push eventyurrriq/dotfiles

Deployment Bot (from Travis CI)

commit sha 4c424b23ff9f9240dbb223e079c0b9e545aaf239

Deploy yurrriq/dotfiles to github.com/yurrriq/dotfiles.git:gh-pages

view details

push time in 24 days

push eventyurrriq/dotfiles

Eric Bailey

commit sha 82a1ebe30a5d3ce8d0b047d1598e8757836e72d3

nixos-hardware: 55f9eb6a -> 984c72f6

view details

Eric Bailey

commit sha d8ee8f3d9c78ddbda495d240c14a2c6aa614220f

nixpkgs: e9bd19d4 -> feff2fa6

view details

Eric Bailey

commit sha 76d74c950d71943e03a0e0b37ad1e0e8cd6d8126

nixpkgs-unstable: 1ae91468 -> f9990892

view details

Eric Bailey

commit sha 8332acc58b1cb2d747175c194bfb1c48616aa360

nur: 093d1306 -> 7fe99458

view details

Eric Bailey

commit sha 53b1f20d1e93a12c399e40be9146b78d06491a8d

niv: 303f442c -> 89ae775e

view details

Eric Bailey

commit sha 11f23cb5e57ca8ec9cb5f5b6f5594de3751ab3eb

home-manager: 318bc075 -> 4a8d6280

view details

Eric Bailey

commit sha 8e866c9026113d1659eb3bdb14d4b6307a0b0de5

i3status: tidy

view details

push time in 24 days

push eventyurrriq/gis

Eric Bailey

commit sha ce9c910d67536942ae44993b856238736ea32e9b

[idris] Try a different approach

view details

Eric Bailey

commit sha bf8191b947e750fdab1c953270193bb12129ff95

Cut GAP branch

view details

push time in 24 days

push eventyurrriq/gis

Eric Bailey

commit sha bf8191b947e750fdab1c953270193bb12129ff95

Cut GAP branch

view details

push time in 24 days

create barnchyurrriq/gis

branch : gap

created branch time in 24 days

push eventyurrriq/gis

Eric Bailey

commit sha ce9c910d67536942ae44993b856238736ea32e9b

[idris] Try a different approach

view details

push time in 25 days

push eventyurrriq/gis

Eric Bailey

commit sha 487caf4b9e23bda3612634ff22fd8281dd0eb212

[idris] Try a different approach

view details

push time in 25 days

issue commentchrrasmussen/Idris2-Erlang

Thanks!

I just came across it, so haven't even cloned yet. I'll audit the docs and PR with updates if I have any trouble. I use NixOS which might make things more interesting, too.

Re: notes -> issues. Sounds good, thanks!

Why target Erlang instead of Core Erlang, given the stated non-goal of making the generated code readable. I'm not sure how outdated it is, but the simplicity and brevity of the Core Erlang 1.0.3 language specification from 2004 seems appealing to me.

yurrriq

comment created time in 25 days

push eventyurrriq/gis

Eric Bailey

commit sha 1cd91f7f2c04c8aff99430a868d43fccb064fdf9

[idris] Drop `implementation`

view details

push time in a month

push eventyurrriq/gis

Eric Bailey

commit sha 1cd91f7f2c04c8aff99430a868d43fccb064fdf9

[idris] Drop `implementation`

view details

push time in a month

push eventyurrriq/gis

Eric Bailey

commit sha 020f610485a75cf319f0409e1b9bff995c1becb4

Clean up Data.Int.Algebra

view details

Eric Bailey

commit sha 1ee9db670c7062e77dcea4e5075f4c840ae4f02d

[idris] Clean up algebra, types, and tests

view details

push time in a month

push eventyurrriq/gis

Eric Bailey

commit sha 020f610485a75cf319f0409e1b9bff995c1becb4

Clean up Data.Int.Algebra

view details

Eric Bailey

commit sha 1ee9db670c7062e77dcea4e5075f4c840ae4f02d

[idris] Clean up algebra, types, and tests

view details

push time in a month

issue openedchrrasmussen/Idris2-Erlang

Thanks!

I'm very interested in this. Somewhere, I have a totally bitrotten attempt at a Core Erlang backend for Idris 1.x, but this seems much more promising. Realistically, I probably only have a few hours a week, but is there anything I might help with?

Thanks for this project!

created time in a month

starteddanilkolikov/categories

started time in a month

issue commentkubernetes/autoscaler

Adopt Cluster Autoscaler Helm chart

Same. Thanks, everyone! stable/cluster-autoscaler will soon be marked deprecated by https://github.com/helm/charts/pull/23305

sc250024

comment created time in a month

pull request commenthelm/charts

[stable/cluster-autoscaler] Deprecating chart

/approve

sc250024

comment created time in a month

pull request commenthelm/charts

[stable/cluster-autoscaler] Deprecating chart

Sounds great, thank you! /hold cancel

sc250024

comment created time in a month

startedcert-manager/signer-ca

started time in a month

issue commentroboll/helmfile

Unable to add new release

Great news, thanks!

yurrriq

comment created time in a month

issue commentroboll/helmfile

Q: helmfile under Helm org / CNCF?

Is there a similar proposal from maybe chartmuseum or monocular I could follow? (will search myself) I'd be happy to draft something if that would help. I'm also willing to take a more active roll in reviewing and testing merge requests and such. At least for now, we use this heavily throughout my organization, so it's a pretty high priority for me.

naseemkullah

comment created time in a month

delete branch yurrriq/gis

delete branch : master

delete time in a month

create barnchyurrriq/gis

branch : main

created branch time in a month

push eventyurrriq/gis

Eric Bailey

commit sha f6cd7c2a9365341f96cc6884a1cc5e755da3e7b8

[idris] Simplify Eq PitchClass implementation

view details

Eric Bailey

commit sha b7c9bef49c424ecb69e6ff52d5c25efa58b38e63

[idris] Remove %access directives

view details

Eric Bailey

commit sha 9ce0b157157ab87e08d02e695e094889fb7062da

[idris] Add Diatonic types and test Lewin 2.1.{1-4}

view details

Eric Bailey

commit sha 8ec4df831a504a03a5cd3c9eec5b114e2f721a9b

make -B gap-docs

view details

push time in a month

push eventyurrriq/gis

Eric Bailey

commit sha 0c5a067cbf1b5bddcb79e9c7c73c2c438b3ebe63

[idris] Add test for PitchOrd

view details

push time in a month

push eventyurrriq/gis

Eric Bailey

commit sha a92dbd4cb4dc0565c52d2be258c9b488948938c1

[idris] Fix modular arithmetic

view details

push time in a month

push eventyurrriq/gis

Eric Bailey

commit sha f56cb57a02b2a17c5f892da1952964b83480f206

niv: d13bf5ff -> 89ae775e

view details

Eric Bailey

commit sha 7a23a65d85e453686f6a2f39f612fa61e865934e

nixpkgs: fdc7e050 -> 8a141825

view details

Eric Bailey

commit sha e5688b6c19bf5eef4a6cab52d4cfdc906e5db74e

Rework GAP tooling

view details

Eric Bailey

commit sha d3e5124adbe17f3bcb56f6c36ce642d93732b290

Rework Idris implementation (WIP)

view details

Eric Bailey

commit sha 2c18f1f0ff5d8425306539a8ead9955079869e24

niv-wip

view details

Eric Bailey

commit sha eaa219a72e148b5dc0016da6c661b9665c02159f

Fix pre-commit config

view details

Eric Bailey

commit sha 287d370caf306ba8fba45ed2bb2e7497ee11b20d

Regenerate GAP docs

view details

Eric Bailey

commit sha 4b327360d41d6c8460181961c695c929e4939cb0

Rework Idris build (WIP)

view details

Eric Bailey

commit sha 66698c1eacc1640451abb59ed7d2ffce9eee2781

[idris] Add temporary manual test

view details

push time in a month

startedelba/index

started time in a month

startedmukeshtiwari/Idris

started time in a month

startedrunKleisli/verified-integer-gaussian-elimination

started time in a month

startedgreatBigDot/algebra

started time in a month

startedanotherArka/idris-algebra

started time in a month

startedbuonuomo/idris-algebra

started time in a month

startedidris-hackers/idris-algebra

started time in a month

startedchrrasmussen/Idris2-Erlang

started time in a month

push eventyurrriq/gis

Eric Bailey

commit sha b1f205e9fea927f8a9a15ea5b33caa284078f26e

niv: f73bf8d -> d13bf5f

view details

Eric Bailey

commit sha 2c7a253bcf5035bd42ba1fa18583209d3b7d8606

nixpkgs: 074c9cb -> fdc7e05

view details

Eric Bailey

commit sha d236c66ec7382d21873c227be74f8d28ee9f037a

Set GAP_EXECUTABLE

view details

Eric Bailey

commit sha 03ccf05988bbe29cc1dec7347232833613c0d8c9

Implement PSpace

view details

Eric Bailey

commit sha dd907ca22d03fc236213b853f251924c9747647e

Fix docs

view details

push time in a month

issue openedroboll/helmfile

Unable to add new release

When a lock file exists, and does not contain an entry for the new release, helmfile deps fails with [no resolved dependency found for "new-release". This regression was seemingly introduced in v0.125.3.

created time in a month

push eventyurrriq/dinamo

Eric Bailey

commit sha f39f2e438b9c6a8add08be7acc42749df67c8afe

wip

view details

push time in a month

startedoligot/go-mod-upgrade

started time in a month

pull request commenthelm/charts

stable/chartmuseum: Fix condition for setting schedulerName

ICYMI keep an eye on https://github.com/kubernetes/autoscaler/pull/3403 and related. This chart will be moving upstream before too long.

chancez

comment created time in a month

pull request commenthelm/charts

stable/chartmuseum: Fix condition for setting schedulerName

/ok-to-test

chancez

comment created time in a month

pull request commenthelm/charts

stable/chartmuseum: Fix condition for setting schedulerName

thanks! /lgtm

chancez

comment created time in a month

push eventyurrriq/ComiCal

Deployment Bot (from Travis CI)

commit sha afe6b9cc6ffcf77dd3af14e9d71d83a118558abb

Deploy yurrriq/ComiCal to github.com/yurrriq/ComiCal.git:gh-pages

view details

push time in a month

push eventyurrriq/ComiCal

Eric Bailey

commit sha 374bc7a8241c36c58af3020c0f58d56bd54d5a6c

master -> main

view details

Eric Bailey

commit sha bbcaeab9ccdf8add080bc5e8517a93a38f288409

README.md: mention DC too

view details

push time in a month

push eventyurrriq/ComiCal

Eric Bailey

commit sha 374bc7a8241c36c58af3020c0f58d56bd54d5a6c

master -> main

view details

Eric Bailey

commit sha bbcaeab9ccdf8add080bc5e8517a93a38f288409

README.md: mention DC too

view details

push time in a month

delete branch yurrriq/ComiCal

delete branch : master

delete time in a month

create barnchyurrriq/ComiCal

branch : main

created branch time in a month

push eventyurrriq/ComiCal

Eric Bailey

commit sha 71733eb22f751f38e43881e23077188f24d6edd3

Revert "Grasp at straws" This reverts commit 79692e4794b976b290cbc9fdec63fe9319a2f999.

view details

Eric Bailey

commit sha 11afc7e61c34e62ede2553779f44f6a9cd9849fe

Give up on Jimmy Olsen

view details

Eric Bailey

commit sha f6ea1e5dab66ae9d45555804b8847c4d87994f66

Add Strange Adventures

view details

Eric Bailey

commit sha 1fb56c98f98c77ab277a3aea8fcfe21f2576aa46

Add Bliss

view details

push time in a month

push eventyurrriq/ComiCal

Eric Bailey

commit sha 79692e4794b976b290cbc9fdec63fe9319a2f999

Grasp at straws

view details

push time in a month

push eventyurrriq/ComiCal

Eric Bailey

commit sha b8614b59541e95b819c16fe743d67384fa0112d0

.travis.yml: LANG=LC_ALL=C

view details

Eric Bailey

commit sha de7796a0bc4d760ad195f8a4a55583176ce9504a

.travis.yml: LC_ALL=en_US.UTF-8

view details

Eric Bailey

commit sha 25cb6854b9d9e4a5104c38fcc64142a7ba500425

Update pull list

view details

Eric Bailey

commit sha 4d35a296e8fffee73666d12f432618c98ed680ac

Drop cachix

view details

Eric Bailey

commit sha a5bea62f12255b813db78cba7005cb017be75986

KISS

view details

Eric Bailey

commit sha 01a173be00f23eee0ae1de16236ad3be896beb29

Prefer callCabal2nix

view details

Eric Bailey

commit sha 6214acf3cdc9ba1850e6bfe8d87c86f73642f6e3

FIX THE BUILD?!

view details

push time in a month

push eventyurrriq/ComiCal

Eric Bailey

commit sha 4d35a296e8fffee73666d12f432618c98ed680ac

Drop cachix

view details

Eric Bailey

commit sha a5bea62f12255b813db78cba7005cb017be75986

KISS

view details

Eric Bailey

commit sha 01a173be00f23eee0ae1de16236ad3be896beb29

Prefer callCabal2nix

view details

Eric Bailey

commit sha 6214acf3cdc9ba1850e6bfe8d87c86f73642f6e3

FIX THE BUILD?!

view details

push time in a month

push eventyurrriq/dotfiles

Deployment Bot (from Travis CI)

commit sha eff4ec4bf1580028490b81caee7d7dc7b18978e4

Deploy yurrriq/dotfiles to github.com/yurrriq/dotfiles.git:gh-pages

view details

push time in a month

startedgiowck/symphytum

started time in a month

startedlrills/helm-unittest

started time in a month

more