new channel on philosophy

[dr.mt...@gmail.com]

Following the release of Shen/tk, I have placed the bulk of 

Shen development software online.  There is still some more

to come; concurrency and program verification are as yet 

still to be introduced.  The latter is for hairy kneed types with

bulging intellectual muscles who enjoy formal proofs. :)  That 

probably means a minority of programmers.

Systems like Coq etc. incorporate this sort of stuff and so by providing

it to Shen we level up the field.    

Also I will release a book giving the doc for all the extended library stuff

mentioned above.   I'm going to talk to my publisher about providing e-pub 

versions of all my work which will make ordering hard copy unnecessary.

But a space has been cleared and so I am returning to philosophy and

I am opening a new philosophy channel on Youtube.   In fact I have

already made the first video but, darn it, have run into copyright issues

using Jenkin's Palladio for the introductory music (about 20 seconds). 

So I have to swap this out for something else.

I'm flagging this new channel which will appear as soon as I've worked 

through the last obstacles.  I hope you will listen in and subscribe when

it appears.

Mark

[Alan D. Salewski]

On 2024-08-18 06:19:36, "dr.mt...@gmail.com" <dr.mt...@gmail.com> spake thus:
[...]

>Also I will release a book giving the doc for all the extended library stuff
>mentioned above. I'm going to talk to my publisher about providing e-pub
>versions of all my work which will make ordering hard copy unnecessary.

[...]

Will hard copy editions still be an option, though?

For those of us bounded-dead-tree huggers...


--
a l a n d. s a l e w s k i
a...@salewski.email
sale...@att.net
https://github.com/salewski

[dr.mt...@gmail.com]

Oh, absolutely, yes.

M.

[Alan D. Salewski]

Nice; thanks for confirming!

-Al

On 2024-08-18 10:29:50, "dr.mt...@gmail.com" <dr.mt...@gmail.com> spake thus:

[Joel McCracken]

I'll be tuning in to the channel.

Not sure if/when i'll read the book you're referring to, I'm still reading TBoS now and then.

--
You received this message because you are subscribed to the Google Groups "Shen" group.
To unsubscribe from this group and stop receiving emails from it, send an email to qilang+un...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/qilang/ZsI1QstWozAqaws/%40localhost.