mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

@lispwizard @amszmidt @screwtape Want to drive a Lisper mad? Mix them.

(first (cadr (some-list)))

lol.

Weekend Editor

@ksaj @lispwizard @amszmidt @screwtape

There should be Special Compiler Warnings from Hell for people who do this.

I mean, sure, compile their program. But not without some verbal abuse.

@ksaj @lispwizard @amszmidt @screwtape

On the Symbolics system, the type tags were all encoded in the microcode source and recognized in the hardware (ok, really the microcode). The type tag names were constants whose names all began with "DTP-" (for "data type", probably).

There was a type calld DTP-NULL (see below, page 7, though I think that's for the Ivory chip).

It didn't *quite* mean WTF, but almost. :-)

(No, it was not used this way.)

bitsavers.org/pdf/symbolics/I_

@screwtape @ksaj @lispwizard @amszmidt

Oh, you have no idea!

That's the *toned down* version.

There was a certain species of paranoid manager, not terribly sophisticated technically, who didn't want it photocopied anywhere that used Xerox brand copy machines. They were *absolutely convinced* that everything that went in the front door to be copied also went out the back door to Xerox headquarters.

Sometimes ya gotta just shrug and say, "Ok, I'll keep it secret."

That document was issued in 1987, so after 38 years I think they can unclench a bit.

@weekend_editor Which is like on the CADR.

But I wouldn't call DTP-NULL a WTF typ, since it is used for unbound variables.

"Actually, a void binding contains a weird internal value, which the system interprets as meaning “there is no value here”. (This is the data type code dtp-null)." tumbleweed.nu/r/lm-3/uv/chinua

DTP-TRAP on the other hand ...

@ksaj @lispwizard @screwtape

tumbleweed.nuLisp Machine ManualLisp Machine Manual