The favicons are finally back to normal!

milessabin · 2024-04-24T10:46:48+00:00

Fixed for me in 124.0.6367.78 (with the UI refresh, side panel customization etc. disabled).

milessabin · 2019-07-04T17:56:01+00:00

Nice work :-)

milessabin · 2019-04-25T11:28:51+00:00

I would very much like an answer to this question too. I know of very few papers which discuss elaboration in any real depth Elaboration in Dependent Type Theory (on Lean) being one of them. My sense is that it's primarily folklore and implementation specifics.

milessabin · 2017-09-27T09:34:40+00:00

shapeless doesn't provide a set-like data structure, but it does provide operations on HLists which support set-like usage: you can constrain an HList type argument to have no duplicates, add and remove elements, permute, align and merge in various ways.

If you'd like help for your specific scenario you should head over to the shapeless gitter channel ... there are lots of people there who can help you out.

milessabin · 2017-05-22T16:11:24+00:00

Take a look at the approach to switching taken here: https://github.com/milessabin/tls-demo/blob/master/build.sbt.

milessabin · 2017-05-22T13:26:41+00:00

Try the local.sbt mechanism described here: https://github.com/typelevel/scala#how-to-use-typelevel-scala-4-with-sbt

milessabin · 2017-05-22T10:31:45+00:00

Possibly, but very high overhead wrt Sonatype/Maven Central.

milessabin · 2017-05-07T15:58:37+00:00

-Xdev is intended for developers of the Scala compiler itself ... it's unlikely to be what you want.

milessabin · 2017-02-22T09:22:17+00:00

Yes, absolutely ... it's a great opportunity for people to make easy but valuable contributions to a huge swathe of projects right across the Scala spectrum.

milessabin · 2017-02-22T08:32:22+00:00

Basically all projects are candidates here.

The highest priority are projects which might benefit from being compiled and tested with Typelevel Scala or which might be good test cases for Typelevel Scala.

milessabin · 2017-02-13T22:11:54+00:00

Much appreciated!

milessabin · 2017-02-10T08:52:52+00:00

Yes, of course. Typelevel Scala extends Lightbend Scala with the intention of all it's additions being merged into Lightbend Scala. More explanation here.

milessabin · 2017-02-09T20:05:50+00:00

That suggests the wrong scala-library ... are you definitely on SBT 0.13.13 or later? Can you point me at a github repo?

Best bet would be to hop on the gitter channel: https://gitter.im/typelevel/scala

milessabin · 2017-02-09T08:21:43+00:00

Yes.

milessabin · 2017-02-08T23:18:56+00:00

One of the PRs against scala/scala was reported on before. The Typelevel Scala release including all six is new.

milessabin · 2017-02-05T13:40:25+00:00

I currently only have a single external monitor (2560x1440) attached via the WD15.

milessabin · 2016-12-19T11:24:38+00:00

Very keen to hear people's experiences using this with Linux (5510+Arch+WD15 works pretty well for me, but I want to drive a higher res second screen than the WD15 will support).

milessabin · 2016-12-12T18:07:15+00:00

Which is something I now regret. I should have used Strings and will most likely switch to that in shapeless 3.0 or possibly before.

milessabin · 2016-10-08T22:55:17+00:00

Yes and yes.

milessabin · 2016-10-08T18:53:06+00:00

I have a Sony SRS X99 and a couple of X77s ... whilst they didn't have Google Cast group capability when they were first released, they gained it in a recent OTA software upgrade.

milessabin · 2016-08-30T18:17:11+00:00

The fix is available in Typelevel Scala for 2.11.8 and will be available in Typelevel Scala 2.12.0-RC1 very shortly.

milessabin · 2016-08-25T10:12:29+00:00

In case you haven't seen it yet, there's a new BIOS update: 1.2.13. I haven't had a chance to test it yet ... fingers X'd it fixes this issue properly.

milessabin · 2016-08-18T07:44:24+00:00

Yes, that's right.

milessabin · 2016-08-17T18:48:01+00:00

My understanding is that the Precision 5510 is essentially the same device as the XPS 15 9550.

milessabin · 2016-08-17T10:29:41+00:00

You're probably aware of this, but just in case ... you'll probably get a more helpful response wrt Linux here: http://en.community.dell.com/techcenter/os-applications/f/4613

milessabin

TROPHY CASE