Benjamin Pierce
Benjamin Pierce
Just saying `QuickChick uses arguments to customize execution` doesn't give the user much guidance about how they could pass an Args record to QC if they needed to. (For example,...
Hi -- I'm having trouble following the installation instructions. Even after doing ```~/h/riscv-semantics> ./install_riscv_gcc.sh Downloading riscv-gcc... ######################################################################### 100.0% Riscv-gcc has been installed. ~/h/riscv-semantics> . setup.sh ``` I get this: ```~/h/riscv-semantics>...
The “Raise Hand” icon appears twice (neither in a very intuitive place, to me — I’d put it just once, somewhere down near the message composition area). Also, the space...
For big meetings in Clowdr rooms, we really need host controls - in particular, "mute everybody".
From a user: When I tried to log in with an e-mail address connected to a previous clowdr-instance, the site said it would send an e-mail to me with a...
UX nit: I expected that choosing a camera / mic was going to also turn it on, and I was confused until I realized there were more buttons to actually...
The tabs that display the program (and Happening Now) will automatically scroll to show Now whenever "now" changes (every minute or so?). If I've scrolled the page up or down...
The Socialize page in the new UI becomes cluttered quite quickly, so it's hard to get a sense of "stuff happening right now". Suggestions: - Clarify which rooms are discussions...
People's names in the chat are smaller and lighter than their roles in the new UI: make them a bit bigger.
Each "talk box" at the bottom of the home page should show the next time that this event will be live.