Nick Hu
Doesn't support umurmur, perhaps its protocol is slightly different so a header for some messages cannot be discerned causing a crash. ``` /home/nick/.rvm/gems/ruby-2.2.0/gems/mumble-ruby-1.1.2/lib/mumble-ruby/connection.rb:29:in `read_message': undefined method `unpack' for nil:NilClass (NoMethodError)...
Currently, the syntax highlighting for Haskell only highlights the first word before `::`. When I'm writing, I often like to provide a long list of type calculations; for instance, consider...
As per https://github.com/bitc/lushtags/issues/34. `knownExtensions` actually returns a list of all extensions in both enabled and disabled form. We only want the parser to care about the enabled ones, otherwise they...
IBus is supposed to support AppIndicators (so long as the environment variable [`XDG_CURRENT_DESKTOP=KDE` is set](https://github.com/ibus/ibus/blob/cd4fef5a3290869fc1c36392f5d404fa09932926/ui/gtk3/panel.vala#L76)), however when I run it with ``` XDG_CURRENT_DESKTOP=KDE ibus-daemon -rxv ``` I get the following...
It took me a while to realise that the input when you set username to `'cookies'` is expecting: ``` overleaf_session2=s%REDACTED (url encoded) ``` Perhaps the README could be updated with...
Automated changes by the [update-flake-lock](https://github.com/DeterminateSystems/update-flake-lock) GitHub Action. ``` Flake lock file updates: • Updated input 'devshell': 'github:numtide/devshell/7c9e793ebe66bcba8292989a68c0419b737a22a0?narHash=sha256-kWNaq6wQUbUMlPgw8Y%2B9/9wP0F8SHkjy24/mN3UAppg%3D' (2025-03-08) → 'github:numtide/devshell/07bacc9531f5f4df6657c0a02a806443685f384a?narHash=sha256-RXN%2Blcx4DEn3ZS%2BLqEJSUu/HH%2BdwGvy0syN7hTo/Chg%3D' (2025-11-07) • Updated input 'flake-compat': 'github:edolstra/flake-compat/9100a0f413b0c601e0533d1d94ffd501ce2e7885?narHash=sha256-CIVLLkVgvHYbgI2UpXvIIBJ12HWgX%2BfjA8Xf8PUmqCY%3D' (2025-05-12) → 'github:edolstra/flake-compat/f387cd2afec9419c8ee37694406ca490c3f34ee5?narHash=sha256-XKUZz9zewJNUj46b4AJdiRZJAvSZ0Dqj2BNfXvFlJC4%3D' (2025-10-27)...
I've made a start on implementing the Firebase function we'll need (acting as our backend) for create, read, update, delete operations. I had thought that this would need to be...
Far too frequently we need to get into the nitty gritty of a diagram, and this involves lots of tedious drawing by hand when we have a perfectly good 3D...
There seems to be some kind of problem with the rendering at the moment. I made the swallowtail source (see attached), and it should be a monochromatic (yellow) picture; the...
I think we should have a vector that shows the direction of source to target in 3D, as it would be helpful when looking at/constructing proofs.