Posts by raboof@quey.org
(DIR) Post #9tzvJwvPlGECqX1Wzo by raboof@quey.org
2020-04-13T10:17:41Z
0 likes, 0 repeats
@reuters_worldnews This is what most stores in the Netherlands are doing as well - makes sense to me!
(DIR) Post #9vJPlYGU20dwb7smXY by raboof@quey.org
2020-05-22T17:47:48Z
1 likes, 0 repeats
@pea Haven't tried any docker things, but building this linux container and making it small was a lot of fun https://github.com/raboof/mastodon-bot-nix . Started with nixos-generators but ended up copying it and stripping it down further.
(DIR) Post #9vJQy585lceFxGUpW4 by raboof@quey.org
2020-05-22T18:03:39Z
1 likes, 0 repeats
@pea I hoped we could have 1 docker layer per nix store path, but then I read about the 125-layer limit in https://grahamc.com/blog/nix-and-layered-docker-images . So sad.
(DIR) Post #9vKxuszvuI2V6diw08 by raboof@quey.org
2020-05-23T11:47:49Z
0 likes, 1 repeats
@snder pretty good!Did some programming this morning (exploring web audio API and #elm)Getting ready for the @mch2021 orga (online) meeting now
(DIR) Post #9vjiKJzruSjUQdJluS by raboof@quey.org
2020-06-04T10:20:51Z
0 likes, 0 repeats
@wolf480pl That seems like a silly question, but.... yes, I do!The boring answer is of course you need both: without some feeling for algorithms and data structures you won't become successful in any language.On the other hand, different problems sometimes call for different languages.To make things worse: some algorithms/data structures fit better with one language than another, and vice-versa!
(DIR) Post #9vqtUUfLYYws13UX3Y by raboof@quey.org
2020-06-07T03:06:14Z
0 likes, 0 repeats
When writing #elm or #ocaml, I often struggle to decide whether to model a type as a record or as a custom type/variant.I really love how in #scala those 2 concepts are rolled into 1 with 'case classes', though defining ADTs with those was always syntactically clumsy.With Scala 3 this looks like it becomes much nicer with the 'enum' notation - though I haven't yet tried it enough to find out how it interacts with the also newly introduced union types.https://dotty.epfl.ch/docs/reference/enums/adts.html
(DIR) Post #9vs8xuxcZ6FGR6UID2 by raboof@quey.org
2020-06-08T07:27:30Z
0 likes, 0 repeats
@orbifx Thanks!I understand the difference between 'each of' and 'one of'. I was more thinking about the difference between:type shape = Rect of int * int | Circle of intand: type shape = Rect of { width: int; height: int } | Circle of { diameter : int }In OCaml I guess the latter is not idiomatic, so you wouldn't use it like that. I like how in Scala you get the convenient syntax of records also for the alternatives of an ADT, since you can use case classes for both.
(DIR) Post #9vyEEIZtRi91d5TqWe by raboof@quey.org
2020-06-11T10:24:11Z
0 likes, 0 repeats
@Gina sounds like the recruiter just did a 'shotgun' mass-spam.If that's apparently what the company culture is like, you've lost nothing - more like dodged a bullet.Still sucks to be in that emotional rollercoaster, of course - hope you find the right opportunity soon.
(DIR) Post #9wFHQD1X7OmX7BXoLQ by raboof@quey.org
2020-06-19T11:56:57Z
0 likes, 0 repeats
@karan 0 - not because I can't or don't want to pay, but because I'm information-overloaded anyway and don't need another inbox that I'll feel guilty about neglecting... I see the flaws in this logic but that's how it goes ;).
(DIR) Post #9wFHmGauWWKOYlbrm4 by raboof@quey.org
2020-06-19T15:54:11Z
0 likes, 0 repeats
@tomosaigon @karan as a small first step in that vein, I recently wrote a script to make already-available local public news fragments accessible in podcast form (https://github.com/raboof/drtv2podcast) - I guess I should polish that up and make some noise about it ;).
(DIR) Post #9whteHMkRbJqNzsAfg by raboof@quey.org
2020-07-03T11:10:21Z
0 likes, 0 repeats
@Gina I've seen the "scrum master first, and when time allows it other (design/analysis/development) tasks in the team" approach work, but it depends on the organization's maturity.I've also seen "full time scrum master" roles that had to cover multiple teams - much worse IMHO!
(DIR) Post #9yDXD2Gp8vVtmbcDIG by raboof@quey.org
2020-08-17T14:34:33Z
1 likes, 0 repeats
When talking about backups, we should separate 'system' and 'data' better.If we can get away from "backup/restore a machine", and instead can "rebuild a machine" (from configuration, e.g. #nixos or any of the other tools) and then pull the data back in separately, things would be way more elegant, and you wouldn't have to mistrust your backups after a hack in quite the same way. A Nix configuration you can audit, a whole-machine backup not so much.Even for a developer machine, where inevitably you also run a lot of custom code, I think this is a useful goal.
(DIR) Post #9z9Q9QUYlA7xPaNGbY by raboof@quey.org
2020-09-14T13:35:56Z
0 likes, 0 repeats
@Gina I stopped reading Facebook about 2 years ago(?) and still find myself doing 'ctrl-t f <enter>' when my mind idles sometimes... powerful stuff.
(DIR) Post #9zc4MRHYm6wNKgfZei by raboof@quey.org
2020-09-28T09:18:20Z
0 likes, 0 repeats
@Gina Yeah. It's a weird balance though: I also wouldn't want to work at a place with people who don't give a ****.What's also weird that it's not only companies that do this - "So, what do you do?" is such a common ice-breaker at parties etc (remember those? 😄 )... I agree it seems healthy to get away from that!
(DIR) Post #9zedavKviRBDJJo9r6 by raboof@quey.org
2020-09-29T15:02:41Z
0 likes, 0 repeats
@snder "do not look into laser with remaining eye"
(DIR) Post #9zikB0a94F4QMSM1bs by raboof@quey.org
2020-10-01T14:35:11Z
0 likes, 0 repeats
@bortzmeyerYour system administrator is doing a good job, send them a sincere thank you ;-)
(DIR) Post #A01ypIixUqccU62mg4 by raboof@quey.org
2020-10-10T21:18:29Z
0 likes, 0 repeats
@codesections recording your workaround along with the bug could be helpful for other people running into the same thing while at the same time signalling to the maintainers that this is not an urgent problem for you anymore?
(DIR) Post #A0K98aErunXhr92eoa by raboof@quey.org
2020-10-19T15:39:18Z
0 likes, 0 repeats
@sneak have you heard the good news about #nixos?😂​
(DIR) Post #A0Y0pXLkYBlXiXO8Ho by raboof@quey.org
2020-10-26T08:12:07Z
0 likes, 0 repeats
@sneak @unclechu right - so you *can* get the behavior you want (by deciding not to use nix-env), but indeed you're not 'required' to.I wonder if nix-env should even be installed on NixOS by default - I've always thought of it as something you'd use when using Nix outside of NixOS.
(DIR) Post #A1WrMZmaNlGAOBzhGi by raboof@quey.org
2020-11-24T16:42:33Z
1 likes, 0 repeats
Nice to see the recent progress in #NixOS reproducibility!Happy to contribute to this, but the number of unrelated test failures when running nixpkgs-review on large package sets is a bit scary. More work to do ;).https://r13y.orghttps://status.nixos.org/grafana/d/cUz63QLWz/reproducibility-of-nixos-unstable-iso_minimal-x86_64-linux?orgId=1