Mario Ortiz Manero
Mario Ortiz Manero
For example, the About page still recommends an [old list of blogs on Feedly](https://feedly.com/i/entry/nGT2YKBSaNtJDaqsoj/thkLungyodteMRS9w2rXYTr8=_17a86568597:9523ec:435a95ee). 
It's empty on [Feedly](https://feedly.com/i/entry/nGT2YKBSaNtJDaqsoj/thkLungyodteMRS9w2rXYTr8=_17a86568597:9523eb:435a95ee): 
I implemented a simple feature to hide posts from the main page. This is done through a [hidden flag in the metadata](https://github.com/marioortizmanero/nullderef.com/blob/ef89d4cf57c76e76da16f7b2d43087f8970b3f1b/content/blog/gsoc-proposal/index.adoc#L7). However, seems like they still appear on the...
For example, [Feedly's renderer is broken](https://feedly.com/i/entry/nGT2YKBSaNtJDaqsoj/thkLungyodteMRS9w2rXYTr8=_18d100b459f:16516c2:694fbeda). No indentation is included in the code: 
This could narrate my experience of customizing absolutely everything, and in the end resorting to a much leaner configuration. Still using Arch, but with Gnome and most default programs. TODO...
- https://sonnet.io/posts/hi - Calendly - New Google Calendar feature: https://workspace.google.com/resources/appointment-scheduling/
[I ran into an issue with variance & subtyping](https://github.com/rodrimati1992/abi_stable_crates/issues/75), so I started to investigate about the topic. I read [Rustnomicon's page about it](https://doc.rust-lang.org/nomicon/subtyping.html), [the reference](https://doc.rust-lang.org/reference/subtyping.html), and watched [Jon Gjengset's video](https://www.youtube.com/watch?v=iVYWDIW71jk),...
For what I've seen, libsoundio is only able to record inputs. You can't for instance record your desktop audio. Are there any plans on supporting this? On PulseAudio I've done...