Tim Regan

Enabling menubar as default?

2

I'm just trying to pick up emacs after 20 or so years away as it appears to be the best way to use Clojure and Overtone. Having installed the emacs-starter-kit...

You've got 1.4.2, but not the more recent ones. Is there a reason? The recent ones would be useful (I'm using 1.6.4)

Invalid cast from 'System.String' to 'System.Guid'

26

My Id is defined in tSQL as ``` id NVARCHAR (128) DEFAULT (NEWID()) NOT NULL ``` and in C# as ``` public Guid Id { get; set; } ``` Dapper...

Some elements of our PR build pipeline take a long time to run and very rarely fail. This slows down the PR process substantially. We should prune those out and...

Enable building an ensemble model from the cross validation checkpoints of a BYOL model

1

The method `MLRunner.run_inference_for_lightning_models` takes a list of checkpoint paths as an argument, but then makes sure that there is only one used ([here](https://github.com/microsoft/InnerEye-DeepLearning/blob/3fc71b847e9dd4ad9d0b070722558064647d95a2/InnerEye/ML/run_ml.py#L444-L445)): ``` if len(checkpoint_paths) != 1: raise ValueError(f"This...

Make unit tests faster

1

At present running all the unit tests in WSL on my laptop takes 42 minutes. That is too long for me to run all the tests locally before pushing any...

In our test framework, especially for regression testing, it would be useful if we had way of comparing Jupyter Notebooks. We could also usefully look at the data and text...

Reading out any Python errors for blind kids instead of (or as well as) scrolling them on the LEDs

15

I’ve been working recently on a tangible system for teaching visually impaired kids to code called [Torino](https://blogs.microsoft.com/ai/2017/03/15/project-torino-microsoft-creates-physical-programming-language-inclusive-visually-impaired-children/). One of the blind kids is ready to progress to a text based...

All the data plugin commands are missing

1

The Heroku guide [Connecting to a Heroku Postgres Database with Enhanced Certificates](https://devcenter.heroku.com/articles/heroku-postgres-enhanced-certificates) mentions three commands from the _data_ plugin: - [Adding Enhanced Certificates to an Existing Heroku Postgres Database](https://devcenter.heroku.com/articles/heroku-postgres-enhanced-certificates#adding-enhanced-certificates-to-an-existing-heroku-postgres-database): `heroku...

# What is the current behavior? When I run `heroku plugins:install data`, the first step in [Connecting to a Heroku Postgres Database with Enhanced Certificates](https://devcenter.heroku.com/articles/heroku-postgres-enhanced-certificates), I get this error: >...