mmoll

6 ms·

1. 31.▲
   by mmoll 5y ago

   A much better idea than that horrible asterisk and its pronunciation. However, I think it still misses the mark. There‘s an opportunity to make German simpler AND more gender-neutral by completely dropping both the masculine and feminine fo
2. 32.▲
   by mmoll 5y ago

   I suspect valgrind‘s massif would have helped (massifly). It shows memory usage over time, but also where what fraction of memory was allocated.
3. 33.▲
   by mmoll 6y ago

   > Everything else I work on is essentially a novel problem set. It‘s a rotate! ;-)