freenode/#sicl - IRC Chatlog

6:39:09 no-defun-allowed It's only speculation, and it will remain that way, but it's much more fun to speculate about than trying to speculate on electives for two universities at once.

6:41:43 no-defun-allowed (My current university cancelled the FPGA design course I wanted to take, so trying to ask to enrol for that was a waste of time. That was the last straw with the curriculum here.)

7:02:37 beach That's too bad.

9:07:22 heisig Good morning!

9:08:00 no-defun-allowed Good morning heisig!

9:14:00 beach Hello heisig.

9:45:32 frodef morning

9:46:08 no-defun-allowed Good morning frodef.

9:50:28 beach Hey frodef.

12:32:53 DKordic ** NICK L35M153r4bl35

13:44:00 ebrasca Hi

13:47:14 beach Hello ebrasca.

13:51:11 ebrasca beach: Interesting reading. But do you need to have ssd to store data without hierarchy having good performance?

13:52:10 beach No, I don't think so.

14:18:56 beach ebrasca: For CLOSOS, there is no file system because there are no files. So the only systems concerned with external memory are the paging system and the checkpointing system. So the primary memory can be seen as a cache for the secondary storage. The paging system is a pretty ordinary demand-paging system.

14:18:57 beach The preferred checkpointing system (described in section 6.2) may require an SSD for the "segment headers" which take up a small fraction of the total secondary storage. All the rest should be possible on either HDD or SSD.

15:20:51 aeth_ ** NICK aeth

15:33:21 beach Major cleanup progress today. I got rid of the obsolete system sicl-global-environment, and updated (nearly) all code that used it.

15:33:29 beach That's 2kLOC down. :)

15:42:03 aeth congrats

15:42:31 beach Thanks!

15:42:55 beach We are now down to less than 150kLOC. But there is more to be removed.

15:47:48 ebrasca beach: Like format?

15:50:57 beach Yes. But first we have to find a name for a new repository.

15:51:07 beach There is also old backend code.

15:51:33 beach ebrasca: I haven't done anything about that yet.

16:00:06 beach We should start a round of suggestions for that name, perhaps.

16:00:28 beach Mine will likely be vetoed by heisig, so I'll wait and hear other suggestions.

16:47:06 beach How about "Hucleberry".

16:47:17 beach ?

17:13:02 ebrasca beach: Why cl-format is bad name?

17:13:56 ebrasca It is common lisp format -> cl-format.

17:23:31 beach Too ... normal?

17:24:20 ebrasca Easy to know its purpose.

17:25:08 beach I agree that Hucleberry does not suggest the purpose.

17:26:51 ebrasca I think clear comunication is more inportant than some fancy name.

17:28:35 beach I think of cl-xyz as the name used for a library that provides Common Lisp bindings for a library named xyz written in a language other than Common Lisp.

17:29:56 beach Just as I think of trivial-xyz as a library for unifying implementation-specific modules that are nevertheless widely used.

17:30:50 ebrasca There are many with this name type and they are not some bindings.

17:33:16 beach Anyway, I need to go. It is my night to cook for my (admittedly small) family. I'll be back tomorrow as usual.

17:34:48 ebrasca beach: Bye!