The Lounge: Highlighting channels with unsent messages

The Lounge is an IRC web client we use at work. To help you keep track of unsent messages, when you move to a different channel without sending the current message to the current channel, The Lounge adorns the channel with a pencil icon (). [We use The Lounge at work, and having taken screenshots from there, I’ve blurred some of the text in the images that follow. The green arrows locate the point I’m making with each image.

Microsoft VSCode and the Linux Kernel

This is not something me from a year ago would’ve thought I’d be doing, let alone me from fifteen years ago (the last time I did any kernel work), but I’m using a Microsoft programme to work with the Linux kernel.

I’ve got a slew of VSCode extensions installed, most of them not specifically relevant to kernel work.

What are relevant are the extension:

ms-vscode.cpptools (install in the usual way)

and this readymade set of .vscode config files along with a related script: (follow its instructions)

As Marc.2377 says here:

All defines are already in include/generated/autoconf.h (under /usr/src/linux-headers-$(uname -r)/), should be enough to forceInclude it in c_cpp_properties.json

Markdown standup date updating in Vim with vim-speeddating

Standups Codethink runs daily standup meetings over IRC for each project to help keep on top of workload. Each engineer writes a standup report in Markdown format, and pastes them in to the project’s IRC channel when it’s their turn. After the meeting finishes, that day’s standup master collates all the reports and any discussion in a new page on the project’s wiki on our Gitlab instance. There’s also an index page that needs to be kept up to date.

Echo cancellation, noise suppression, and all round sound improvement for Pulseaudio

I’ve sorted out three issues with sound on my work laptop, and as they might be of general interest, here, have a blog post. The laptop is running Debian Linux, and using Pulseaudio as the sound server. The problems Issue 1 : Audio Tweakage I want the audio to sound good (to me). More bass, more detail/audio excitation, a wider stereo image, that sort of thing. My hearing isn’t what it used to be (middle aged high-frequency notch) so I want to be able to tweak various audio qualities to account for my audiological foibles, and the idiosyncracies of the room I’m sitting in and/or the devices I’m using.

Profiling Python

I’ve written about profiling topplot over at the Codethink company blog(scroll down to the Profiling section). There I talk about using the statistical profiler py-spy to produce a flamegraph for a birdseye view of activity, and digging deeper with the deterministic profiler yappi, graphing its output with kcachegrind. Since then I’ve come across some more tools (notably through Malek Cellier in this comment) and am noting them here for future reference.