[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Posting history for user DEC::LEONARD

39 notes across 15 conferences

Known Personal Names (3)

Cogito ergo differo
Cognito ergo differo
VAX Architecture Management

Possible 2 Other Accounts for DEC::LEONARD

Username	Total Posts	First Post	Last Post	Most Used Personal Name
EAGLE1::LEONARD	135	`Fri Jan 04 1985`	`Mon Nov 20 1989`	VAX Architecture Management
30067::LEONARD	1	`Mon Jul 11 1988`	`Mon Jul 11 1988`	VAX Architecture Management

Summary of Posts

Click on conference filespec to scroll down to

Conference	Total Posts	Conference Title
ricks::formal_verification	9	Formal Specification and Verification
tallis::vax	7	VAX Architecture
turris::tpu_bugs	4	Bugs in TPU and EVE
turris::easynet_conferences	2	EasyNet Conference Directory
clt::decw$calendar	2	dxcalendar/DECW$CALENDAR
tekvax::audio	2	The Emperor's New Audio
kacie::ibm	2	IBM High End Issues
kaosws::canada	2	True North Strong & Free
rusure::math	2	Mathematics at DEC
hips::uk_audioo	2	You get surface noise in real life too
marvin::vhdl	1	VHDL
milord::war_story	1	Computer War Stories
proxy::unibus	1	Unibus Notes
smurf::notes$archive:ultrix_v1	1	Ultrix V1 (Archived - use NAC::ULTRIX instead)
trlian::meteorology	1	Meteorology Conference

Conference turris::easynet_conferences (EasyNet Conference Directory)

2 posts

TOPIC	1628.0	`Tue Jan 05 1988 17:14`	Formal Verification (formerly Formal Specification)	48 lines
TOPIC	2152.0	`Tue Nov 15 1988 10:50`	Deleted Architecture conference	24 lines

Conference clt::decw$calendar (dxcalendar/DECW$CALENDAR)

2 posts

TOPIC	116.0	`Mon Nov 07 1988 20:49`	Display version	2 lines
TOPIC	117.0	`Mon Nov 07 1988 21:00`	When is Passover?	13 lines

Conference tekvax::audio (The Emperor's New Audio)

2 posts

TOPIC	97.0	Looking for a stereo system
	97.45	`Fri Oct 28 1988 17:25`	A $1000 US/UK system?	15 lines
	97.46	`Mon Oct 31 1988 10:47`		8 lines

Conference kacie::ibm (IBM High End Issues)

2 posts

TOPIC	2.0	Guest Registry
	2.167	`Wed Feb 24 1988 14:43`	Tim Leonard	8 lines
TOPIC	261.0	more info on IBM announcement
	261.6	`Mon Feb 22 1988 13:32`	How to get 44-bit addresses	17 lines

Conference kaosws::canada (True North Strong & Free)

2 posts

TOPIC	83.0	`Mon Jul 11 1988 12:04`	Vacationing in SW Canada	21 lines
	83.3	`Thu Jul 14 1988 10:08`		4 lines

Conference marvin::vhdl (VHDL)

1 posts

TOPIC	2.0	Please sign the guest book
	2.6	`Mon Apr 18 1988 16:45`	Tim Leonard	4 lines

Conference milord::war_story ( Computer War Stories )

1 posts

TOPIC	94.0	The livewire electrician!
	94.16	`Tue Apr 05 1988 10:21`	Stir-fried SSI anyone?	23 lines

Conference proxy::unibus (Unibus Notes)

1 posts

TOPIC	34.0	UNIBUS Spec?
	34.2	`Wed Dec 07 1988 15:58`	Is the bus handbook the spec for customers?	4 lines

Conference ricks::formal_verification (Formal Specification and Verification)

9 posts

TOPIC	2.0	`Wed Dec 30 1987 12:01`	What are formal methods?	2 lines
	2.1	`Tue Jan 05 1988 16:35`	Intro to formal methods	40 lines
TOPIC	3.0	`Wed Dec 30 1987 12:05`	Bibliography	8 lines
	3.3	`Mon Mar 07 1988 14:07`	IEE survey of formal reasoning	7 lines
	3.4	`Mon Mar 07 1988 16:36`	Review of S/360 spec in APL	58 lines
	3.5	`Mon Mar 28 1988 09:45`	HDM, FDM, GVE, and AFFIRM	4 lines
	3.6	`Mon Mar 28 1988 17:18`	Review of 6800 spec in Z	43 lines
TOPIC	4.0	`Wed Dec 30 1987 12:06`	Participants	4 lines
TOPIC	7.0	`Mon Mar 28 1988 09:47`	Workshops, seminars, conferences	4 lines

Conference rusure::math (Mathematics at DEC)

2 posts

TOPIC	887.0	`Fri Jun 17 1988 16:28`	Expressing enumerated types	15 lines
	887.2	`Mon Jun 20 1988 10:52`		7 lines

Conference smurf::notes$archive:ultrix_v1 (Ultrix V1 (Archived - use NAC::ULTRIX instead))

1 posts

TOPIC	1609.0	V2.2 ULTCOMM022 Problems
	1609.16	`Tue Mar 01 1988 05:39`	See topic 1655	2 lines

Conference tallis::vax (VAX Architecture)

7 posts

TOPIC	88.0	How much does an interlock lock?
	88.6	`Fri May 27 1988 11:25`		4 lines
TOPIC	130.0	TBIT gets cleared sometimes
	130.1	`Thu Jan 07 1988 16:21`	On purpose	20 lines
	130.3	`Thu Jan 07 1988 18:11`	You've got a bug	5 lines
TOPIC	137.0	Are ADAWI and INSQTI interlocked?
	137.11	`Fri May 20 1988 11:50`		5 lines
	137.18	`Tue May 24 1988 16:19`		4 lines
TOPIC	139.0	`Thu Jun 23 1988 16:47`	Dennis Ritchie on VAX, circa 1977	206 lines
TOPIC	158.0	VAX ISP Notation?
	158.1	`Wed Oct 19 1988 14:31`	Ask Topher Cooper	79 lines

Conference trlian::meteorology (Meteorology Conference)

1 posts

TOPIC 94.0 Mon Sep 12 1988 14:27 How much solar energy do we get? 3 lines

Conference turris::tpu_bugs (Bugs in TPU and EVE)

4 posts

TOPIC	750.0	`Wed May 25 1988 13:37`	CL: Garbage line and internal logic error	16 lines
	750.1	`Wed May 25 1988 13:40`	Here's the source file: extension.rno	1781 lines
	750.2	`Wed May 25 1988 15:31`	Here's the .tjl file	14 lines
	750.4	`Tue May 31 1988 11:07`	Version and other details	6 lines

Conference hips::uk_audioo (You get surface noise in real life too)

2 posts

TOPIC	52.0	`Fri Oct 28 1988 21:35`	$1000 US/UK system	15 lines
	52.6	`Mon Oct 31 1988 15:56`	So what's Radio 1, 2, 3, 4?	10 lines

Additional information

First Post:	`Wed Dec 30 1987`
Last Post:	`Wed Dec 07 1988`
# Topics:	14
# Replies:	25
# We have note bodies for:	6

Total memory used by this script: 1,326,672 (4,194,304)