I tried this out and it works beautifully. Can finally see the infoview of the other person without fumbling around like a muppet. 10/10

aron@adler.dev · 2mo ago

i made a vscode extension so that when you live share a @lean-lang.org project with someone the guest can see the InfoView + proven theorem ticks ✔️ and incremental elaboration state in the file gutter 🎉 github.com/Arrow7000/li...

Generated a piece in the the style of Händel, inspired by a bland HandelBot performance by Loré Lixenburg at Wigmore... quite astonishing to see motifs from the Cmaj fugue from WTC 2 and the first movement of the double-violin concerto

I have one simple question for the Green supporters brigading my replies - why does their party come up with the most half baked policies? Esp when it comes to trans people - some will point to certain people being elected as councillors but that means squat.

Zack Polanski@zackpolanski.bsky.social · 4mo ago

On International Transgender Day of Visibility, I’m thinking about Wembley this month. Thousands turned up - unapologetic, joyful, and standing together. In a world that tries to erase trans lives: we see you. 🏳️‍⚧️

I find this sort of fearmongering appalling. Corbyn and his stooges have little to no understanding of how to navigate themselves out of a paper bag, let alone run a country competently. Palantir is doing a very good job of making the NHS efficient.

Jeremy Corbyn@jeremycorbyn.bsky.social · 3mo ago

As Health Secretary, Wes Streeting deepened the privatisation of our NHS and handed over our data to Palantir, a company involved in genocide. I am sure his friend Peter Mandelson is very proud. Time to reinstate our NHS as a fully public service — and kick Palantir out!

The passage for those interested... the motif is very characteristic of Borodin and can be spotted from miles away even in things like Prince Igor!

Mighty Cat@catamight.bsky.social · 3mo ago

I gave Gemini a bar of a fairly obscure arrangement to figure out how to play it, and holy crap it was able to deduce the exact piece and the compose who arranged it

I gave Gemini a bar of a fairly obscure arrangement to figure out how to play it, and holy crap it was able to deduce the exact piece and the compose who arranged it

I have been looking at modern versions (powered by FDA cleared ML models) of devices that have made life easier for clinicians and patients alike. Think electronic stethoscopes, 12-lead ECGs that rely on single cable with 5 electrodes etc. Why can't other product designers learn from them :/