Rui Carmo

Results 132 comments of Rui Carmo

I like this a lot, but I was wondering... Since Jupyter notebooks are essentially JSON files with base64-encoded images, why not export to .ipynb and take advantage of the built-in...

I'm running Elementary 5.1 and I have no tray icon whatsoever (and no invisible icon with a menu either).

I'd be happy enough if it worked with Zepto (I originally thought the reason it didn't work was the explicit use of the jQuery var, but now I see there's...

I’ve also given it a quick spin and both CtrlP and vimwiki seem to work OK (although I only tried editing one page, follow a couple of links, etc.) Will...

I'd love to have sqlite baked in. Any hints on how to get it built under WASI? I tried installing it and didn't get it working...

This would also be handy for Slack.

I was wondering if there were any plans for this to happen, since Signal seems to be on the rise in EU: https://www.politico.eu/article/eu-commission-to-staff-switch-to-signal-messaging-app/

This also makes it hard to test for server restarts, since we don't even get an Exception thrown (I found this while searching for a way to detect restarts...)

Well, I just submitted #985, which works for me and is much cleaner.

That is exactly what I'm doing: ```python def listener(alert): global log, server, broker if "playing" in alert["type"]: n = alert["PlaySessionStateNotification"][0] key = int(n["key"].split("/")[-1]) state = n["state"] alert = {**alert, **fetchItem(key),...